Make UninitializedAnnotation non-eliminatable

angr · Dec 18, 2024 · f325b2c · f325b2c
1 parent 9034ea0
commit f325b2c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/claripy/annotation.py b/claripy/annotation.py
@@ -133,6 +133,7 @@ class UninitializedAnnotation(Annotation):
     Use UninitializedAnnotation to annotate ASTs that are uninitialized.
     """
 
+    eliminatable = False
     relocatable = True
 
     def __hash__(self):