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.

Evgeniy Filatov 4a6d8f3495 implemented external call support, refactored code, added image example		6 years ago
..
authorization.sol	Add authorization printer example	6 years ago
call_graph.sol	started implementation of call graph printer	6 years ago
call_graph.sol.dot	implemented external call support, refactored code, added image example	6 years ago
call_graph.sol.dot.png	implemented external call support, refactored code, added image example	6 years ago
inheritances.sol	Adds example contracts for inheritance printer	6 years ago
inheritances_graph.sol	Adds example contracts for inheritance printer	6 years ago
inheritances_graph.sol.dot	Adds example contracts for inheritance printer	6 years ago
inheritances_graph.sol.png	Adds example contracts for inheritance printer	6 years ago
quick_summary.sol	Update documentation	6 years ago
quick_summary.sol.png	Update image documentation	6 years ago
slihtir.sol	Add slithir printer testcase	6 years ago