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 ae31524d07 Refactor slither-upgradeability-check: ... - Only the logic contract is needed, proxy becomes optional - Change flag name - Clean main to ease the add of new checks - Clean variable ordering logic; merge the two function into one generic (fix #274) - Refactor json output and add source mapping (fix #347). The json output needs to be tested - Add check for constant conformance (fix #188) - Overall output improvements		5 years ago
..
fix_travis_relative_paths.sh	Fix travis	6 years ago
json_diff.py	Open files with UTF-8 encoding	6 years ago
tests_generate_expected_json_4.sh	Add support for ternary operator in modifier/constructor calls	5 years ago
tests_generate_expected_json_5.sh	Update travis tests	5 years ago
travis_install.sh	Remove custom crytic-compile install in travis_install.sh	5 years ago
travis_test_4.sh	Merge branch 'dev' into dev-fix-c3-linearalization	6 years ago
travis_test_5.sh	Minor	5 years ago
travis_test_cli.sh	Improve travis_test_cli.sh	6 years ago
travis_test_dapp.sh	Update dapp test	5 years ago
travis_test_data_dependency.sh	Add data depenency tests to travis	6 years ago
travis_test_embark.sh	Use node 10.17.0 for embark and etherlime	5 years ago
travis_test_etherlime.sh	Use node 10.17.0 for embark and etherlime	5 years ago
travis_test_etherscan.sh	Update etherscan test	5 years ago
travis_test_find_paths.sh	Improve slither-find-paths + add travis unit tests	6 years ago
travis_test_printers.sh	Add 3 new type of tests for travis:	6 years ago
travis_test_simil.sh	fixed test	6 years ago
travis_test_slither_config.sh	Add 3 new type of tests for travis:	6 years ago
travis_test_truffle.sh	Fix travis (close #197)	6 years ago
travis_test_upgradability.sh	Refactor slither-upgradeability-check:	5 years ago