StridedInterval: Return top for unexpected shift amounts. (#379)

angr · Nov 30, 2023 · a994d1e · a994d1e
1 parent cbf11e0
commit a994d1e
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/claripy/vsa/strided_interval.py b/claripy/vsa/strided_interval.py
@@ -2291,6 +2291,9 @@ def rshift_logical(self, shift_amount):
 
             ret = si_ if ret is None else ret.union(si_)
 
+        if ret is None:
+            return StridedInterval.top(self.bits)
+
         ret.normalize()
         ret.uninitialized = self.uninitialized
         return ret
@@ -2315,6 +2318,9 @@ def _unrev_rshift_logical(self, shift_amount):
 
             ret = si_ if ret is None else ret.union(si_)
 
+        if ret is None:
+            return StridedInterval.top(self.bits)
+
         ret.normalize()
         ret.uninitialized = self.uninitialized
         return ret
@@ -2340,6 +2346,9 @@ def rshift_arithmetic(self, shift_amount):
 
             ret = si_ if ret is None else ret.union(si_)
 
+        if ret is None:
+            return StridedInterval.top(self.bits)
+
         ret.normalize()
         ret.uninitialized = self.uninitialized
         return ret