angr 9.2.109__py3-none-win_amd64.whl → 9.2.111__py3-none-win_amd64.whl

angr/__init__.py

@@ -1,7 +1,7 @@
 # pylint: disable=wildcard-import
 # pylint: disable=wrong-import-position
 
-__version__ = "9.2.109"
+__version__ = "9.2.111"
 
 if bytes is str:
     raise Exception(

angr/analyses/decompiler/condition_processor.py

@@ -752,9 +752,7 @@ class ConditionProcessor:
                     f"ailexpr_{repr(condition)}-{condition.variable.ident}", condition.bits, explicit_name=True
                 )
             else:
-                var = claripy.BVS(
-                    "ailexpr_%s-%d" % (repr(condition), condition.idx), condition.bits, explicit_name=True
-                )
+                var = claripy.BVS(f"ailexpr_{repr(condition)}-{condition.idx}", condition.bits, explicit_name=True)
             self._condition_mapping[var.args[0]] = condition
             return var
         elif isinstance(condition, ailment.Expr.Convert):

angr/analyses/decompiler/peephole_optimizations/inlined_strcpy.py

@@ -6,6 +6,7 @@ from archinfo import Endness
 from ailment.expression import Const, StackBaseOffset
 from ailment.statement import Call, Store
 
+from angr.utils.endness import ail_const_to_be
 from .base import PeepholeOptimizationStmtBase
 
 
@@ -102,7 +103,7 @@ class InlinedStrcpy(PeepholeOptimizationStmtBase):
                 continue
             if isinstance(stmt, Store) and isinstance(stmt.addr, StackBaseOffset) and isinstance(stmt.addr.offset, int):
                 if isinstance(stmt.data, Const):
-                    r[stmt.addr.offset] = idx, stmt.data
+                    r[stmt.addr.offset] = idx, ail_const_to_be(stmt.data, stmt.endness)
                 else:
                     r[stmt.addr.offset] = idx, None
 

angr/analyses/decompiler/peephole_optimizations/inlined_wstrcpy.py

@@ -6,6 +6,7 @@ from archinfo import Endness
 from ailment.expression import Const, StackBaseOffset
 from ailment.statement import Call, Store
 
+from angr.utils.endness import ail_const_to_be
 from .base import PeepholeOptimizationStmtBase
 
 
@@ -102,7 +103,7 @@ class InlinedWstrcpy(PeepholeOptimizationStmtBase):
                 continue
             if isinstance(stmt, Store) and isinstance(stmt.addr, StackBaseOffset) and isinstance(stmt.addr.offset, int):
                 if isinstance(stmt.data, Const):
-                    r[stmt.addr.offset] = idx, stmt.data
+                    r[stmt.addr.offset] = idx, ail_const_to_be(stmt.data, stmt.endness)
                 else:
                     r[stmt.addr.offset] = idx, None
 

angr/engines/light/engine.py

@@ -72,6 +72,12 @@ class SimEngineLightMixin:
                     return 0
                 elif isinstance(spoffset_expr.args[1], claripy.ast.Base) and spoffset_expr.args[1].op == "BVV":
                     return spoffset_expr.args[1].args[0]
+            elif spoffset_expr.op == "__sub__":
+                if len(spoffset_expr.args) == 1:
+                    # Unexpected but fine
+                    return 0
+                elif isinstance(spoffset_expr.args[1], claripy.ast.Base) and spoffset_expr.args[1].op == "BVV":
+                    return -spoffset_expr.args[1].args[0] & ((1 << spoffset_expr.size()) - 1)
         return None
 
 

angr/utils/endness.py

@@ -0,0 +1,17 @@
+from ailment.expression import Const
+
+
+def ail_const_to_be(expr: Const, endness: str) -> Const:
+    if endness == "Iend_LE" and expr.size > 1:
+        # reverse the expression
+        v = expr.value
+        lst = []
+        while len(lst) < expr.size:
+            lst.append(v & 0xFF)
+            v >>= 8
+        v = 0
+        for elem in lst:
+            v <<= 8
+            v += elem
+        return Const(expr.idx, None, v, expr.bits, **expr.tags)
+    return expr

{angr-9.2.109.dist-info → angr-9.2.111.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: angr
-Version: 9.2.109
+Version: 9.2.111
 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
@@ -15,13 +15,13 @@ Description-Content-Type: text/markdown
 License-File: LICENSE
 Requires-Dist: CppHeaderParser
 Requires-Dist: GitPython
-Requires-Dist: ailment ==9.2.109
-Requires-Dist: archinfo ==9.2.109
+Requires-Dist: ailment ==9.2.111
+Requires-Dist: archinfo ==9.2.111
 Requires-Dist: cachetools
 Requires-Dist: capstone ==5.0.0.post1
 Requires-Dist: cffi >=1.14.0
-Requires-Dist: claripy ==9.2.109
-Requires-Dist: cle ==9.2.109
+Requires-Dist: claripy ==9.2.111
+Requires-Dist: cle ==9.2.111
 Requires-Dist: dpkt
 Requires-Dist: itanium-demangler
 Requires-Dist: mulpyplexer
@@ -31,7 +31,7 @@ Requires-Dist: protobuf >=3.19.0
 Requires-Dist: psutil
 Requires-Dist: pycparser >=2.18
 Requires-Dist: pyformlang
-Requires-Dist: pyvex ==9.2.109
+Requires-Dist: pyvex ==9.2.111
 Requires-Dist: rich >=13.1.0
 Requires-Dist: rpyc
 Requires-Dist: sortedcontainers

{angr-9.2.109.dist-info → angr-9.2.111.dist-info}/RECORD

@@ -1,4 +1,4 @@
-angr/__init__.py,sha256=ZbR88OEoedUzwQt3SxuXOskW0xn2fDW6Aa9sxhOSUAc,3708
+angr/__init__.py,sha256=Kf0h-gf3w0Msnfqn-ZlTg2_pLo9i_vygjYlrf1-vibA,3708
 angr/__main__.py,sha256=kaO56Te6h73SM94BVtASF00q5QbBbC3eBs9poVc9sVI,1887
 angr/annocfg.py,sha256=1tnBfxgLJh9I6Brm1JDdsWLHGmCQYdD6PTC_bFTOMrg,10775
 angr/blade.py,sha256=B8QXVQ93jz1YCIlb-dZLeBqYmVFdMXI5GleP1Wnxjrw,15519
@@ -97,7 +97,7 @@ angr/analyses/decompiler/block_simplifier.py,sha256=78vfpaG13JWCxijDrp3Q4wyiEw7h
 angr/analyses/decompiler/call_counter.py,sha256=V3TIaSvLUy9vLEWErnvlCS--_ubGWQAeU0tqq6XYeOU,1205
 angr/analyses/decompiler/callsite_maker.py,sha256=GUgUkSsOznUaTIB9PUoBFyWJp9WkH4T8jf5xBIE5p9M,15909
 angr/analyses/decompiler/clinic.py,sha256=81gi7DBCaZy-xK_TZGrApUEz00y756V4ZKVAHtugmwk,95748
-angr/analyses/decompiler/condition_processor.py,sha256=L4piCxmoD3xZHQNSZqgj67WBGhljW3bjUii_Nirugm0,49891
+angr/analyses/decompiler/condition_processor.py,sha256=dEJIc3RYbrn_JIX0wYGH332VxTld0OVMYTTa5wCqFwg,49847
 angr/analyses/decompiler/decompilation_cache.py,sha256=NKbvKYZOe7791udwdf70tq9hJe79GMS6M1jaDJC8lSQ,1130
 angr/analyses/decompiler/decompilation_options.py,sha256=FMfcQ0aFDMPW9d0sYpqCwrOVYoq75YkExAvR6CjZCt4,8224
 angr/analyses/decompiler/decompiler.py,sha256=152EWqKPC2J_JcC3_rnJPNL9iDbFTm-AXamm3hjzfFE,22253
@@ -168,9 +168,9 @@ angr/analyses/decompiler/peephole_optimizations/conv_a_sub0_shr_and.py,sha256=vz
 angr/analyses/decompiler/peephole_optimizations/conv_shl_shr.py,sha256=0IHIk7uxIC70140k3VcXlnx4QcunAeoETXF1ZgJi2Pk,2070
 angr/analyses/decompiler/peephole_optimizations/eager_eval.py,sha256=3Ak_Xb5r9DhYFKPPE1pIOtpnxNOsDsWgI_ld7g0N8H4,10207
 angr/analyses/decompiler/peephole_optimizations/extended_byte_and_mask.py,sha256=ymP9tDU4NipGOdFWsmLHrR6dKVcEFiaTgM1-L_dfmOM,2015
-angr/analyses/decompiler/peephole_optimizations/inlined_strcpy.py,sha256=LZZg5J_ebLjycJHmYsLzQfDijtm431Usu1cwQOV7_5M,5694
+angr/analyses/decompiler/peephole_optimizations/inlined_strcpy.py,sha256=31xruAOQ0gtySg6xQiuZCPeBoH9JaIxLv3aeyXyB6wY,5772
 angr/analyses/decompiler/peephole_optimizations/inlined_strcpy_consolidation.py,sha256=xyiXyjOJ0NWgnTcN8ij3i7w997LGmw1ECnKh1z6F73k,4632
-angr/analyses/decompiler/peephole_optimizations/inlined_wstrcpy.py,sha256=ZZ3tY1-Uba0IY9A4be97EbMrmqQHimqMbntgmCzNgx0,6226
+angr/analyses/decompiler/peephole_optimizations/inlined_wstrcpy.py,sha256=FyxnWgM3EW2Zy7JXTMUS9fturIxlwk6zV5-OrY6VO2A,6304
 angr/analyses/decompiler/peephole_optimizations/invert_negated_logical_conjuction_disjunction.py,sha256=a0IDp0kKBrPwhDVejPFhcNseZdprF_5EZRZs7KTR4gA,2084
 angr/analyses/decompiler/peephole_optimizations/one_sub_bool.py,sha256=kW8AbWfMqFzI1CVFp79TFX60IZxaQhRG8XUckuc-vGI,1136
 angr/analyses/decompiler/peephole_optimizations/remove_cascading_conversions.py,sha256=3a1ZoTq66HTU68y5DCC2sLvItPmqF_Kv05uvOacxsRM,591
@@ -337,7 +337,7 @@ angr/engines/syscall.py,sha256=LNMC3zyis3OiWC7_8Zn1blMw1EDib5FjUqepXlaWDTI,2177
 angr/engines/unicorn.py,sha256=gf7LjjWyaaujqSuCq3d-BGm8t5sdZjzsJeBevGfdiLw,24447
 angr/engines/light/__init__.py,sha256=j9vH2fU9MaNVQ8NT3Ek3Tj2zkGlVxlKyzia8zVTofYs,186
 angr/engines/light/data.py,sha256=jZBAJxor2zg5m4s63joSrjUs8H-OeHBZiqZmc3dqEQQ,23132
-angr/engines/light/engine.py,sha256=3wnoEdGbnoipaG9I1gkHQ5SVD_4KTLHVpx6FuaQ9piI,45095
+angr/engines/light/engine.py,sha256=4JNJO9kOkINMRwEyRpKKotXPEzMBJrExJk3Nr1CeRNE,45469
 angr/engines/pcode/__init__.py,sha256=UwMEwXQvHXIIgedJn2ZOvBBEgfHg2rfREBSpcTSXCZ4,83
 angr/engines/pcode/behavior.py,sha256=BuzA_nX_ebuFiGgup7aJ-bgD9KmUR2dPSGUM51MKxOM,29290
 angr/engines/pcode/cc.py,sha256=CUKkivYUddt8McAYLwAPO5btzDHwO65yBQvWs3CV9dU,3085
@@ -489,7 +489,7 @@ angr/knowledge_plugins/xrefs/__init__.py,sha256=-5A2h048WTRu6Et7q7bqlc-AyBXNuJ9A
 angr/knowledge_plugins/xrefs/xref.py,sha256=1BMphrr8iViDtVWPXWidmY1_uNmw9LRvEwwZLt3Zqw8,4907
 angr/knowledge_plugins/xrefs/xref_manager.py,sha256=a4uvTJkdM0PQIuyYcd7t76IddrrVjPGe9SZrRaqp2II,3980
 angr/knowledge_plugins/xrefs/xref_types.py,sha256=VR3xLQQ-gUg25oX0OL3BJHyQRlZh2A8syBac9ZMS9n4,271
-angr/lib/angr_native.dll,sha256=Idyu6cwdRPaBTOvG_D7hh-OQjISoVd2CGGvQPCXodYA,19241984
+angr/lib/angr_native.dll,sha256=00Q3QZlb88519E_wp4Vz6eTpDtnMQl0ucCqZdjdE7jg,19241984
 angr/misc/__init__.py,sha256=Ct-Q6-c-Frdz5Ihkqmou3j_1jyJi8WJXlQxs-gPQg0Y,237
 angr/misc/ansi.py,sha256=m5RY65yyvluUJErkvCF4I4z1o5kXi2xb3Yuvt9bITCA,776
 angr/misc/autoimport.py,sha256=vSXclz6pss3lMecoT5_doX0SvORNmZPIvVyDm4je4HE,3419
@@ -1280,6 +1280,7 @@ angr/utils/algo.py,sha256=abkp6yy6FMqJSt0VfOpy5eSqWnheLLqOQ_kAAyhLXFc,1003
 angr/utils/constants.py,sha256=hxSJHIILsDP8ZOpw76BxMLu2Q_s2-rxTjACh7RL5wJs,209
 angr/utils/cowdict.py,sha256=GlvZxwYPJRPrmgbcB8Tay-q1KBNeJDU3oKwoxZ-aUFs,2160
 angr/utils/dynamic_dictlist.py,sha256=-85XkPEjVWhGDRteUsTXqOQ4StmySUuvpDzHaFN9Nn8,3073
+angr/utils/endness.py,sha256=gfeFyA-4SrBDlKfz5WjHVKxmpNUHKZ6caILLjrSiPy0,466
 angr/utils/enums_conv.py,sha256=YdnZzvuVc_BW1EuC4OtEo7LqB35XkPrXICyWox8Posg,2091
 angr/utils/env.py,sha256=wWlmjLp7CtafKItn7xq2RW3UzGGgxw58Wc8fSm3EZJQ,363
 angr/utils/formatting.py,sha256=tSnCLNIAWRhYyYF4HpNrlTlX6ny2taEEnxDUKDb1d-o,4207
@@ -1292,9 +1293,9 @@ angr/utils/mp.py,sha256=cv_NeysxLgyCdE-Euefnfv078ia5maHSnUn9f23zz88,1882
 angr/utils/segment_list.py,sha256=5nnuVtdZk9NS2y_xUBVA9khWPueP_zagNtPSjaoMHbA,20410
 angr/utils/timing.py,sha256=uOowCP8kotDrKDOjlAod-guBuYkAA8zEtiAwpdwMlIU,1334
 angr/utils/typing.py,sha256=pCjA7JZAzcvrk-iyIE2cRHc1G66AMSGEON3aFfjtPVc,431
-angr-9.2.109.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
-angr-9.2.109.dist-info/METADATA,sha256=3uQ9gbBHg3q4ftEM6NgjEi9emfuEgxVqkmj2jiPTNoQ,4822
-angr-9.2.109.dist-info/WHEEL,sha256=8m1SKzdsYjWZsz-lGvRX2DOnpfYT_FDdKlAjoei7FAc,97
-angr-9.2.109.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
-angr-9.2.109.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
-angr-9.2.109.dist-info/RECORD,,
+angr-9.2.111.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
+angr-9.2.111.dist-info/METADATA,sha256=AdfibFk8gO1qUCPt5-JCT9WLvObuKydbKVTE9GIrwLQ,4822
+angr-9.2.111.dist-info/WHEEL,sha256=HCBekDYvSbcke7r9H9NVZ4Qauq9vgcRvTniTe1vqLk0,97
+angr-9.2.111.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
+angr-9.2.111.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
+angr-9.2.111.dist-info/RECORD,,

{angr-9.2.109.dist-info → angr-9.2.111.dist-info}/WHEEL

@@ -1,5 +1,5 @@
 Wheel-Version: 1.0
-Generator: setuptools (70.2.0)
+Generator: setuptools (70.3.0)
 Root-Is-Purelib: true
 Tag: py3-none-win_amd64