master
slither
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
slither\tools\possible_paths\__main__.py
13 3 -
A
slither\tools\possible_paths\possible_paths.py
33 4 -
A
slither\tools\properties\__main__.py
13 4 -
A
slither\tools\properties\addresses\address.py
4 1 -
A
slither\tools\properties\platforms\echidna.py
1 1 -
A
slither\tools\properties\platforms\truffle.py
25 2 -
A
slither\tools\properties\properties\erc20.py
27 5 1
A
slither\tools\properties\properties\ercs\erc20\properties\burn.py
 1 -
A
slither\tools\properties\properties\ercs\erc20\properties\initialization.py
 1 -
A
slither\tools\properties\properties\ercs\erc20\properties\mint.py
 1 -
A
slither\tools\properties\properties\ercs\erc20\properties\mint_and_burn.py
 1 -
A
slither\tools\properties\properties\ercs\erc20\properties\transfer.py
 1 -
A
slither\tools\properties\properties\ercs\erc20\unit_tests\truffle.py
1 2 -
A
slither\tools\properties\properties\properties.py
1 1 -
A
slither\tools\properties\solidity\generate_properties.py
3 2 -
A
slither\tools\properties\utils.py
4 3 -
A
slither\tools\read_storage\__init__.py
 2 -
A
slither\tools\read_storage\__main__.py
12 7 -
A
slither\tools\read_storage\read_storage.py
171 10 4
A
slither\tools\read_storage\utils\__init__.py
 3 -