angr 9.2.179__cp310-abi3-macosx_10_12_x86_64.whl → 9.2.180__cp310-abi3-macosx_10_12_x86_64.whl

angr/__init__.py

@@ -2,7 +2,7 @@
 # pylint: disable=wrong-import-position
 from __future__ import annotations
 
-__version__ = "9.2.179"
+__version__ = "9.2.180"
 
 if bytes is str:
     raise Exception(

angr/ailment/converter_vex.py

@@ -55,7 +55,13 @@ class VEXExprConverter(Converter):
             except UnsupportedIROpError:
                 log.warning("VEXExprConverter: Unsupported IROp %s.", expr.op)
                 return DirtyExpression(
-                    manager.next_atom(), f"unsupported_{expr.op}", [], bits=expr.result_size(manager.tyenv)
+                    manager.next_atom(),
+                    f"unsupported_{expr.op}",
+                    [],
+                    bits=expr.result_size(manager.tyenv),
+                    ins_addr=manager.ins_addr,
+                    vex_block_addr=manager.block_addr,
+                    vex_stmt_idx=manager.vex_stmt_idx,
                 )
 
         log.warning("VEXExprConverter: Unsupported VEX expression of type %s.", type(expr))
@@ -64,7 +70,15 @@ class VEXExprConverter(Converter):
         except ValueError:
             # e.g., "ValueError: Type Ity_INVALID does not have size"
             bits = 0
-        return DirtyExpression(manager.next_atom(), f"unsupported_{type(expr)!s}", [], bits=bits)
+        return DirtyExpression(
+            manager.next_atom(),
+            f"unsupported_{type(expr)!s}",
+            [],
+            bits=bits,
+            ins_addr=manager.ins_addr,
+            vex_block_addr=manager.block_addr,
+            vex_stmt_idx=manager.vex_stmt_idx,
+        )
 
     @staticmethod
     def convert_list(exprs, manager):
@@ -479,8 +493,22 @@ class VEXStmtConverter(Converter):
         try:
             func = STATEMENT_MAPPINGS[type(stmt)]
         except KeyError:
-            dirty = DirtyExpression(manager.next_atom(), str(stmt), [], bits=0)
-            return DirtyStatement(idx, dirty, ins_addr=manager.ins_addr)
+            dirty = DirtyExpression(
+                manager.next_atom(),
+                str(stmt),
+                [],
+                bits=0,
+                ins_addr=manager.ins_addr,
+                vex_block_addr=manager.block_addr,
+                vex_stmt_idx=manager.vex_stmt_idx,
+            )
+            return DirtyStatement(
+                idx,
+                dirty,
+                ins_addr=manager.ins_addr,
+                vex_block_addr=manager.block_addr,
+                vex_stmt_idx=manager.vex_stmt_idx,
+            )
 
         return func(idx, stmt, manager)
 
@@ -631,6 +659,9 @@ class VEXStmtConverter(Converter):
             maddr=maddr,
             msize=stmt.mSize,
             bits=bits,
+            ins_addr=manager.ins_addr,
+            vex_block_addr=manager.block_addr,
+            vex_stmt_idx=manager.vex_stmt_idx,
         )
 
         if stmt.tmp == 0xFFFFFFFF:

angr/analyses/decompiler/peephole_optimizations/cas_intrinsics.py

@@ -133,7 +133,7 @@ class CASIntrinsics(PeepholeOptimizationMultiStmtBase):
                         ins_addr=cas_stmt.ins_addr,
                     )
 
-                assignment_dst = cas_stmt.expd_lo
+                assignment_dst = cas_stmt.old_lo
                 stmt = Assignment(cas_stmt.idx, assignment_dst, call_expr, **cas_stmt.tags)  # type:ignore
                 return [stmt]
 
@@ -155,7 +155,7 @@ class CASIntrinsics(PeepholeOptimizationMultiStmtBase):
                 bits=cas_stmt.bits,
                 ins_addr=cas_stmt.ins_addr,
             )
-            assignment_dst = cas_stmt.expd_lo
+            assignment_dst = cas_stmt.old_lo
             stmt = Assignment(cas_stmt.idx, assignment_dst, call_expr, **cas_stmt.tags)  # type:ignore
             return [stmt, next_stmt]
 

angr/analyses/decompiler/ssailification/rewriting.py

@@ -188,7 +188,7 @@ class RewritingAnalysis(ForwardAnalysis[RewritingState, ailment.Block, object, o
     def _reg_predicate(self, node_: Block, *, reg_offset: int, reg_size: int) -> tuple[bool, Any]:
         out_state: RewritingState = (
             self.head_controlled_loop_outstates[(node_.addr, node_.idx)]
-            if is_head_controlled_loop_block(node_)
+            if is_head_controlled_loop_block(node_) and (node_.addr, node_.idx) in self.head_controlled_loop_outstates
             else self.out_states[(node_.addr, node_.idx)]
         )
         if reg_offset in out_state.registers and reg_size in out_state.registers[reg_offset]:

{angr-9.2.179.dist-info → angr-9.2.180.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: angr
-Version: 9.2.179
+Version: 9.2.180
 Summary: A multi-architecture binary analysis toolkit, with the ability to perform dynamic symbolic execution and various static analyses on binaries
 License: BSD-2-Clause
 Project-URL: Homepage, https://angr.io/
@@ -16,12 +16,12 @@ Description-Content-Type: text/markdown
 License-File: LICENSE
 Requires-Dist: cxxheaderparser
 Requires-Dist: GitPython
-Requires-Dist: archinfo==9.2.179
+Requires-Dist: archinfo==9.2.180
 Requires-Dist: cachetools
 Requires-Dist: capstone==5.0.3
 Requires-Dist: cffi>=1.14.0
-Requires-Dist: claripy==9.2.179
-Requires-Dist: cle==9.2.179
+Requires-Dist: claripy==9.2.180
+Requires-Dist: cle==9.2.180
 Requires-Dist: msgspec
 Requires-Dist: mulpyplexer
 Requires-Dist: networkx!=2.8.1,>=2.0
@@ -31,7 +31,7 @@ Requires-Dist: pycparser>=2.18
 Requires-Dist: pydemumble
 Requires-Dist: pyformlang
 Requires-Dist: pypcode<4.0,>=3.2.1
-Requires-Dist: pyvex==9.2.179
+Requires-Dist: pyvex==9.2.180
 Requires-Dist: rich>=13.1.0
 Requires-Dist: sortedcontainers
 Requires-Dist: sympy

{angr-9.2.179.dist-info → angr-9.2.180.dist-info}/RECORD

@@ -1,23 +1,23 @@
-angr-9.2.179.dist-info/RECORD,,
-angr-9.2.179.dist-info/WHEEL,sha256=wTy_3c4XcOAcqIE15cpeRqeJHiJiSBH-pmU5VVW1EO8,137
-angr-9.2.179.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
-angr-9.2.179.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
-angr-9.2.179.dist-info/METADATA,sha256=9ENjHL48rW56SG7vaoojQYa8eYERuPqlGL2hdtBdVxw,4445
-angr-9.2.179.dist-info/licenses/LICENSE,sha256=PmWf0IlSz6Jjp9n7nyyBQA79Q5C2ma68LRykY1V3GF0,1456
+angr-9.2.180.dist-info/RECORD,,
+angr-9.2.180.dist-info/WHEEL,sha256=wTy_3c4XcOAcqIE15cpeRqeJHiJiSBH-pmU5VVW1EO8,137
+angr-9.2.180.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
+angr-9.2.180.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
+angr-9.2.180.dist-info/METADATA,sha256=FrAAYo2drnFnR8J3PO9dqr21gCdCMF1lc5NSMAwVOsc,4445
+angr-9.2.180.dist-info/licenses/LICENSE,sha256=PmWf0IlSz6Jjp9n7nyyBQA79Q5C2ma68LRykY1V3GF0,1456
 angr/vaults.py,sha256=D_gkDegCyPlZMKGC5E8zINYAaZfSXNWbmhX0rXCYpvM,9718
-angr/unicornlib.dylib,sha256=bDjwovPcfFzresMp4XLYCnDvL9gtEBMpfsoDKXkcve0,264656
+angr/unicornlib.dylib,sha256=XD40MRGV3vqkz2LO-U8yStGieVatX6Fu3nz7rTeKk3s,264656
 angr/state_hierarchy.py,sha256=qDQCUGXmQm3vOxE3CSoiqTH4OAFFOWZZt9BLhNpeOhA,8484
 angr/callable.py,sha256=j9Orwd4H4fPqOYylcEt5GuLGPV7ZOqyA_OYO2bp5PAA,6437
 angr/sim_type.py,sha256=8AJjzu_hp4GvgXogz8KnLiPXSnxBGUy-D3G8w4wEicQ,144714
 angr/knowledge_base.py,sha256=hRoSLuLaOXmddTSF9FN5TVs7liftpBGq_IICz5AaYBk,4533
 angr/emulator.py,sha256=aZXi8-jQ_9uelN2zvlecR2ZYXPey4PHyju6yVJIWDAk,4708
-angr/rustylib.abi3.so,sha256=V_aOLyPW2bFBRU1cFsfq5C_jSyNyNGDeYc3rcksh-iU,5259756
+angr/rustylib.abi3.so,sha256=aJ6AvYmhjgyrtyBZfWJyVCrAIbVeMohkWZ_knGWus4I,5235576
 angr/codenode.py,sha256=hCrQRp4Ebb2X6JicNmY1PXo3_Pm8GDxVivVW0Pwe84k,3918
 angr/graph_utils.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 angr/sim_manager.py,sha256=w7yTfWR-P9yoN5x85eeiNpj9dTrnjpJ3o5aoFpDAPnc,39396
 angr/serializable.py,sha256=l908phj_KcqopEEL_oCufbP_H6cm3Wc9v-5xdux1-6g,1533
 angr/code_location.py,sha256=kXNJDEMge9VRHadrK4E6HQ8wDdCaHSXNqyAZuHDEGuM,5397
-angr/__init__.py,sha256=ykr03sxyCVZ3pYsAMuCKnrK8sqlHswO3PLzQaUNZ9FY,9246
+angr/__init__.py,sha256=N3ua9-w9Q01-Id9XrkKAweYGX66vX0iiOx_JPukGv8Q,9246
 angr/blade.py,sha256=OGGW-oggqI9_LvgZhiQuh9Ktkvf3vhRBmH0XviNyZ6o,15801
 angr/factory.py,sha256=PPNWvTiWaIgzxzyoTr8ObSF-TXp1hCdbY2e-0xBePNc,17815
 angr/sim_state_options.py,sha256=dsMY3UefvL7yZKXloubMhzUET3N2Crw-Fpw2Vd1ouZQ,12468
@@ -690,7 +690,7 @@ angr/procedures/win32_kernel/ExFreePoolWithTag.py,sha256=ok_CG6yILlPGZzg-VvBxWMX
 angr/procedures/java_io/write.py,sha256=zYTD5OYySQEfj4Z8t54AEoM1gUR5AXdeCa6AmNabwXk,662
 angr/procedures/java_io/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 angr/procedures/java_io/read.py,sha256=PWQjyUErAHcoL5JYG4IhSqeRc5s30IeHM2mpsWdBqgI,384
-angr/ailment/converter_vex.py,sha256=yIe0hFwuc_2mHVWw_F31u7hDPBQ-7VwuPXaQyNmqfXo,28159
+angr/ailment/converter_vex.py,sha256=PSZvU83HCtRpVax87QUJXWiAshuZ02pNjyU9TbyJ8iU,29091
 angr/ailment/converter_common.py,sha256=6MxxI3PRZBlFlIP2uZhQAa8vDvJr0nMDd-QnTbPLn6o,180
 angr/ailment/tagged_object.py,sha256=48xIMC5WKebEpA12Zq6dQz3evvKxT3ULEu2cPdw9w-Y,1566
 angr/ailment/statement.py,sha256=3JEhg-JDRrNjaeHFgO-liEIrZRW6v5sIsOqcGHiuM3A,30472
@@ -1235,7 +1235,7 @@ angr/analyses/decompiler/structured_codegen/dwarf_import.py,sha256=J6V40RuIyKXN7
 angr/analyses/decompiler/structured_codegen/c.py,sha256=fgkU26x8sNFZij1h7GTkFGlQYG6oKn5L9tFBVQa8j0c,152371
 angr/analyses/decompiler/structured_codegen/dummy.py,sha256=JZLeovXE-8C-unp2hbejxCG30l-yCx4sWFh7JMF_iRM,570
 angr/analyses/decompiler/structured_codegen/base.py,sha256=mb5d5iQO1N2wMl7QySvfHemXM-e0yQBhjtlmnLsVSgE,5134
-angr/analyses/decompiler/ssailification/rewriting.py,sha256=aIYuFGlroEXqxaf6lZCfodLD2B53Sb8UJgl2nNb4lg8,15076
+angr/analyses/decompiler/ssailification/rewriting.py,sha256=opMP9ONIx-cQ26PSyXO_NR9MTM_LaH-MObFk8C2uXto,15143
 angr/analyses/decompiler/ssailification/traversal_engine.py,sha256=MdmNKWN2LVQ9fH7O-E4yNn5oXUS2p2u1qHM_OayPJ-k,11466
 angr/analyses/decompiler/ssailification/traversal.py,sha256=rvFatMUpQQMbENCsPoPogAbBv0AAaCDcKiNvh6GOVeQ,4027
 angr/analyses/decompiler/ssailification/__init__.py,sha256=zcHoI7e2El2RSU_bHTpQRd1XRLHOfFScG6f3cm5y_lQ,108
@@ -1271,7 +1271,7 @@ angr/analyses/decompiler/region_simplifiers/cascading_ifs.py,sha256=kPWajH8__ap-
 angr/analyses/decompiler/region_simplifiers/expr_folding.py,sha256=OkKG5u5EONaQ5IOO87ZF04Y3Xsha3dzgNJsSJ1C6cHE,32822
 angr/analyses/decompiler/peephole_optimizations/basepointeroffset_and_mask.py,sha256=2Tb4zGnFA5hZH8oI6t1hoRstGDmOBsOoQxf6fU5Ct7A,1105
 angr/analyses/decompiler/peephole_optimizations/tidy_stack_addr.py,sha256=8gPWhFTcezgO7pZ_v0pxR7pweds4_GrrY82ur6Nrlf8,4796
-angr/analyses/decompiler/peephole_optimizations/cas_intrinsics.py,sha256=lzlyhe1RP020ezYN77QRFu5p7zNaH4XSMkpBhxRP7ms,7959
+angr/analyses/decompiler/peephole_optimizations/cas_intrinsics.py,sha256=xfLNvquH6x_-NtEHJpbBJBPTIcBQW6-JpDmcHeuRTxA,7957
 angr/analyses/decompiler/peephole_optimizations/remove_redundant_nots.py,sha256=V5Vm1zUGjsauyOYXbUgDfZEgmChLbY8wnvmcRbfdMk0,1278
 angr/analyses/decompiler/peephole_optimizations/bool_expr_xor_1.py,sha256=vLXt0ekjRep4SgaNq1wyxVkBTzOMTa03d3rgkjUOcUg,995
 angr/analyses/decompiler/peephole_optimizations/bswap.py,sha256=fXV_a58W2X30KCanYeSHdZ2yPcfDlyZq_OkYNMkglrg,6420