Try a little harder to handle symbolic cc_op values; closes #2158

angr · Jun 4, 2020 · 0f4235a · 0f4235a
1 parent 8e25274
commit 0f4235a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/angr/engines/vex/claripy/ccall.py b/angr/engines/vex/claripy/ccall.py
@@ -37,6 +37,7 @@ def boolean_extend(O, a, b, size):
 def op_concretize(op):
     if type(op) is int:
         return op
+    op = op.ite_excavated
     if op.op == 'If':
         cases = list(claripy.reverse_ite_cases(op))
         if all(c.op == 'BVV' for _, c in cases):