angr 9.2.100__py3-none-win_amd64.whl → 9.2.102__py3-none-win_amd64.whl

angr/__init__.py

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

angr/analyses/cfg/cfg_base.py

@@ -2454,6 +2454,8 @@ class CFGBase(Analysis):
                     src_function.addr,
                     src_node,
                     dst_node,
+                    ins_addr=ins_addr,
+                    stmt_idx=stmt_idx,
                     to_function_addr=dst_function_addr,
                     is_exception=jumpkind == "Ijk_Exception",
                 )

angr/engines/pcode/cc.py

@@ -96,6 +96,8 @@ def register_pcode_arch_default_cc(arch: ArchPcode):
         # we have a bunch of manually specified mappings
         manual_cc_mapping = {
             "68000:BE:32:default": SimCCM68k,
+            "RISCV:LE:32:RV32G": SimCCRISCV,
+            "RISCV:LE:32:RV32GC": SimCCRISCV,
             "RISCV:LE:64:RV64G": SimCCRISCV,
             "RISCV:LE:64:RV64GC": SimCCRISCV,
             "sparc:BE:32:default": SimCCSPARC,

angr/knowledge_plugins/variables/variable_manager.py

@@ -207,7 +207,9 @@ class VariableManagerInternal(Serializable):
         unified_stack_variables = []
         unified_memory_variables = []
 
+        unified_variable_idents: Set[str] = set()
         for variable in self._unified_variables:
+            unified_variable_idents.add(variable.ident)
             if isinstance(variable, SimRegisterVariable):
                 unified_register_variables.append(variable.serialize_to_cmessage())
             elif isinstance(variable, SimStackVariable):
@@ -223,6 +225,14 @@ class VariableManagerInternal(Serializable):
 
         relations = []
         for variable, unified in self._variables_to_unified_variables.items():
+            if unified.ident not in unified_variable_idents:
+                l.error(
+                    "The unified variable %s is missing from the unified variables of function %#x. Please "
+                    "report it on GitHub.",
+                    unified.ident,
+                    self.func_addr,
+                )
+                continue
             relation = variables_pb2.Var2Unified()
             relation.var_ident = variable.ident
             relation.unified_var_ident = unified.ident
@@ -311,7 +321,14 @@ class VariableManagerInternal(Serializable):
 
         for var2unified in cmsg.var2unified:
             variable = variable_by_ident[var2unified.var_ident]
-            unified = unified_variable_by_ident[var2unified.unified_var_ident]
+            unified = unified_variable_by_ident.get(var2unified.unified_var_ident, None)
+            if unified is None:
+                l.warning(
+                    "Unified variable %s is not found in unified_variable_by_ident.", var2unified.unified_var_ident
+                )
+                # as a stop gap, we make the variable unify to itself
+                model._variables_to_unified_variables[variable] = variable
+                continue
             model._variables_to_unified_variables[variable] = unified
 
         for phi2var in cmsg.phi2var:

{angr-9.2.100.dist-info → angr-9.2.102.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: angr
-Version: 9.2.100
+Version: 9.2.102
 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
@@ -17,13 +17,13 @@ Description-Content-Type: text/markdown
 License-File: LICENSE
 Requires-Dist: CppHeaderParser
 Requires-Dist: GitPython
-Requires-Dist: ailment ==9.2.100
-Requires-Dist: archinfo ==9.2.100
+Requires-Dist: ailment ==9.2.102
+Requires-Dist: archinfo ==9.2.102
 Requires-Dist: cachetools
 Requires-Dist: capstone ==5.0.0.post1
 Requires-Dist: cffi >=1.14.0
-Requires-Dist: claripy ==9.2.100
-Requires-Dist: cle ==9.2.100
+Requires-Dist: claripy ==9.2.102
+Requires-Dist: cle ==9.2.102
 Requires-Dist: dpkt
 Requires-Dist: itanium-demangler
 Requires-Dist: mulpyplexer
@@ -33,7 +33,7 @@ Requires-Dist: protobuf >=3.19.0
 Requires-Dist: psutil
 Requires-Dist: pycparser >=2.18
 Requires-Dist: pyformlang
-Requires-Dist: pyvex ==9.2.100
+Requires-Dist: pyvex ==9.2.102
 Requires-Dist: rich >=13.1.0
 Requires-Dist: rpyc
 Requires-Dist: sortedcontainers
@@ -49,10 +49,10 @@ Requires-Dist: myst-parser ; extra == 'docs'
 Requires-Dist: sphinx ; extra == 'docs'
 Requires-Dist: sphinx-autodoc-typehints ; extra == 'docs'
 Provides-Extra: pcode
-Requires-Dist: pypcode ~=2.0 ; extra == 'pcode'
+Requires-Dist: pypcode ~=2.0.0 ; extra == 'pcode'
 Provides-Extra: testing
 Requires-Dist: keystone-engine ; extra == 'testing'
-Requires-Dist: pypcode ~=2.0 ; extra == 'testing'
+Requires-Dist: pypcode ~=2.0.0 ; extra == 'testing'
 Requires-Dist: pytest ; extra == 'testing'
 Requires-Dist: pytest-split ; extra == 'testing'
 Requires-Dist: pytest-xdist ; extra == 'testing'

{angr-9.2.100.dist-info → angr-9.2.102.dist-info}/RECORD

@@ -1,4 +1,4 @@
-angr/__init__.py,sha256=21woDHAvBdmFpvp0-Uih2rSDsQoo-aO8L5SSdvmowCE,3993
+angr/__init__.py,sha256=AUOGmfUfMizk7QJKCYvZkbX6UH8TKbi5R-6xlmJWG8A,3993
 angr/__main__.py,sha256=kaO56Te6h73SM94BVtASF00q5QbBbC3eBs9poVc9sVI,1887
 angr/annocfg.py,sha256=dK5JAdN4Ig_jgxTBZeZXwk3kAS4-IQUvE6T02GBZTDQ,10818
 angr/blade.py,sha256=B8QXVQ93jz1YCIlb-dZLeBqYmVFdMXI5GleP1Wnxjrw,15519
@@ -63,7 +63,7 @@ angr/analyses/cfg/__init__.py,sha256=DRCry4KO2k5VJLyfxD_O6dWAdi21IUoaN5TqCnukJJs
 angr/analyses/cfg/cfb.py,sha256=TqYdFau9ZH_m6cwkxbA35vDs2ES5rOFqfIuZi0lCBsQ,15450
 angr/analyses/cfg/cfg.py,sha256=1JpPGlqXXRFwE0tk26xjabT_-dq-kqAxMv7o6-DUhp4,3146
 angr/analyses/cfg/cfg_arch_options.py,sha256=YONHg6y-h6BCsBkJK9tuxb94DDfeOoy9CUS-LVyyDyg,3112
-angr/analyses/cfg/cfg_base.py,sha256=JOliBFWPDWiIJlV5IUxU2Uf7BjExUNcJCibIlOQKoTs,123056
+angr/analyses/cfg/cfg_base.py,sha256=rytyjMyPEEhT1H1CNL5amD6X7Me_HycPRUSOrDaBi2s,123134
 angr/analyses/cfg/cfg_emulated.py,sha256=Fi3rDN5ByxhO-H4Y7qn-3WZgBG12JGyvxcWmrD_FnFQ,152842
 angr/analyses/cfg/cfg_fast.py,sha256=2qcNkWihXV7M-KrOQv-j7B3m5okEe_7nIzgmZe09GHE,218261
 angr/analyses/cfg/cfg_fast_soot.py,sha256=eA_P-OY3gRRNj2BBgSPMsB_llGyFFCNW3VyGZ2uiMoM,26047
@@ -337,7 +337,7 @@ angr/engines/light/data.py,sha256=jZBAJxor2zg5m4s63joSrjUs8H-OeHBZiqZmc3dqEQQ,23
 angr/engines/light/engine.py,sha256=wL1OdFcu6nHBopFxLSMJSU1C2mwnC88BCVnwYME2XKY,45137
 angr/engines/pcode/__init__.py,sha256=UwMEwXQvHXIIgedJn2ZOvBBEgfHg2rfREBSpcTSXCZ4,83
 angr/engines/pcode/behavior.py,sha256=gwMFXQ3cibqchRHnRfiVzzzLIg2mgX-2XJlkD82p8J0,28720
-angr/engines/pcode/cc.py,sha256=lwMeO9Mg8L7-uxxPzYmu13n7YLNo-Sr3xxLk_-QHTOU,2994
+angr/engines/pcode/cc.py,sha256=CUKkivYUddt8McAYLwAPO5btzDHwO65yBQvWs3CV9dU,3085
 angr/engines/pcode/emulate.py,sha256=N8d6iQKSpX-Q8b4BurBWbpeqGePcAtdvE8x7-ojJzcQ,16718
 angr/engines/pcode/engine.py,sha256=RdZZeKF0kHq94uwtZ6DYl43UJXyAhSie9M2ChVcVT4Y,10551
 angr/engines/pcode/lifter.py,sha256=N1Ui-BBY3Y6KhuwjOwJSthm4EaxksglAvReCXQGNLu8,52362
@@ -480,12 +480,12 @@ angr/knowledge_plugins/sync/__init__.py,sha256=RN3y0UhYax-GdPyAhondMXEBuWIu-enHj
 angr/knowledge_plugins/sync/sync_controller.py,sha256=Len-odz6vq6ZhGsRxKH6dSRvjxUnca88XQbtdjdP6Us,9276
 angr/knowledge_plugins/variables/__init__.py,sha256=tmh_2i0X6Y41TkEgxHRQ4y-kVEGZnlDIpJZ_wUkCISI,60
 angr/knowledge_plugins/variables/variable_access.py,sha256=CtstTsBph7RCGoWTFsiaPLDMuXjKQAoQ8lgwVMESisA,3751
-angr/knowledge_plugins/variables/variable_manager.py,sha256=gm5guiCHTMJfGQFXRmO5VBAWoFC058fNsoziNpvMcZU,45603
+angr/knowledge_plugins/variables/variable_manager.py,sha256=DiJoq6cnGnyEAoC8HmzsvesCLRkPRopOiugHZBfY-mc,46435
 angr/knowledge_plugins/xrefs/__init__.py,sha256=-5A2h048WTRu6Et7q7bqlc-AyBXNuJ9AF9nE9zc3M4I,94
 angr/knowledge_plugins/xrefs/xref.py,sha256=w4wjDFl4xtJYOtJplp9s1AIX3wI1RE71po3ufh1M4aY,4963
 angr/knowledge_plugins/xrefs/xref_manager.py,sha256=OLHEmgwGbFYWhm6oMgglPQ8Fe7rAvKicFeyQoGqSylc,4009
 angr/knowledge_plugins/xrefs/xref_types.py,sha256=VR3xLQQ-gUg25oX0OL3BJHyQRlZh2A8syBac9ZMS9n4,271
-angr/lib/angr_native.dll,sha256=PbNXfzDx1iXUsdsxC8XgZZnMZCJY6-qIEeUqf4kVTkw,19217408
+angr/lib/angr_native.dll,sha256=mZaGMgMSUOKaAFz_BjkaVsgv1LOKMkBzKvZ8cb2Mp1c,19217408
 angr/misc/__init__.py,sha256=Ct-Q6-c-Frdz5Ihkqmou3j_1jyJi8WJXlQxs-gPQg0Y,237
 angr/misc/ansi.py,sha256=TKrx7d_MViChHh5RBR2VLufNrujTUioJWsZS5ugk8k4,807
 angr/misc/autoimport.py,sha256=K64D53xl3xUqBulXAyaypzqYRBjjm4HDn6TlJsBouKw,3426
@@ -1289,9 +1289,9 @@ angr/utils/mp.py,sha256=EPeBml7i1HNOg9OFvj-hoqaGJzKD4fKyM-mHWIaJ3Ko,1825
 angr/utils/segment_list.py,sha256=lhGy16YKKaD-F0JtWmjJ6a2RFcdTrKcLfPE9ILRVtCs,20431
 angr/utils/timing.py,sha256=uOowCP8kotDrKDOjlAod-guBuYkAA8zEtiAwpdwMlIU,1334
 angr/utils/typing.py,sha256=_I4dzZSh1_uRKQ3PpjXseA_CaJH6ru2yAxjICkJhfmI,417
-angr-9.2.100.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
-angr-9.2.100.dist-info/METADATA,sha256=HNEOh67lSEwerrYrBKE1-q7obv9vzQ_7uKaHNIyxj5Q,4923
-angr-9.2.100.dist-info/WHEEL,sha256=at4xwl6JdXdkZHxdo5ixTwJ7ENtVftSy2wqmsdmo_4U,98
-angr-9.2.100.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
-angr-9.2.100.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
-angr-9.2.100.dist-info/RECORD,,
+angr-9.2.102.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
+angr-9.2.102.dist-info/METADATA,sha256=cfvtd_0D44sXjEFqyP7UD-Fh1EmgHW6Wj657XvFdLJU,4927
+angr-9.2.102.dist-info/WHEEL,sha256=at4xwl6JdXdkZHxdo5ixTwJ7ENtVftSy2wqmsdmo_4U,98
+angr-9.2.102.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
+angr-9.2.102.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
+angr-9.2.102.dist-info/RECORD,,