|
|
@ -29,7 +29,7 @@ class VisitsAnnotation(StateAnnotation): |
|
|
|
return result |
|
|
|
return result |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class DOS(DetectionModule): |
|
|
|
class DoSModule(DetectionModule): |
|
|
|
"""This module consists of a makeshift loop detector that annotates the state with |
|
|
|
"""This module consists of a makeshift loop detector that annotates the state with |
|
|
|
a list of byte ranges likely to be loops. If a CALL or SSTORE detection is found in |
|
|
|
a list of byte ranges likely to be loops. If a CALL or SSTORE detection is found in |
|
|
|
one of the ranges it creates a low-severity issue. This is not super precise but |
|
|
|
one of the ranges it creates a low-severity issue. This is not super precise but |
|
|
|