1

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.

Improve this question
2
  • 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
    Commented Jun 12, 2019 at 1:15
  • Thanks for clarification of '$'.
    – zak100
    Commented Jun 12, 2019 at 13:51

1 Answer 1

Reset to default
-1

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

var XXXX = YYYY

It verifies that YYYY is an integer constant.

Improve this answer

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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