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 Feist cca47a1d90 Merge branch 'dev' into printer-cheatcode		2 months ago
..
ci_test_cli.sh	fix script paths	2 years ago
ci_test_dapp.sh	Fix dapp	2 years ago
ci_test_data_dependency.sh	Refactor regression tests:	4 years ago
ci_test_embark.sh	Minor	2 years ago
ci_test_erc.sh	fix script paths	2 years ago
ci_test_etherlime.sh	Minor	2 years ago
ci_test_etherscan.sh	Sync cc@master	2 years ago
ci_test_find_paths.sh	Fix CI	2 years ago
ci_test_flat.sh	lint bash	2 years ago
ci_test_interface.sh	ci: test:: make scripts executable	9 months ago
ci_test_kspec.sh	Fix CI	2 years ago
ci_test_path_filtering.sh	fix path filtering test location	2 years ago
ci_test_printers.sh	Add cheatcode printer to test files	8 months ago
ci_test_prop.sh	Refactor regression tests:	4 years ago
ci_test_simil.sh	Fix CI	2 years ago
ci_test_slither_config.sh	Refactor regression tests:	4 years ago
ci_test_truffle.sh	Force --no-fail-pedantic on some CI tests	2 years ago
ci_test_upgradability.sh	tool: add detector for multiple new reinitializers (#2536)	3 months ago
update_buggy_versions.py	add pylint disable to buggy_versions.py	8 months ago