Static Analyzer for Solidity

ethereumsoliditystatic-analysis

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Josselin d4a49662f2 Add --print-variables-written-and-authorization printer ... API change: function.all_variables_written -> function.all_state_variables_written		6 years ago
..
imgs	Initial public commit	6 years ago
PRINTERS.md	Add --print-variables-written-and-authorization printer	6 years ago