master
slither
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
slither\tools\properties\properties\properties.py
1 1 -
A
slither\tools\mutator\mutators\ROR.py
10 2 -
A
slither\utils\arithmetic.py
22 4 -
A
slither\tools\mutator\mutators\SBR.py
11 2 -
A
slither\tools\properties\platforms\echidna.py
1 1 -
A
slither\tools\mutator\mutators\abstract_mutator.py
20 10 -
A
slither\utils\inheritance_analysis.py
16 1 -
A
slither\tools\mutator\utils\command_line.py
3 4 -
A
docs\src\api\examples\print_basic_information.py
 1 -
A
slither\tools\mutator\utils\generic_patching.py
1 3 -
A
slither\tools\upgradeability\checks\functions_ids.py
24 3 -
A
slither\vyper_parsing\variables\local_variable.py
5 1 -
A
slither\vyper_parsing\variables\event_variable.py
5 1 -
A
slither\utils\loc.py
16 2 -
A
slither\tools\slither_format\slither_format.py
26 5 -
A
slither\tools\similarity\model.py
 1 -
A
slither\tools\properties\utils.py
4 3 -
A
.github\workflows\docker.yml
 6 -
A
examples\scripts\data_dependency.py
 5 -
A
scripts\json_diff.py
 3 -