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 83e5fcab4a Merge pull request #2574 from crytic/dev-echidna-values ... Echidna printer Improve values extraction		1 month ago
..
test_data	Merge pull request #2574 from crytic/dev-echidna-values	1 month ago
vyper	Fix test	3 months ago
__init__.py	add __init__ files to collect coverage	2 years ago
test_argument_reorder.py	fix: reorder named arguments to match declaration order (#1949)	1 year ago
test_constantfolding.py	Add try/catch, add tests, refactor guidance/echidna to reduce pylint exceptions	1 month ago
test_enum.py	Add IR test	1 year ago
test_implicit_returns.py	Implement pytest parameterize on test_implicit_returns (#2350)	8 months ago
test_operation_reads.py	add fixture slither_from_source	2 years ago
test_selector.py	Improve selector parsing	2 months ago
test_ssa_generation.py	chore: fix some typos in comments	7 months ago
test_ternary_expressions.py	update test	8 months ago
test_top_level_using_for.py	Add ir test	8 months ago
test_tuple_assign.py	lint and updates tests	8 months ago
test_yul_parser_assembly_slot.py	Run black on the test file	1 year ago