Sanity check for empty AsmBlocks

cea-sec · Jun 16, 2020 · 0b87bec · 0b87bec
1 parent 975a527
commit 0b87bec
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/miasm/core/asmblock.py b/miasm/core/asmblock.py
@@ -623,6 +623,11 @@ def sanity_check(self):
         for loc_key in self._nodes:
             if loc_key not in self._loc_key_to_block:
                 raise RuntimeError("Not supported yet: every node must have a corresponding AsmBlock")
+
+            block = self.loc_key_to_block(loc_key)
+            if not block.lines and not isinstance(block, AsmBlockBad):
+                raise RuntimeError("Blocks cannot be empty")
+
             # No next constraint to self
             if (loc_key, loc_key) in next_edges:
                 raise RuntimeError('Bad constraint: self in next')