Remove check for claripy.fp.FPV type

angr · Sep 23, 2024 · aeb3c78 · aeb3c78
1 parent 572184a
commit aeb3c78
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/angrop/gadget_finder/gadget_analyzer.py b/angrop/gadget_finder/gadget_analyzer.py
@@ -776,7 +776,7 @@ def _analyze_mem_access(self, final_state, init_state, gadget):
                 continue
 
             # we don't like floating point stuff
-            if isinstance(a.data.ast, (claripy.fp.FPV, claripy.ast.FP)):
+            if isinstance(a.data.ast, (claripy.ast.FP)):
                 continue
 
             # ignore read/write on stack after pivot