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.
 
 
 
 
slither/examples
rustrover 4268a9df67 chore: remove repetitive word 9 months ago
..
flat update slither-flat test cases, run solc out its output 2 years ago
printers chore: remove repetitive word 9 months ago
scripts Merge pull request #2321 from crytic/test/modifier-data-dependency 9 months ago
slither-prop Minor improvements. Add example 5 years ago