TheDude
/
slither
mirror of https://github.com/crytic/slither
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
Static Analyzer for Solidity
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.
3251 Commits
76 Branches
41 Tags
110 MiB
 
 
 
 
Tag: Branch: Tree: 9e7ff8fd1d
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '9e7ff8fd1d'
${ noResults }
slither/tests
History
Feist Josselin 90efe7adc1
Merge pull request #1660 from crytic/bart1e-detector_for_cc 		2 years ago
..
arithmetic_usage Minor API improvements 2 years ago
ast-parsing Fix support for constant variable lookup in yul 2 years ago
check-erc Fix slither-check-erc output 3 years ago
check-kspec Disable coloring if output is not a terminal, fix Windows tests (#1244) 2 years ago
check-upgradeability Fix indent in test_13.txt 2 years ago
collisions Refactor core objects to add a file scope. 3 years ago
config
…
custom_comments Improvements + tests 2 years ago
detectors Merge branch 'detector_for_cc' of github.com:bart1e/slither into bart1e-detector_for_cc 2 years ago
flat
…
function_ids Use a best effort approach for internal function function-id 2 years ago
lookup Add files 2 years ago
possible_paths
…
printers Improve generation of solidity signature 2 years ago
simil
…
slithir fix ternary in nested expr with index access 2 years ago
source_unit tests: source_unit: remove submodule 2 years ago
src_mapping Tests added 2 years ago
storage-layout fix json output and update with new fields (name and elems) 2 years ago
test_cyclic_import Add support for FileScope with cycles in the imports 3 years ago
test_node_modules Minor fixes 3 years ago
test_path_filtering Update tests/test_path_filtering/slither.config.json 2 years ago
.gitattributes Windows CI for Slither (#1137) 3 years ago
__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 Support unary operation, MINUS_PRE, on constants 3 years ago
deprecated_calls.sol
…
inheritance_graph.sol
…
source_mapping.sol
…
taint_mapping.sol
…
test_ast_parsing.py Black on test file 2 years ago
test_constant_folding.py emulate wrapped arithmetic behavior 2 years ago
test_detectors.py Merge branch 'detector_for_cc' of github.com:bart1e/slither into bart1e-detector_for_cc 2 years ago
test_features.py Minor API improvements 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 Add function.all_reachable_from_functions and function.is_reentrant 2 years ago
test_functions_ids.py Minor 2 years ago
test_read_storage.py fix json output and update with new fields (name and elems) 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 Hbrodin/ssa array tests (#1205) 3 years ago
test_storage_layout.py WIP: feature to read contract storage data (#968) 3 years ago