Add flag for Gas instrumentation.

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts

Other

245 stars 46 forks source link

Add flag for Gas instrumentation. #183

Closed kferles closed 5 years ago

kferles commented 5 years ago

Initial (and experimental) version of gas instrumentation.
It extracts gas costs directly from solc. This feature in solc seems to be a bit limited, but it's better than nothing.
For verisol integration, please use this form of solc: https://github.com/utopia-group/solidity

shuvendu-lahiri commented 5 years ago

It appears that the solc version has to be upgraded to use this feature from within VeriSol?

kferles commented 5 years ago

The only change I made to solc was to print gas costs for AST nodes when the output format is set to json. I can do the same for the current version that verisol works with. However, even if the json ast does not contain any gas cost information, this feature will still work but the instrumentation will be essentially a noop because it will initialize all gas costs to zero.