SmartCheck tool at: SmartChek: Static Analysis of Ethereum Smart Contracts suggests detection of 'var' key word in the smart contract by searching the assignment statement such that the Left Hand Side of assignment statement contains var keyword and Right Hand Side contains the integer value. But it says usage of search string: (matches ˆ[0-9]+$). I can’t understand the use of ‘$’ sign in the above search string.

Some body please guide me.

  • 2
    Your question is off-topic, as it doesn't actually relate to Ethereum. The pattern is a regular expression, and the $ means the end of the string. The web has a lot of resources for learning about regular expressions. But FYI, the var keyword doesn't exist anymore in current versions of Solidity. – user19510 Jun 12 '19 at 1:15
  • Thanks for clarification of '$'. – zak100 Jun 12 '19 at 13:51

I think you are referring to section 2.25 Unsafe type inference. In that context it means the checker verifies expressions like


It verifies that YYYY is an integer constant.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.