angr 9.2.122__py3-none-macosx_11_0_arm64.whl → 9.2.123__py3-none-macosx_11_0_arm64.whl

angr/engines/vex/heavy/concretizers.py

@@ -23,7 +23,7 @@ def concretize_2xm1(state, args):
     # 2xm1(x) = 2 ** x - 1. Concretize 2**x part alone since only that cannot be modelled in Z3.
     arg_x = state.solver.eval(args[1])
     if -1 <= arg_x <= 1:
-        return state.solver.FPV(math.pow(2, arg_x) - 1, claripy.FSORT_DOUBLE)
+        return claripy.FPV(math.pow(2, arg_x) - 1, claripy.FSORT_DOUBLE)
 
     # If x is outside range [-1.0, 1.0], result is undefined. We return argument itself as observed on an Intel CPU.
     return args[1]
@@ -31,26 +31,26 @@ def concretize_2xm1(state, args):
 
 def concretize_abs_float64(state, args):
     arg_val = state.solver.eval(args[0])
-    return state.solver.FPV(abs(arg_val), args[0].sort)
+    return claripy.FPV(abs(arg_val), args[0].sort)
 
 
 def concretize_add_float64(state, args):
     arg0 = state.solver.eval(args[1])
     arg1 = state.solver.eval(args[2])
-    return state.solver.FPV(arg0 + arg1, claripy.FSORT_DOUBLE)
+    return claripy.FPV(arg0 + arg1, claripy.FSORT_DOUBLE)
 
 
 def concretize_add32f04(state, args):
     fp_arg0 = state.solver.eval(args[0][31:0].raw_to_fp())
     fp_arg1 = state.solver.eval(args[1][31:0].raw_to_fp())
-    result = state.solver.FPV(fp_arg0 + fp_arg1, claripy.FSORT_FLOAT).raw_to_bv()
+    result = claripy.FPV(fp_arg0 + fp_arg1, claripy.FSORT_FLOAT).raw_to_bv()
     return claripy.Concat(args[0][(args[0].length - 1) : result.size()], result)
 
 
 def concretize_add64f02(state, args):
     fp_arg0 = state.solver.eval(args[0][63:0].raw_to_fp())
     fp_arg1 = state.solver.eval(args[1][63:0].raw_to_fp())
-    result = state.solver.FPV(fp_arg0 + fp_arg1, claripy.FSORT_DOUBLE).raw_to_bv()
+    result = claripy.FPV(fp_arg0 + fp_arg1, claripy.FSORT_DOUBLE).raw_to_bv()
     return claripy.Concat(args[0][(args[0].length - 1) : result.size()], result)
 
 
@@ -71,18 +71,18 @@ def concretize_divf64(state, args):
     arg1 = state.solver.eval(args[1])
     arg2 = state.solver.eval(args[2])
     if arg2 == 0:
-        return state.solver.FPV(math.inf, args[1].sort)
+        return claripy.FPV(math.inf, args[1].sort)
 
-    return state.solver.FPV(arg1 / arg2, args[1].sort)
+    return claripy.FPV(arg1 / arg2, args[1].sort)
 
 
 def concretize_div32f04(state, args):
     fp_arg0 = state.solver.eval(args[0][31:0].raw_to_fp())
     fp_arg1 = state.solver.eval(args[1][31:0].raw_to_fp())
     if fp_arg1 == 0:
-        result = state.solver.FPV(math.inf, claripy.FSORT_FLOAT).raw_to_bv()
+        result = claripy.FPV(math.inf, claripy.FSORT_FLOAT).raw_to_bv()
     else:
-        result = state.solver.FPV(fp_arg0 / fp_arg1, claripy.FSORT_FLOAT).raw_to_bv()
+        result = claripy.FPV(fp_arg0 / fp_arg1, claripy.FSORT_FLOAT).raw_to_bv()
 
     return claripy.Concat(args[0][(args[0].length - 1) : result.size()], result)
 
@@ -91,21 +91,21 @@ def concretize_div64f02(state, args):
     fp_arg0 = state.solver.eval(args[0][63:0].raw_to_fp())
     fp_arg1 = state.solver.eval(args[1][63:0].raw_to_fp())
     if fp_arg1 == 0:
-        result = state.solver.FPV(math.inf, claripy.FSORT_DOUBLE).raw_to_bv()
+        result = claripy.FPV(math.inf, claripy.FSORT_DOUBLE).raw_to_bv()
     else:
-        result = state.solver.FPV(fp_arg0 / fp_arg1, claripy.FSORT_DOUBLE).raw_to_bv()
+        result = claripy.FPV(fp_arg0 / fp_arg1, claripy.FSORT_DOUBLE).raw_to_bv()
 
     return claripy.Concat(args[0][(args[0].length - 1) : result.size()], result)
 
 
 def concretize_float32_to_float64(state, args):
     arg0 = state.solver.eval(args[0])
-    return state.solver.FPV(arg0, claripy.FSORT_DOUBLE)
+    return claripy.FPV(arg0, claripy.FSORT_DOUBLE)
 
 
 def concretize_float64_to_float32(state, args):
     arg = state.solver.eval(args[1])
-    return state.solver.FPV(arg, claripy.FSORT_FLOAT)
+    return claripy.FPV(arg, claripy.FSORT_FLOAT)
 
 
 def concretize_float64_to_int64s(state, args):
@@ -127,20 +127,20 @@ def concretize_int64s_to_float64(state, args):
 def concretize_mulf64(state, args):
     arg1 = state.solver.eval(args[1])
     arg2 = state.solver.eval(args[2])
-    return state.solver.FPV(arg1 / arg2, args[1].sort)
+    return claripy.FPV(arg1 / arg2, args[1].sort)
 
 
 def concretize_mul32f04(state, args):
     fp_arg0 = state.solver.eval(args[0][31:0].raw_to_fp())
     fp_arg1 = state.solver.eval(args[1][31:0].raw_to_fp())
-    result = state.solver.FPV(fp_arg0 * fp_arg1, claripy.FSORT_FLOAT).raw_to_bv()
+    result = claripy.FPV(fp_arg0 * fp_arg1, claripy.FSORT_FLOAT).raw_to_bv()
     return claripy.Concat(args[0][(args[0].length - 1) : result.size()], result)
 
 
 def concretize_mul64f02(state, args):
     fp_arg0 = state.solver.eval(args[0][63:0].raw_to_fp())
     fp_arg1 = state.solver.eval(args[1][63:0].raw_to_fp())
-    result = state.solver.FPV(fp_arg0 * fp_arg1, claripy.FSORT_DOUBLE).raw_to_bv()
+    result = claripy.FPV(fp_arg0 * fp_arg1, claripy.FSORT_DOUBLE).raw_to_bv()
     return claripy.Concat(args[0][(args[0].length - 1) : result.size()], result)
 
 
@@ -149,24 +149,24 @@ def concretize_fscale(state, args):
     arg_x = state.solver.eval(args[1])
     arg_y = math.floor(state.solver.eval(args[2]))
     if math.isnan(arg_x) or math.isnan(arg_y):
-        return state.solver.FPV(math.nan, claripy.FSORT_DOUBLE)
+        return claripy.FPV(math.nan, claripy.FSORT_DOUBLE)
 
     if abs(arg_x) == math.inf and arg_y == -1 * math.inf:
-        return state.solver.FPV(math.nan, claripy.FSORT_DOUBLE)
+        return claripy.FPV(math.nan, claripy.FSORT_DOUBLE)
 
     if arg_x == 0.0 and arg_y == math.inf:
-        return state.solver.FPV(math.nan, claripy.FSORT_DOUBLE)
+        return claripy.FPV(math.nan, claripy.FSORT_DOUBLE)
 
-    return state.solver.FPV(arg_x * math.pow(2, arg_y), claripy.FSORT_DOUBLE)
+    return claripy.FPV(arg_x * math.pow(2, arg_y), claripy.FSORT_DOUBLE)
 
 
 def concretize_fsqrt(state, args):
     # Concretize floating point square root. Z3 does support square root but unsure if that includes floating point
     arg_1 = state.solver.eval(args[1])
     if arg_1 < 0 or math.isnan(arg_1):
-        return state.solver.FPV(math.nan, claripy.FSORT_DOUBLE)
+        return claripy.FPV(math.nan, claripy.FSORT_DOUBLE)
 
-    return state.solver.FPV(math.sqrt(arg_1), claripy.FSORT_DOUBLE)
+    return claripy.FPV(math.sqrt(arg_1), claripy.FSORT_DOUBLE)
 
 
 def concretize_prem(state, args):
@@ -175,7 +175,7 @@ def concretize_prem(state, args):
     dividend = state.solver.eval(args[1])
     divisor = state.solver.eval(args[2])
     if math.isnan(dividend) or math.isnan(divisor) or abs(dividend) == math.inf or divisor == 0.0:
-        return state.solver.FPV(math.nan, claripy.FSORT_DOUBLE)
+        return claripy.FPV(math.nan, claripy.FSORT_DOUBLE)
 
     if abs(divisor) == math.inf or dividend == 0.0:
         return args[1]
@@ -194,9 +194,9 @@ def concretize_prem(state, args):
 
     if result == 0.0 and math.copysign(1.0, dividend) < 0:
         # According to Intel manual, if result is 0, its sign should be same as that of dividend.
-        return state.solver.FPV(-0.0, claripy.FSORT_DOUBLE)
+        return claripy.FPV(-0.0, claripy.FSORT_DOUBLE)
 
-    return state.solver.FPV(result, claripy.FSORT_DOUBLE)
+    return claripy.FPV(result, claripy.FSORT_DOUBLE)
 
 
 def concretize_prem_flags(state, args):
@@ -241,20 +241,20 @@ def concretize_prem_flags(state, args):
 
 
 def concretize_reinterp_float64_as_int64(state, args):
-    return state.solver.FPV(state.solver.eval(args[0]), args[0].sort).raw_to_bv()
+    return claripy.FPV(state.solver.eval(args[0]), args[0].sort).raw_to_bv()
 
 
 def concretize_sub32f04(state, args):
     fp_arg0 = state.solver.eval(args[0][31:0].raw_to_fp())
     fp_arg1 = state.solver.eval(args[1][31:0].raw_to_fp())
-    result = state.solver.FPV(fp_arg0 - fp_arg1, claripy.FSORT_FLOAT).raw_to_bv()
+    result = claripy.FPV(fp_arg0 - fp_arg1, claripy.FSORT_FLOAT).raw_to_bv()
     return claripy.Concat(args[0][(args[0].length - 1) : result.size()], result)
 
 
 def concretize_sub64f02(state, args):
     fp_arg0 = state.solver.eval(args[0][63:0].raw_to_fp())
     fp_arg1 = state.solver.eval(args[1][63:0].raw_to_fp())
-    result = state.solver.FPV(fp_arg0 - fp_arg1, claripy.FSORT_DOUBLE).raw_to_bv()
+    result = claripy.FPV(fp_arg0 - fp_arg1, claripy.FSORT_DOUBLE).raw_to_bv()
     return claripy.Concat(args[0][(args[0].length - 1) : result.size()], result)
 
 
@@ -265,18 +265,18 @@ def concretize_trig_cos(state, args):
     abs_arg_x = abs(arg_x)
 
     if math.isnan(abs_arg_x):
-        return state.solver.FPV(math.nan, claripy.FSORT_DOUBLE)
+        return claripy.FPV(math.nan, claripy.FSORT_DOUBLE)
 
     if abs_arg_x == math.inf:
         # Floating-point invalid-operation exception
-        return state.solver.FPV(math.nan, claripy.FSORT_DOUBLE)
+        return claripy.FPV(math.nan, claripy.FSORT_DOUBLE)
 
     if abs_arg_x > pow(2, 63):
         # Intel manual says argument must be in range [-2^63, 2^63]. Otherwise, floating-point invalid-operation
         # exception: leave value changed
         return args[1]
 
-    return state.solver.FPV(math.cos(arg_x), claripy.FSORT_DOUBLE)
+    return claripy.FPV(math.cos(arg_x), claripy.FSORT_DOUBLE)
 
 
 def concretize_trig_sin(state, args):
@@ -286,18 +286,18 @@ def concretize_trig_sin(state, args):
     abs_arg_x = abs(arg_x)
 
     if math.isnan(abs_arg_x):
-        return state.solver.FPV(math.nan, claripy.FSORT_DOUBLE)
+        return claripy.FPV(math.nan, claripy.FSORT_DOUBLE)
 
     if abs_arg_x == math.inf:
         # Floating-point invalid-operation exception
-        return state.solver.FPV(math.nan, claripy.FSORT_DOUBLE)
+        return claripy.FPV(math.nan, claripy.FSORT_DOUBLE)
 
     if abs_arg_x > pow(2, 63):
         # Intel manual says argument must be in range [-2^63, 2^63]. Otherwise, floating-point invalid-operation
         # exception: leave value changed
         return args[1]
 
-    return state.solver.FPV(math.sin(arg_x), claripy.FSORT_DOUBLE)
+    return claripy.FPV(math.sin(arg_x), claripy.FSORT_DOUBLE)
 
 
 def concretize_trig_tan(state, args):
@@ -307,18 +307,18 @@ def concretize_trig_tan(state, args):
     abs_arg_x = abs(arg_x)
 
     if math.isnan(abs_arg_x):
-        return state.solver.FPV(math.nan, claripy.FSORT_DOUBLE)
+        return claripy.FPV(math.nan, claripy.FSORT_DOUBLE)
 
     if abs_arg_x == math.inf:
         # Floating-point invalid-operation exception
-        return state.solver.FPV(math.nan, claripy.FSORT_DOUBLE)
+        return claripy.FPV(math.nan, claripy.FSORT_DOUBLE)
 
     if abs_arg_x > pow(2, 63):
         # Intel manual says argument must be in range [-2^63, 2^63]. Otherwise, floating-point invalid-operation
         # exception: leave value changed
         return args[1]
 
-    return state.solver.FPV(math.tan(arg_x), claripy.FSORT_DOUBLE)
+    return claripy.FPV(math.tan(arg_x), claripy.FSORT_DOUBLE)
 
 
 def concretize_yl2x(state, args):
@@ -330,35 +330,35 @@ def concretize_yl2x(state, args):
     arg_y = state.solver.eval(args[1])
     if arg_x < 0:
         # TODO: Indicate floating-point invalid-operation exception
-        return state.solver.FPV(arg_x, claripy.FSORT_DOUBLE)
+        return claripy.FPV(arg_x, claripy.FSORT_DOUBLE)
 
     if arg_x == 0:
         if abs(arg_y) == math.inf:
-            return state.solver.FPV(-1 * arg_y, claripy.FSORT_DOUBLE)
+            return claripy.FPV(-1 * arg_y, claripy.FSORT_DOUBLE)
         if arg_y == 0:
             # TODO: Indicate floating-point invalid-operation exception
-            return state.solver.FPV(arg_x, claripy.FSORT_DOUBLE)
+            return claripy.FPV(arg_x, claripy.FSORT_DOUBLE)
         # TODO: Indicate floating-point zero-division exception
-        return state.solver.FPV(arg_x, claripy.FSORT_DOUBLE)
+        return claripy.FPV(arg_x, claripy.FSORT_DOUBLE)
 
     if arg_x == 1:
         if abs(arg_y) == math.inf:
             # TODO: Indicate floating-point invalid-operation exception
-            return state.solver.FPV(arg_x, claripy.FSORT_DOUBLE)
+            return claripy.FPV(arg_x, claripy.FSORT_DOUBLE)
 
         # TODO: How to distinguish between +0 and -0?
-        return state.solver.FPV(0, claripy.FSORT_DOUBLE)
+        return claripy.FPV(0, claripy.FSORT_DOUBLE)
 
     if arg_x == math.inf:
         if arg_y == 0:
             # TODO: Indicate floating-point invalid-operation exception
-            return state.solver.FPV(arg_x, claripy.FSORT_DOUBLE)
+            return claripy.FPV(arg_x, claripy.FSORT_DOUBLE)
         if arg_y < 0:
-            return state.solver.FPV(-1 * math.inf, claripy.FSORT_DOUBLE)
+            return claripy.FPV(-1 * math.inf, claripy.FSORT_DOUBLE)
 
-        return state.solver.FPV(math.inf, claripy.FSORT_DOUBLE)
+        return claripy.FPV(math.inf, claripy.FSORT_DOUBLE)
 
-    return state.solver.FPV(arg_y * math.log2(arg_x), claripy.FSORT_DOUBLE)
+    return claripy.FPV(arg_y * math.log2(arg_x), claripy.FSORT_DOUBLE)
 
 
 concretizers = {

angr/engines/vex/heavy/dirty.py

@@ -19,12 +19,12 @@ l = logging.getLogger(name=__name__)
 # http://www-inteng.fnal.gov/Integrated_Eng/GoodwinDocs/pdf/Sys%20docs/PowerPC/PowerPC%20Elapsed%20Time.pdf
 # and
 # http://www.cap-lore.com/code/TB/
-def ppcg_dirtyhelper_MFTB(state):
+def ppcg_dirtyhelper_MFTB(state):  # pylint:disable=unused-argument
     # TODO: This is an incorrect implementation. Fix it later!
     return claripy.BVV(0x200, 64), []
 
 
-def ppc32g_dirtyhelper_MFSPR_287(state):
+def ppc32g_dirtyhelper_MFSPR_287(state):  # pylint:disable=unused-argument
     return claripy.BVV(0x200, 32), []
 
 
@@ -119,8 +119,8 @@ EmWarn_S390X_fpext_rounding = 10
 EmWarn_S390X_invalid_rounding = 11
 
 
-def amd64g_check_ldmxcsr(state, mxcsr):
-    rmode = state.solver.LShR(mxcsr, 13) & 3
+def amd64g_check_ldmxcsr(state, mxcsr):  # pylint:disable=unused-argument
+    rmode = claripy.LShR(mxcsr, 13) & 3
 
     ew = claripy.If(
         (mxcsr & 0x1F80) != 0x1F80,

angr/procedures/java_lang/getsimplename.py

@@ -1,6 +1,9 @@
 from __future__ import annotations
+
 import logging
 
+import claripy
+
 from angr.procedures.java import JavaSimProcedure
 from angr.engines.soot.values.strref import SimSootValue_StringRef
 
@@ -12,4 +15,4 @@ class GetSimpleName(JavaSimProcedure):
 
     def run(self, this):  # pylint: disable=arguments-differ
         class_simple_name = this.type.split(".")[-1]
-        return SimSootValue_StringRef.new_string(self.state, self.state.solver.StringV(class_simple_name))
+        return SimSootValue_StringRef.new_string(self.state, claripy.StringV(class_simple_name))

angr/procedures/linux_kernel/iovec.py

@@ -1,4 +1,7 @@
 from __future__ import annotations
+
+import claripy
+
 import angr
 from angr.procedures.posix.read import read
 from angr.procedures.posix.write import write
@@ -24,7 +27,7 @@ class readv(angr.SimProcedure):
         res = 0
         for element in self.state.mem[iovec].struct.iovec.array(iovcnt).resolved:
             tmpres = self.inline_call(read, fd, element.iov_base, element.iov_len).ret_expr
-            if self.state.solver.is_true(self.state.solver.SLT(tmpres, 0)):
+            if self.state.solver.is_true(claripy.SLT(tmpres, 0)):
                 return tmpres
 
         return res
@@ -38,7 +41,7 @@ class writev(angr.SimProcedure):
         res = 0
         for element in self.state.mem[iovec].struct.iovec.array(iovcnt).resolved:
             tmpres = self.inline_call(write, fd, element.iov_base, element.iov_len).ret_expr
-            if self.state.solver.is_true(self.state.solver.SLT(tmpres, 0)):
+            if self.state.solver.is_true(claripy.SLT(tmpres, 0)):
                 return tmpres
 
         return res

angr/sim_type.py

@@ -1629,7 +1629,9 @@ class SimUnion(NamedTypeMixin, SimType):
 
     @property
     def size(self):
-        return max(ty.size for ty in self.members.values() if not isinstance(ty, SimTypeBottom))
+        member_sizes = [ty.size for ty in self.members.values() if not isinstance(ty, SimTypeBottom)]
+        # fall back to word size in case all members are SimTypeBottom
+        return max(member_sizes) if member_sizes else self._arch.bytes
 
     @property
     def alignment(self):

{angr-9.2.122.dist-info → angr-9.2.123.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: angr
-Version: 9.2.122
+Version: 9.2.123
 Summary: A multi-architecture binary analysis toolkit, with the ability to perform dynamic symbolic execution and various static analyses on binaries
 Home-page: https://github.com/angr/angr
 License: BSD-2-Clause
@@ -10,18 +10,19 @@ Classifier: Programming Language :: Python :: 3 :: Only
 Classifier: Programming Language :: Python :: 3.10
 Classifier: Programming Language :: Python :: 3.11
 Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
 Requires-Python: >=3.10
 Description-Content-Type: text/markdown
 License-File: LICENSE
 Requires-Dist: CppHeaderParser
 Requires-Dist: GitPython
-Requires-Dist: ailment==9.2.122
-Requires-Dist: archinfo==9.2.122
+Requires-Dist: ailment==9.2.123
+Requires-Dist: archinfo==9.2.123
 Requires-Dist: cachetools
 Requires-Dist: capstone==5.0.3
 Requires-Dist: cffi>=1.14.0
-Requires-Dist: claripy==9.2.122
-Requires-Dist: cle==9.2.122
+Requires-Dist: claripy==9.2.123
+Requires-Dist: cle==9.2.123
 Requires-Dist: itanium-demangler
 Requires-Dist: mulpyplexer
 Requires-Dist: nampa
@@ -30,7 +31,7 @@ Requires-Dist: protobuf>=5.28.2
 Requires-Dist: psutil
 Requires-Dist: pycparser>=2.18
 Requires-Dist: pyformlang
-Requires-Dist: pyvex==9.2.122
+Requires-Dist: pyvex==9.2.123
 Requires-Dist: rich>=13.1.0
 Requires-Dist: sortedcontainers
 Requires-Dist: sympy

{angr-9.2.122.dist-info → angr-9.2.123.dist-info}/RECORD

@@ -1,10 +1,10 @@
-angr/__init__.py,sha256=FvLCWVY2NPQsA6BMek9XDtGgFw8K_KwQEOhf__rdJpk,9153
+angr/__init__.py,sha256=eD0bz3gaEWi2XY0vUXc6KRQGKznWe3rfw21je_4p5dw,9153
 angr/__main__.py,sha256=XeawhF6Cco9eWcfMTDWzYYggLB3qjnQ87IIeFOplaHM,2873
 angr/annocfg.py,sha256=5fiS9TPt5r1_8g_qSfD2XkETlBdm5MTClBIQKqhm040,10624
 angr/blade.py,sha256=GpbEumxMsb_6qD7TbtfZuW2CMzV7W1iwqYzQWYlXnxM,15394
 angr/block.py,sha256=O5kFpofRMVlCqdG-6E53UEti7bGtIcqqx6fvyWDPu58,14975
 angr/callable.py,sha256=1rzhXjWlx62jKJaRKHvp12rbsJ75zNa86vXtCt6eFLo,6065
-angr/calling_conventions.py,sha256=pONBmGJn4f-yF-wfaGA2n4m6tHZ276edmGLQUoAGPvY,92724
+angr/calling_conventions.py,sha256=p_efVNwRtCOnbEzRCUrL_D0H9T3O982NqA5qCHINmIw,92824
 angr/code_location.py,sha256=JpxnEa-FbQIloGwrGa4SyZlA6La_DsvHNt4WMh7lMMY,5466
 angr/codenode.py,sha256=z-XdQh20yl_exg5H4Ep62Kw2lb3ce8od_IaEHw2v-D8,3793
 angr/errors.py,sha256=I0L-TbxmVYIkC-USuHwaQ9BGPi2YVObnhZXQQ3kJFuo,8385
@@ -20,7 +20,7 @@ angr/sim_options.py,sha256=tfl57MFECmA7uvMMtQrRRbpG8g_A9jKOzwY6nApTW6Y,17782
 angr/sim_procedure.py,sha256=hvd180bGmjB2skK93gVfy_W9fNUtI5pAD3upGqgSUJ8,26221
 angr/sim_state.py,sha256=XokLIEd7Cxod86BvVuhJEA8wUxYa_cSGn7M9BIMmbNQ,33305
 angr/sim_state_options.py,sha256=OBsH55qwd1FacVL3Uabqjgos-x5BhpdONSnhxkueRwI,12468
-angr/sim_type.py,sha256=RcIDyMjQ0ochnKDt_Tflbwmw8exyj86R-KimR3tDGGE,132236
+angr/sim_type.py,sha256=LVPQtLs13Dalz26iWHAx-QmvMmJybPv9TZLHJMotrPs,132383
 angr/sim_variable.py,sha256=oN0EIj8Y7vpdZgX0Hp8OMix40EvAvFBmNSH2KkgtAPM,16404
 angr/slicer.py,sha256=74ujgNMKcEIHM8lqal69Cbls07yCxpxvi-jUYeScfaU,10668
 angr/state_hierarchy.py,sha256=qDQCUGXmQm3vOxE3CSoiqTH4OAFFOWZZt9BLhNpeOhA,8484
@@ -33,7 +33,7 @@ angr/analyses/binary_optimizer.py,sha256=JqKfOXx5FiWsYdQ6JMWYivfB2AiNl2Pw8Utk8kP
 angr/analyses/bindiff.py,sha256=ZAnBeB4-0sGRZ494MTjM6NrNXL33YWcXw2bHZRBqY8M,51431
 angr/analyses/boyscout.py,sha256=pMJNmVBt8MbCiVe8Pk8SQ3IOppHGK2qHe6G7A3e3WA8,2483
 angr/analyses/callee_cleanup_finder.py,sha256=aogcfYfvzsVPVfseJl2KKczMu7pPPtwC7bqTyQ0UsvI,2812
-angr/analyses/calling_convention.py,sha256=hynVRzRagh48bfJo21CwR4_eItkOypY29S8-5WPkl8w,40653
+angr/analyses/calling_convention.py,sha256=rXBOiLcS4QLt58dKAHPGTFCX9wrx7t998rI4EUosuM4,40879
 angr/analyses/cdg.py,sha256=oPgHV4MVpGkfRUE0ZiaghBSkgTsr6tkG1IK4f_GtOBA,6230
 angr/analyses/class_identifier.py,sha256=bytFQ0c7KuQhbYPPJDkhtV0ZU_Xo8_9KLZxHe9TtyMs,3010
 angr/analyses/code_tagging.py,sha256=Gj7Ms24RnmhC9OD57gw7R6_c-pLfqSug-LVUMw_JmXE,3510
@@ -52,7 +52,7 @@ angr/analyses/loopfinder.py,sha256=C9Vo-Lv4a0SL7xbfzlWt9nFbv6tOjaEHgY1cW3M2Nyg,7
 angr/analyses/proximity_graph.py,sha256=-g7pNpbP2HQhKW3w1Eff23K8vAsgWWYoe3wVxRh3Lhk,16066
 angr/analyses/reassembler.py,sha256=y41XIGWqCVvwFlE3uACEMFLR-vByKkOazC405UPCOpM,98524
 angr/analyses/s_liveness.py,sha256=YI-N62--Wo8B4yB5lvUi4mFBNqxwRxYq-p3zXR4qFNs,5213
-angr/analyses/s_propagator.py,sha256=tUDYiiloRK6OBEVDYr3ZyNQeryzwZQdSLADYS1TVJa8,10510
+angr/analyses/s_propagator.py,sha256=yRIw72FBTSQWVbW9Cid_7jmzi6HP4a9nT8PhiajnlH8,10783
 angr/analyses/soot_class_hierarchy.py,sha256=AtvXMAlz6CVvfbtkPY4ghouH_1mNnPg9s9jFhZwWvEw,8741
 angr/analyses/stack_pointer_tracker.py,sha256=5NZf4muUFIJX-F605n5LMw8ihA648-FA4Bm5mAcsHBE,31379
 angr/analyses/static_hooker.py,sha256=lSVOZWiLl3fArz41fEbPMPvdsmlo40BeOeaVmeDxFow,1765
@@ -92,19 +92,19 @@ angr/analyses/data_dep/data_dependency_analysis.py,sha256=QN_m2yDyOWnRHg1l4n6dKD
 angr/analyses/data_dep/dep_nodes.py,sha256=LcNcxeuKXMMc0GkmvKqqFwNlAk3GhzBR8ixM4CD305k,4640
 angr/analyses/data_dep/sim_act_location.py,sha256=EXmfFF3lV9XogcB2gFRMUoJCbjpDYiSKNyfafkBfiY8,1564
 angr/analyses/decompiler/__init__.py,sha256=JAHy5toHIzNxlRnht8geYexKueYhhCGHs7GM4E11AN4,1162
-angr/analyses/decompiler/ail_simplifier.py,sha256=M3XQP4245KSduzg661xEZpWuOdbDFFts-lrAH7WyW5Q,85827
+angr/analyses/decompiler/ail_simplifier.py,sha256=KwXqvugURBjrOS_Xv5s1sZenEWemDf__KCrcB6CMWRs,71784
 angr/analyses/decompiler/ailgraph_walker.py,sha256=m71HCthOr9J8PZoMxJzCPskay8yfCZ2j8esWT4Ka3KI,1630
 angr/analyses/decompiler/block_io_finder.py,sha256=xMwG8Bi69OGNYVs0U0F4yxM8kEsnyrsMrf0gEr8dOEw,10923
 angr/analyses/decompiler/block_similarity.py,sha256=ISMoOm-TGJ_1wD2i_4m8IYTletgnP66gReQESJnfvS0,6873
 angr/analyses/decompiler/block_simplifier.py,sha256=_WYyfFW8bJ_-RkrudJIlDdHh9fc6_aHkuwzW9gylY-k,13922
 angr/analyses/decompiler/callsite_maker.py,sha256=ulPOsw1oVSUXGzfR3NKn1CbmR7EcYNb0WAfm69Z8Rzg,18496
-angr/analyses/decompiler/clinic.py,sha256=lA0CGxxZPc0WfRaMLkZ7zwhzG8plC6yo6fA5Pq8_7Ak,103436
+angr/analyses/decompiler/clinic.py,sha256=ZcV9y316PQ3MkoTpXMdTmovix77kDexfQkzxoRuV3xI,103511
 angr/analyses/decompiler/condition_processor.py,sha256=pNr-BpmO_Rxma5ETbnlQnjwAWQuriiWXJEKGj5MyLQU,50875
 angr/analyses/decompiler/decompilation_cache.py,sha256=ynqveXnf_sULwFmQFr4rVDlRHoniICt8iyhC0Ds0mDU,1163
 angr/analyses/decompiler/decompilation_options.py,sha256=QWUGnfQ0FUekGs_I6X-ZKvAvL39VX2hFRcZrlXd72fY,7957
 angr/analyses/decompiler/decompiler.py,sha256=smCsj38OeoHhhUWNf4YnYsEayQKW1SacRb5LBnslBPA,24623
 angr/analyses/decompiler/empty_node_remover.py,sha256=_RAGjqDyRmannEGPcMmWkL7em990-_sKgl5CYreb-yI,7403
-angr/analyses/decompiler/expression_narrower.py,sha256=9as-Q-JFxfRUCz7M_32jiWeGYUuV_AqFDHclJLa_wqU,3442
+angr/analyses/decompiler/expression_narrower.py,sha256=ZtknEhc_o1G_W_yCLnsRhpkxvG6iEee2NxWzjMZGAZc,10238
 angr/analyses/decompiler/goto_manager.py,sha256=GUWt3Y_NCpmreIt4plxX5Y3UO2V8IVGZuRtF2GqI-cw,4006
 angr/analyses/decompiler/graph_region.py,sha256=PqXOqxOtk8haGNB7zlPzvXgkE0JdeGCIpLIUSeKswo8,16661
 angr/analyses/decompiler/jump_target_collector.py,sha256=qR11VsIp6H1N-19xCdXMRs1LGX31o3_Cz1Z5wRyMIl8,1173
@@ -114,7 +114,7 @@ angr/analyses/decompiler/region_identifier.py,sha256=N05xkMszqldNbmNfSY0htbSqQZ-
 angr/analyses/decompiler/region_walker.py,sha256=u0hR0bEX1hSwkv-vejIM1gS-hcX2F2DLsDqpKhQ5_pQ,752
 angr/analyses/decompiler/return_maker.py,sha256=mCJdEcnU8P5sld5B-b5e2YLilct98gJa7VWAMXT2wIY,2502
 angr/analyses/decompiler/seq_to_blocks.py,sha256=bB-1m8oBO59AlAp6izAROks3BBxFW8zigLlrIMt6Yfs,564
-angr/analyses/decompiler/sequence_walker.py,sha256=uvaZqT7VsLoK6dHM-Y8JaID9BGuUa2aXgelfTDllYe0,8703
+angr/analyses/decompiler/sequence_walker.py,sha256=ODDPnChZ3Li0JyIXDR41JW9zvCsfPF5JvGYDL52wAYI,9375
 angr/analyses/decompiler/utils.py,sha256=ldej1mpMKsWYgENa5qG4VTeoCrID-9JudTaaFLTQEco,30456
 angr/analyses/decompiler/ccall_rewriters/__init__.py,sha256=pTCBcuro4f8bnK7N6D48Y7Dh-2QwyzgVY33LlUBHcZE,137
 angr/analyses/decompiler/ccall_rewriters/amd64_ccalls.py,sha256=x-rrA_g62cjy30mOcBdIlBCUhnfPPTs9Eut7lWi0JlI,22408
@@ -129,7 +129,7 @@ angr/analyses/decompiler/dephication/dephication_base.py,sha256=UToP1wF9814qxzJp
 angr/analyses/decompiler/dephication/graph_dephication.py,sha256=xjm_OrWgcuDIoDCEAhbW4xGzCHwOPw9ya8IroZH3qf4,2169
 angr/analyses/decompiler/dephication/graph_rewriting.py,sha256=R0rlwYL0Cnt1UPjdEJZG4kEvruKPr8I1hfhTMTZnBxA,3405
 angr/analyses/decompiler/dephication/graph_vvar_mapping.py,sha256=1-K_SPAd2RsUGshdfwbY9V2H8EfGsIAuRss-r0fBxpA,13250
-angr/analyses/decompiler/dephication/rewriting_engine.py,sha256=N5fi3ba7LSWjEl1N_fmgepx1OCEz2Z8H1Trs2m2Ml9g,8483
+angr/analyses/decompiler/dephication/rewriting_engine.py,sha256=DwsxodddJ1nZYCe5155PwX125mRbnpapzzSjTn2F_-E,8520
 angr/analyses/decompiler/dephication/seqnode_dephication.py,sha256=q29kS8lOs_-mxgJMtQvoZdw6l3q2lUDeXcTcGienIrY,4343
 angr/analyses/decompiler/optimization_passes/__init__.py,sha256=HcewOuaA5dafuSHaXAvViAxasqbVJRVQ2qMuDCSi00s,4205
 angr/analyses/decompiler/optimization_passes/base_ptr_save_simplifier.py,sha256=uUzQWVkeKL2C9Lq8NZ7UkkZBAXydxOd0F1jxr0Zi__Q,5514
@@ -145,8 +145,8 @@ angr/analyses/decompiler/optimization_passes/expr_op_swapper.py,sha256=PJMJ0INWi
 angr/analyses/decompiler/optimization_passes/flip_boolean_cmp.py,sha256=ULonaiVMx2g7bflZrfoEgjrW7yQJDsfdieTdV7kfGug,4031
 angr/analyses/decompiler/optimization_passes/inlined_string_transformation_simplifier.py,sha256=VumIsThsomXV2SpbHjFJexx08fUslVJRdTsrolWiRGY,19038
 angr/analyses/decompiler/optimization_passes/ite_expr_converter.py,sha256=eeKEkoT0WphueWZd5P07cfa9lTBK3BzL0jUyOx4XmJQ,7820
-angr/analyses/decompiler/optimization_passes/ite_region_converter.py,sha256=WuR3mHAZ2nDIpXBE_ncihjfTCKQZaFLm1OtfBqaxzgE,11967
-angr/analyses/decompiler/optimization_passes/lowered_switch_simplifier.py,sha256=zJL8HBuaCw94fJHgR4sf1BZ_-qutcA0t-4koKJ6Lyds,38383
+angr/analyses/decompiler/optimization_passes/ite_region_converter.py,sha256=fhIo0HvYuGDbAQV5IiwSjACokEVreRtyXzyYZk5oZKw,12264
+angr/analyses/decompiler/optimization_passes/lowered_switch_simplifier.py,sha256=1Yto_EBmmB5FkwZzaAO7S0MEvbQNEknFbbq-nUU0Eao,38818
 angr/analyses/decompiler/optimization_passes/mod_simplifier.py,sha256=papR480h-t_wEWMEdu6UTmc33lPSy_MOmiMgidPGnxc,3115
 angr/analyses/decompiler/optimization_passes/multi_simplifier.py,sha256=sIp2YISvafpyFzn8sgGMfohJsARiS3JFX_Y3IUXD_vo,10119
 angr/analyses/decompiler/optimization_passes/optimization_pass.py,sha256=jA8YwaycUkMe_WKTUx2vlPcGbC73DpjVhfLAt9mPGJw,21267
@@ -183,7 +183,7 @@ angr/analyses/decompiler/peephole_optimizations/bswap.py,sha256=UTkF5sYZcC45tXt9
 angr/analyses/decompiler/peephole_optimizations/cmpord_rewriter.py,sha256=4ERanmpCQq06B6RE-AO_-jgPloyP9Jg5wcUja9iA_gI,2652
 angr/analyses/decompiler/peephole_optimizations/coalesce_adjacent_shrs.py,sha256=xZ129l0U5hoPXtczxZFUfZL59V7d0u2amQTO4phIpQU,1409
 angr/analyses/decompiler/peephole_optimizations/coalesce_same_cascading_ifs.py,sha256=h3m9FIxsMpElPE3ecFfa0vnzuxwG5oJLNEqvLuMpMgI,1062
-angr/analyses/decompiler/peephole_optimizations/const_mull_a_shift.py,sha256=aIDp8kUVoAOPpOJHaxX90osusSNO2i9jSBnhwPg6NU0,6589
+angr/analyses/decompiler/peephole_optimizations/const_mull_a_shift.py,sha256=iqhS2IWH5ECDJAgNzNW2IhUXigw3rxxHo32kjpPOSZs,7426
 angr/analyses/decompiler/peephole_optimizations/constant_derefs.py,sha256=KTGrECpzRuIjsthtcl6IhxNPLibuclzlUCcTE11nrio,1701
 angr/analyses/decompiler/peephole_optimizations/conv_a_sub0_shr_and.py,sha256=6WooyVqwdlMLixGFR8QE0n6GDEC2AluVo4dIr7vwmqY,2379
 angr/analyses/decompiler/peephole_optimizations/conv_shl_shr.py,sha256=5LtXTzPwO_Dtru3UYbr6l8YYylxKrAVZ9q6Gjk1C8sI,2105
@@ -221,7 +221,7 @@ angr/analyses/decompiler/presets/preset.py,sha256=sTK5fJfx_Cdx0Gjn7y4bOrDp-2eFPe
 angr/analyses/decompiler/region_simplifiers/__init__.py,sha256=BSD9osrReTEdapOMmyI1kFiN7AmE1EeJGLBV7i0u-Uc,117
 angr/analyses/decompiler/region_simplifiers/cascading_cond_transformer.py,sha256=qLs1LxEYHdPrh5c33IdkHJqtjBU7z4Sz6fxOK4Fn0Oc,3816
 angr/analyses/decompiler/region_simplifiers/cascading_ifs.py,sha256=IgbSKemlJHlyGR6ANJlsPLMjCN262gJvytaqPi0EWuA,2594
-angr/analyses/decompiler/region_simplifiers/expr_folding.py,sha256=MVYCYykv16Y4JloSYwA-QiZE_3y3YVCZjysDPlhsXOk,24555
+angr/analyses/decompiler/region_simplifiers/expr_folding.py,sha256=EGHbx4qB7bPyoCrd21B5LcYF08N_po2lisWLnOW_uQA,24617
 angr/analyses/decompiler/region_simplifiers/goto.py,sha256=HKAh1m8WryAR2WMGjmFIvO6DOYymlA7sKRnKfbyJfvk,6100
 angr/analyses/decompiler/region_simplifiers/if_.py,sha256=rLH5csZCB5-cCsWJh2SdvWLVqgGfnfi7YqQlE7M328I,4406
 angr/analyses/decompiler/region_simplifiers/ifelse.py,sha256=rU01g103DJXtHBX72A2gbZJYlpVnmjLxL5Oo0FfjrVs,3808
@@ -376,12 +376,12 @@ angr/engines/engine.py,sha256=EuIArZ-csduGUanSjoBvSkabD1XT83NpjIqetVWBN1I,7955
 angr/engines/failure.py,sha256=rk93d83Lsb7zMY8uhKHmj6Scs0Gd4rv8LnXWpZb90As,1035
 angr/engines/hook.py,sha256=jMPgloeh6rZIx_OtsCec6Ct04xx5xQLez9_XZfiW2TI,2581
 angr/engines/procedure.py,sha256=U-4-PVCS6JyvmvxXqZSKDfpiCT51LeJBkrCwGRlY9YE,2557
-angr/engines/successors.py,sha256=msGUwhFmXwlBtbtITYmW7yNwf-Nfi7nZ4UIY8Zc3sbQ,23789
+angr/engines/successors.py,sha256=jYbax1UEgxaZDTX1A2oKxWnvH6hCOcrk1Sk_56r8gAw,23784
 angr/engines/syscall.py,sha256=HPAygXTIb8e4_j2DBS4LCCaAz9DNyji5mucfoYck_Dc,2162
 angr/engines/unicorn.py,sha256=8ggDUXdEQl1EMiY-Tp4CnyzzMK0zZrkGObLvBwPU9uU,24496
 angr/engines/light/__init__.py,sha256=3arK8vMsnu6TRxa1_sVWBfD7fRDHFL5kBbl9q-ui9Zw,435
 angr/engines/light/data.py,sha256=W4g-RZcLyhqXMiyrQBhNYaf8a3NIemq4iQpbPsl_Cdg,21243
-angr/engines/light/engine.py,sha256=QS6R-NTXimfJzIeeyyBL8BwD-xN7iS2MAoMTwolXcSA,45220
+angr/engines/light/engine.py,sha256=sBknqSbi57so6cCfn207SAkrRN843jCaXNeUr8draow,45641
 angr/engines/pcode/__init__.py,sha256=aoEeroPopUOmSplbB9XMz9ke9LXO6jtFMmI_e8X4i28,195
 angr/engines/pcode/behavior.py,sha256=UZHWTPyRnWN28i8I6o6YgnsIa4CaN_yP36fyNu45heg,29406
 angr/engines/pcode/cc.py,sha256=vPT7FA2tmlPUVA2ptHDNVqhAZEuZZaJYajBEIctXH54,3180
@@ -400,7 +400,7 @@ angr/engines/soot/expressions/binop.py,sha256=8u6bII365ueXXQ6Mu4jmdYNRiRmAzPpERR
 angr/engines/soot/expressions/cast.py,sha256=DlBC9cq4KpcH3qfyI1QabFs1mLRzsHa4NHBPc7bD_I8,804
 angr/engines/soot/expressions/condition.py,sha256=j3IK72n2pXgzgfmvmr1zh-6f0I7CPeZb2TDfug-BCF4,1315
 angr/engines/soot/expressions/constants.py,sha256=eHeWXIy181RSJRaBOsUijac19IDwCJshk9h9X8h87o8,1403
-angr/engines/soot/expressions/instanceOf.py,sha256=6Kl75uggrCFx6jv2lAxYCiZdEjDHvkM1nR33NEQ_XQE,348
+angr/engines/soot/expressions/instanceOf.py,sha256=XRlCa-LaVT03Zf09dRzrl3eIuZjR8P5Q8ti3Lvt6wB0,345
 angr/engines/soot/expressions/instancefieldref.py,sha256=KWx8sfhLHIxlbScdp_Eg8IvWDmSgoXhxau4S4VOJW70,269
 angr/engines/soot/expressions/invoke.py,sha256=AE0TdAXrTsxErAZCb4WSIcnx8Xd58OrCnPgJ3QjXofA,4517
 angr/engines/soot/expressions/length.py,sha256=Ae2UIK1UCbUm65Uq05Xkzerro4quOA3knv_mMbnt5hc,224
@@ -441,8 +441,8 @@ angr/engines/vex/claripy/datalayer.py,sha256=62OwjpOPxpXBmxkRLde5RYLfI_oCIfdj23G
 angr/engines/vex/claripy/irop.py,sha256=Y1zmrbI3NVbmoOfcuhTyz_b-HE7HnaY-z4rnrCljlTQ,45601
 angr/engines/vex/heavy/__init__.py,sha256=VLvDao7Drp2stJnRfznKM04IFYi7rjfdRWVJ09nl7Ow,376
 angr/engines/vex/heavy/actions.py,sha256=n8LDymfj6qHAd6evzoyZmHkSN8MlVjZHfgREATC-bek,8663
-angr/engines/vex/heavy/concretizers.py,sha256=ADGhnwu4_SscqllBwMHff8C50l_UEekFQJ1SpWuivEY,14668
-angr/engines/vex/heavy/dirty.py,sha256=8DSw6Wz_9gFYpph2tBvvhePhyQcUzaJGLbwhN7WBydU,18622
+angr/engines/vex/heavy/concretizers.py,sha256=2xQYLXmugpJWIUjUrMnall2ewX05kTdOYLWjediaf6Q,14433
+angr/engines/vex/heavy/dirty.py,sha256=WXJsC6KBotTdNCn64Zl2GiU_q_YK-QNu4f7RfG4d_qc,18719
 angr/engines/vex/heavy/heavy.py,sha256=cN2k2VraDRcrs0bnaXK6qSwttF3hd4Gkn6-RrbmeoZQ,16059
 angr/engines/vex/heavy/inspect.py,sha256=2sFdCnlhC_5Ugrju7uhAmY79lomfNLdl-o4B4mjlfjg,2368
 angr/engines/vex/heavy/resilience.py,sha256=QhGEQztITk1STChDxMWZoOSQuHXxExyW_wdWETaOpl0,3784
@@ -528,7 +528,7 @@ angr/knowledge_plugins/xrefs/__init__.py,sha256=5PhqVOtTZ27lCjJ9wp7akUeJydqILbyC
 angr/knowledge_plugins/xrefs/xref.py,sha256=ROo_kAEKwB51whVYcGtTV0QRtYmQZV8nEoEtbQWyC9U,4883
 angr/knowledge_plugins/xrefs/xref_manager.py,sha256=Yb88z3L8Y26TfGeRHdsGWQlT9f6oWntjEg6s-kcVtUQ,4040
 angr/knowledge_plugins/xrefs/xref_types.py,sha256=LcQ9pD4E4XlC51Us49xiqAoGAFGpnCrpYO4mOzILiKI,308
-angr/lib/angr_native.dylib,sha256=tZ2bHwficiaoYrTeem9M22HLV0lj6vb7E7zO_yX33o8,16187984
+angr/lib/angr_native.dylib,sha256=fkeIlvjg_0EZYGOMYcq4DhNaZLu0gtzTNZIMbBbxL40,16187984
 angr/misc/__init__.py,sha256=ZPHXbrIdsfe_qdmq8CnXuS_bBWOy4MDT2NjwUnPgHZc,355
 angr/misc/ansi.py,sha256=nPJHC0SKfqasMQZ0LxdmmIYojjmk4nr5jI6FrzoTwS0,811
 angr/misc/autoimport.py,sha256=iZagpuPwZWczUTYIqs-JkDMQjftMqc_cchcm7OBFiEg,3450
@@ -969,7 +969,7 @@ angr/procedures/java_lang/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJW
 angr/procedures/java_lang/character.py,sha256=eGY0WsxdxuxnwuGn-msDzvIV5asCMjqe4oP1BhgVS4A,999
 angr/procedures/java_lang/double.py,sha256=xGJoDZHtfAyKxw7_QcnBD59TYSZDStymxSX4cCKZPGg,749
 angr/procedures/java_lang/exit.py,sha256=wr0Pw3EnuX9oCRGFc5DyP3fP4wNzdfVTBWhYnL0KMOQ,304
-angr/procedures/java_lang/getsimplename.py,sha256=w2N0WosP7IC8QkSHvs5tk9QtFw9_I-WSepLk5fVVO30,530
+angr/procedures/java_lang/getsimplename.py,sha256=mGTdzVRfBHOkiL0cboWALnLEuwwOZi_9wo6i27YlDfI,537
 angr/procedures/java_lang/integer.py,sha256=6bqN3x8YGZ6_CQyhYHB-uomr6D-3grMNuNkZkewOTcM,1548
 angr/procedures/java_lang/load_library.py,sha256=Tk-bKCOS268Ila5zZOZHABVo4eqq6f6DpoN5QstxW70,290
 angr/procedures/java_lang/math.py,sha256=WwAygSTN7YpGQwa8qqGjvcc4nQOxTa-e51zetx6qQjg,395
@@ -1078,7 +1078,7 @@ angr/procedures/linux_kernel/getpid.py,sha256=xR2X1oEaeyd7jkK4ARpwbjNjn6nUuK92Jp
 angr/procedures/linux_kernel/getrlimit.py,sha256=hqJ-31gEprnEwW_oBvkTv-Mh-LH5_M-507sjterG3ZQ,792
 angr/procedures/linux_kernel/gettid.py,sha256=2LgnFKGael4PwIMD5OVI5lh318cS2za56ymNkF6C0Y4,176
 angr/procedures/linux_kernel/getuid.py,sha256=r1FA4Tgf1wbV0u8SxEYrFCaGHKVQcPqklufffnkUqxw,408
-angr/procedures/linux_kernel/iovec.py,sha256=ROM-0XTfdG-drVqOACNMezzRnxMTvrBDPQ9DlBh-iTM,1515
+angr/procedures/linux_kernel/iovec.py,sha256=nPdZSZUVE72nYAcI-2s0_0imYSyI3Uvpkltnz68XnZg,1512
 angr/procedures/linux_kernel/lseek.py,sha256=5BsCQqf5NPzaMHL2E1xBqHQ9IINIObmWDHjZ_vzLH0M,1231
 angr/procedures/linux_kernel/mmap.py,sha256=c5dDq8gtUosGzvRWJc1oirprQtBFdoyt-hMeFgAB5A8,533
 angr/procedures/linux_kernel/mprotect.py,sha256=VitInJywG3ddPjzLSj5aBdp0rw7AP-Vf125x4Htc-pg,1479
@@ -1334,9 +1334,9 @@ angr/utils/timing.py,sha256=ELuRPzdRSHzOATgtAzTFByMlVr021ypMrsvtpopreLg,1481
 angr/utils/ssa/__init__.py,sha256=Z7yXY0xe4X-T4bfdK0YtL9ZFnYF-JhQuJ16ZW-wpSZI,7886
 angr/utils/ssa/tmp_uses_collector.py,sha256=rSpvMxBHzg-tmvhsfjn3iLyPEKzaZN-xpQrdslMq3J4,793
 angr/utils/ssa/vvar_uses_collector.py,sha256=8gfAWdRMz73Deh-ZshDM3GPAot9Lf-rHzCiaCil0hlE,1342
-angr-9.2.122.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
-angr-9.2.122.dist-info/METADATA,sha256=AeFCGEvR4GLUoN8v-Rlbr4iPBA-V0BYSyaEHtJAQaGc,4711
-angr-9.2.122.dist-info/WHEEL,sha256=Xz05J0Qn3vsNxfTQmZRmQTZk9Hax-h7W0ZfteNIqTww,105
-angr-9.2.122.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
-angr-9.2.122.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
-angr-9.2.122.dist-info/RECORD,,
+angr-9.2.123.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
+angr-9.2.123.dist-info/METADATA,sha256=EvvJQkfYmmaLvofLi_37QJ66lAZaAp_vozR1Du4eERk,4762
+angr-9.2.123.dist-info/WHEEL,sha256=Xz05J0Qn3vsNxfTQmZRmQTZk9Hax-h7W0ZfteNIqTww,105
+angr-9.2.123.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
+angr-9.2.123.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
+angr-9.2.123.dist-info/RECORD,,