angr 9.2.179__tar.gz → 9.2.180__tar.gz

{angr-9.2.179 → angr-9.2.180}/Cargo.lock

@@ -679,11 +679,9 @@ dependencies = [
 
 [[package]]
 name = "pyo3"
-version = "0.24.2"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e5203598f366b11a02b13aa20cab591229ff0a89fd121a308a5df751d5fc9219"
+version = "0.26.0"
+source = "git+https://github.com/pyo3/pyo3#254b29f0c63597a9ae6ba73ede79edb49d61a50c"
 dependencies = [
- "cfg-if",
  "indoc",
  "libc",
  "memoffset",
@@ -697,19 +695,16 @@ dependencies = [
 
 [[package]]
 name = "pyo3-build-config"
-version = "0.24.2"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "99636d423fa2ca130fa5acde3059308006d46f98caac629418e53f7ebb1e9999"
+version = "0.26.0"
+source = "git+https://github.com/pyo3/pyo3#254b29f0c63597a9ae6ba73ede79edb49d61a50c"
 dependencies = [
- "once_cell",
  "target-lexicon 0.13.2",
 ]
 
 [[package]]
 name = "pyo3-ffi"
-version = "0.24.2"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "78f9cf92ba9c409279bc3305b5409d90db2d2c22392d443a87df3a1adad59e33"
+version = "0.26.0"
+source = "git+https://github.com/pyo3/pyo3#254b29f0c63597a9ae6ba73ede79edb49d61a50c"
 dependencies = [
  "libc",
  "pyo3-build-config",
@@ -717,9 +712,8 @@ dependencies = [
 
 [[package]]
 name = "pyo3-macros"
-version = "0.24.2"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "0b999cb1a6ce21f9a6b147dcf1be9ffedf02e0043aec74dc390f3007047cecd9"
+version = "0.26.0"
+source = "git+https://github.com/pyo3/pyo3#254b29f0c63597a9ae6ba73ede79edb49d61a50c"
 dependencies = [
  "proc-macro2",
  "pyo3-macros-backend",
@@ -729,9 +723,8 @@ dependencies = [
 
 [[package]]
 name = "pyo3-macros-backend"
-version = "0.24.2"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "822ece1c7e1012745607d5cf0bcb2874769f0f7cb34c4cde03b9358eb9ef911a"
+version = "0.26.0"
+source = "git+https://github.com/pyo3/pyo3#254b29f0c63597a9ae6ba73ede79edb49d61a50c"
 dependencies = [
  "heck",
  "proc-macro2",

{angr-9.2.179 → angr-9.2.180}/PKG-INFO

@@ -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 → angr-9.2.180}/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-9.2.179 → angr-9.2.180}/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-9.2.179 → angr-9.2.180}/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-9.2.179 → angr-9.2.180}/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 → angr-9.2.180}/angr.egg-info/PKG-INFO

@@ -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 → angr-9.2.180}/angr.egg-info/requires.txt

@@ -1,11 +1,11 @@
 cxxheaderparser
 GitPython
-archinfo==9.2.179
+archinfo==9.2.180
 cachetools
 capstone==5.0.3
 cffi>=1.14.0
-claripy==9.2.179
-cle==9.2.179
+claripy==9.2.180
+cle==9.2.180
 msgspec
 mulpyplexer
 networkx!=2.8.1,>=2.0
@@ -15,7 +15,7 @@ pycparser>=2.18
 pydemumble
 pyformlang
 pypcode<4.0,>=3.2.1
-pyvex==9.2.179
+pyvex==9.2.180
 rich>=13.1.0
 sortedcontainers
 sympy

{angr-9.2.179 → angr-9.2.180}/native/angr/Cargo.toml

@@ -11,7 +11,7 @@ crate-type = ["cdylib"]
 icicle-fuzzing = { git = "https://github.com/icicle-emu/icicle-emu.git", rev = "4d7ed93254a20b7e5c16bd7b0c6b46db49e1c72e" }
 icicle-vm = { git = "https://github.com/icicle-emu/icicle-emu.git", rev = "4d7ed93254a20b7e5c16bd7b0c6b46db49e1c72e" }
 pcode = { git = "https://github.com/icicle-emu/icicle-emu.git", rev = "4d7ed93254a20b7e5c16bd7b0c6b46db49e1c72e" }
-pyo3 = { version = "0.24.2", features = ["extension-module", "py-clone", "abi3-py310"] }
+pyo3 = { git = "https://github.com/pyo3/pyo3", version = "0.26.0", features = ["py-clone", "abi3-py310"] }
 rangemap = "1.5.1"
 send_wrapper = "0.6.0"
 target-lexicon = "0.12.16"

{angr-9.2.179 → angr-9.2.180}/native/angr/src/icicle.rs

@@ -399,11 +399,11 @@ impl Icicle {
     }
 
     pub fn run(&mut self, py: Python) -> VmExit {
-        // By calling `py.allow_threads`, we allow Python to release the GIL and
+        // By calling `py.detach`, we allow Python to release the GIL and
         // allow other threads to run while the VM is executing. This allows
         // using multiple engines in parallel within a single Python process.
         let mut wrapped = SendWrapper::new(&mut self.vm);
-        py.allow_threads(|| (*wrapped).run().into())
+        py.detach(|| (*wrapped).run().into())
     }
 
     #[getter]

{angr-9.2.179 → angr-9.2.180}/pyproject.toml

@@ -1,5 +1,5 @@
 [build-system]
-requires = ["setuptools>=61.2", "setuptools-rust", "pyvex==9.2.179"]
+requires = ["setuptools>=61.2", "setuptools-rust", "pyvex==9.2.180"]
 build-backend = "setuptools.build_meta"
 
 [project]
@@ -18,12 +18,12 @@ requires-python = ">=3.10"
 dependencies = [
     "cxxheaderparser",
     "GitPython",
-    "archinfo==9.2.179",
+    "archinfo==9.2.180",
     "cachetools",
     "capstone==5.0.3",
     "cffi>=1.14.0",
-    "claripy==9.2.179",
-    "cle==9.2.179",
+    "claripy==9.2.180",
+    "cle==9.2.180",
     "msgspec",
     "mulpyplexer",
     "networkx!=2.8.1,>=2.0",
@@ -33,7 +33,7 @@ dependencies = [
     "pydemumble",
     "pyformlang",
     "pypcode>=3.2.1,<4.0",
-    "pyvex==9.2.179",
+    "pyvex==9.2.180",
     "rich>=13.1.0",
     "sortedcontainers",
     "sympy",
@@ -64,6 +64,7 @@ angr = "angr.__main__:main"
 dev = [
     "black>=25.1.0",
     "coverage>=7.10.7",
+    "gcovr>=8.4",
     "pytest>=8.3.5",
     "pytest-cov>=7.0.0",
     "pytest-durations>=1.4.0",