better handling of dynamic array allocation

DonggeLiu · Apr 2, 2020 · 372dfba · 372dfba
1 parent 31f1b6e
commit 372dfba
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Legion.py b/Legion.py
@@ -945,6 +945,9 @@ def symex(state: State) -> List[State]:
     """
     # Note: Need to keep all successors?
     LOGGER.debug("computing successors for {}".format(state))
+    if state is None:
+        LOGGER.debug("No corresponding state found, any dynamic array allocation in the code?")
+        return []
     successors = state.step().successors
     LOGGER.debug("Successors are: {}".format(successors))
     return successors