From 4eb8a8fa2c12edaa2cf19005d21bbc4355f7056d Mon Sep 17 00:00:00 2001 From: Kevin Phoenix Date: Fri, 11 Oct 2024 15:45:23 -0700 Subject: [PATCH] Handle vsa simplifiers returning None --- claripy/vsa_simplifications.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/claripy/vsa_simplifications.py b/claripy/vsa_simplifications.py index aba57ca6c..be3f77685 100644 --- 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