Add a basic custom strategy

mythril/analysis/symbolic.py

@@ -15,6 +15,7 @@ from mythril.laser.ethereum.strategy.basic import (
     ReturnRandomNaivelyStrategy,
     ReturnWeightedRandomStrategy,
     BasicSearchStrategy,
+
 )
 from mythril.laser.smt import symbol_factory, BitVec
 from typing import Union, List, Dict, Type

mythril/laser/ethereum/strategy/custom.py

@@ -0,0 +1,19 @@
+from mythril.laser.ethereum.state.global_state import GlobalState
+from mythril.laser.ethereum.strategy.basic import BreadthFirstSearchStrategy
+
+
+class BFSBoundedLoopsStrategy(BreadthFirstSearchStrategy):
+    """Implements a breadth first search strategy that prunes loops.
+    """
+
+    def __init__(self):
+        pass
+
+    def get_strategic_global_state(self) -> GlobalState:
+        """
+        :return:
+        """
+
+        state = self.work_list.pop(0)
+
+        return state