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 1029b5233f Merge branch 'dev' into dev-evm-printer-and-api		5 years ago
..
authorization.sol	Add authorization printer example	6 years ago
call_graph.sol	improved support for external calls	6 years ago
call_graph.sol.dot	WIP database	6 years ago
call_graph.sol.dot.png	implemented external call support, refactored code, added image example	6 years ago
constructors.sol	New Printer: Prints Contructor call sequence	5 years ago
data_dependencies.sol	Data depenencies printer: add example and improve output	6 years ago
evm.sol	- Fixes formatting bug	5 years ago
human_printer.sol	Add human printer example	6 years ago
human_printer.sol.png	Improve printer documentation	6 years ago
inheritances.sol	Adds example contracts for inheritance printer	6 years ago
inheritances.sol.png	Improve printer documentation	6 years ago
inheritances_graph.sol	Updated inheritances_graph printer examples.	6 years ago
inheritances_graph.sol.dot	Improve inheritance graph printed message	6 years ago
inheritances_graph.sol.png	Improve inheritance graph printed message	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