slither

Static Analyzer for Solidity

History

webthethird b5cd4642e0 Test option to skip unrolling user-defined-types		2 years ago
..
arithmetic_usage	Minor API improvements	2 years ago
ast-parsing	remove mislabeled tests, update 0.4.12 tests to be compact	2 years ago
check-erc	…
check-kspec	…
check-upgradeability	Fix indent in test_13.txt	2 years ago
code_generation	Test option to skip unrolling user-defined-types	2 years ago
collisions	…
config	…
custom_comments	Improve parsing of contract's comment	2 years ago
detectors	Update solc version recommendations	2 years ago
flat	…
function_features	Add tests	2 years ago
function_ids	…
lookup	Add files	2 years ago
possible_paths	…
printers	…
simil	…
slithir	Merge pull request #1679 from crytic/abstract-contract	2 years ago
source_unit	tests: source_unit: remove submodule	2 years ago
src_mapping	Tests added	2 years ago
storage-layout	…
test_cyclic_import	…
test_node_modules	…
test_path_filtering	Update tests/test_path_filtering/slither.config.json	2 years ago
using-for-global-collision/src	rm misc files	2 years ago
.gitattributes	…
__init__.py	…
complex_func.sol	…
constant_folding_binop.sol	emulate wrapped arithmetic behavior	2 years ago
constant_folding_rational.sol	Add tests for large and negative constants	2 years ago
constant_folding_unary.sol	…
deprecated_calls.sol	…
inheritance_graph.sol	…
source_mapping.sol	…
taint_mapping.sol	…
test_ast_parsing.py	remove mislabeled tests, update 0.4.12 tests to be compact	2 years ago
test_code_generation.py	Test option to skip unrolling user-defined-types	2 years ago
test_constant_folding.py	emulate wrapped arithmetic behavior	2 years ago
test_detectors.py	include return variables in uninit ptr detector	2 years ago
test_features.py	fix merge mistake	2 years ago
test_function.py	Merge branch 'dev' into dev-improve-reentrancy	2 years ago
test_function.sol	consider state variable collisions and incorrect return type	2 years ago
test_function_reentrant.sol	…
test_functions_ids.py	…
test_read_storage.py	make dev install read-storage deps	2 years ago
test_source_mapping.py	Tests added	2 years ago
test_source_unit.py	tests: source_unit: add skipif for requirements	2 years ago
test_ssa_generation.py	merge dev	2 years ago
test_storage_layout.py	…