Merge pull request #261 from JoranHonig/bugfix/depth

Use bigger max depth in cli and increase depth on negative jumpi

mythril/interfaces/cli.py

@@ -62,7 +62,7 @@ def main():
 
     options = parser.add_argument_group('options')
     options.add_argument('-m', '--modules', help='Comma-separated list of security analysis modules', metavar='MODULES')
-    options.add_argument('--max-depth', type=int, default=12, help='Maximum recursion depth for symbolic execution')
+    options.add_argument('--max-depth', type=int, default=22, help='Maximum recursion depth for symbolic execution')
     options.add_argument('--solc-args', help='Extra arguments for solc')
     options.add_argument('--phrack', action='store_true', help='Phrack-style call graph')
     options.add_argument('--enable-physics', action='store_true', help='enable graph physics simulation')

mythril/laser/ethereum/svm.py

@@ -905,6 +905,7 @@ class LaserEVM:
                 if not is_false(simplify(negated)):
                     new_gblState = LaserEVM.copy_global_state(gblState)
                     new_gblState.mstate.constraints.append(negated)
+                    new_gblState.mstate.depth += 1
 
                     new_node = self._sym_exec(new_gblState)
                     self.nodes[new_node.uid] = new_node