master
slither
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
slither\tools\properties\properties\ercs\erc20\properties\burn.py
 1 -
A
slither\detectors\shadowing\state.py
14 5 -
A
docs\src\api\examples\print_basic_information.py
 1 -
A
slither\tools\properties\properties\ercs\erc20\properties\transfer.py
 1 -
A
slither\detectors\statements\tautological_compare.py
9 1 -
A
slither\tools\properties\properties\properties.py
1 1 -
A
.github\workflows\ci.yml
 23 -
A
docs\src\tutorials\exercises\exercise3\solution.py
 1 -
A
scripts\ci_test_simil.sh
 3 -
A
slither\core\expressions\new_elementary_type.py
3 1 -
A
slither\detectors\statements\too_many_digits.py
13 8 -
A
slither\tools\properties\utils.py
4 3 -
A
slither\detectors\statements\assembly.py
11 3 -
A
scripts\ci_test_interface.sh
 2 -
A
slither\detectors\statements\tx_origin.py
17 5 -
A
slither\core\expressions\self_identifier.py
1 1 -
A
slither\detectors\statements\type_based_tautology.py
28 5 -
A
slither\detectors\statements\unary.py
16 4 -
A
scripts\ci_test_slither_config.sh
 1 -
A
slither\core\expressions\super_call_expression.py
 1 -