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.

alpharush 2e341aee9b do not convert IRs with arguments to state var read (#1230) ... * do not convert IRs with arguments to state var read		2 years ago
..
ci_test.sh	Refactor regression tests:	4 years ago
ci_test_cli.sh	Improvements	4 years ago
ci_test_dapp.sh	Improve function lookup for bytes (#1163)	3 years ago
ci_test_data_dependency.sh	Refactor regression tests:	4 years ago
ci_test_embark.sh	Refactor regression tests:	4 years ago
ci_test_erc.sh	Improvements	4 years ago
ci_test_etherlime.sh	Update etherlime test	4 years ago
ci_test_etherscan.sh	Refactor regression tests:	4 years ago
ci_test_find_paths.sh	Improvements	4 years ago
ci_test_flat.sh	minor	4 years ago
ci_test_kspec.sh	Disable coloring if output is not a terminal, fix Windows tests (#1244)	2 years ago
ci_test_printers.sh	Minor	4 years ago
ci_test_prop.sh	Refactor regression tests:	4 years ago
ci_test_simil.sh	Disable coloring if output is not a terminal, fix Windows tests (#1244)	2 years ago
ci_test_slither_config.sh	Refactor regression tests:	4 years ago
ci_test_truffle.sh	do not convert IRs with arguments to state var read (#1230)	2 years ago
ci_test_upgradability.sh	Improvements	4 years ago
json_diff.py	Fix all pylint issues	4 years ago