Handle vsa simplifiers returning None

angr · Oct 11, 2024 · 4eb8a8f · 4eb8a8f
1 parent 2752cde
commit 4eb8a8f
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/claripy/vsa_simplifications.py b/claripy/vsa_simplifications.py
@@ -188,4 +188,7 @@ def simplify_bvset(bvset: BVSet) -> BVSet:
     if bvset.op not in vsa_simplifications:
         return bvset
 
-    return vsa_simplifications[bvset.op](*bvset.args)
+    simplified = vsa_simplifications[bvset.op](*bvset.args)
+    if simplified is not None:
+        return simplified
+    return bvset