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 fc244e4582 Merge pull request #2321 from crytic/test/modifier-data-dependency ... add regression test for #2313		8 months ago
..
convert_to_ir.py	Also use f-strings in examples	3 years ago
data_dependency.py	add regression test for https://github.com/crytic/slither/issues/2313	8 months ago
data_dependency.sol	add regression test for https://github.com/crytic/slither/issues/2313	8 months ago
export_dominator_tree_to_dot.py	Also use f-strings in examples	3 years ago
export_to_dot.py	Also use f-strings in examples	3 years ago
functions_called.py	Also use f-strings in examples	3 years ago
functions_called.sol	Add visibility to Solidity script examples	6 years ago
functions_writing.py	Also use f-strings in examples	3 years ago
functions_writing.sol	Add visibility to Solidity script examples	6 years ago
possible_paths.py	fmt	9 months ago
slithIR.py	Also use f-strings in examples	3 years ago
taint_mapping.py	Make entry_point return an Optional[Node] and update the detectors	2 years ago
test_evm_api.expected_output	- Fixes formatting bug	5 years ago
test_evm_api.sol	Adds pragma and function visibility to satisfy solc 0.5.x	5 years ago
variable_in_condition.py	More types	2 years ago
variable_in_condition.sol	Add visibility to Solidity script examples	6 years ago