|
|
|
@ -4,7 +4,6 @@ import logging |
|
|
|
|
from typing import Dict, cast, List |
|
|
|
|
|
|
|
|
|
from mythril.analysis.swc_data import DOS_WITH_BLOCK_GAS_LIMIT |
|
|
|
|
from mythril.laser.ethereum.strategy.custom import JUMPDEST_LIMIT |
|
|
|
|
from mythril.analysis.report import Issue |
|
|
|
|
from mythril.analysis.modules.base import DetectionModule |
|
|
|
|
from mythril.laser.ethereum.state.global_state import GlobalState |
|
|
|
@ -71,7 +70,8 @@ class DOS(DetectionModule): |
|
|
|
|
|
|
|
|
|
try: |
|
|
|
|
self._jumpdest_count[transaction][target] += 1 |
|
|
|
|
if self._jumpdest_count[transaction][target] == 2: |
|
|
|
|
|
|
|
|
|
if self._jumpdest_count[transaction][target] == 3: |
|
|
|
|
|
|
|
|
|
annotation = ( |
|
|
|
|
LoopAnnotation(address, target) |
|
|
|
|