angr 9.2.106__py3-none-macosx_10_9_x86_64.whl → 9.2.107__py3-none-macosx_10_9_x86_64.whl

angr/__init__.py

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

angr/engines/pcode/lifter.py

@@ -895,10 +895,6 @@ class PcodeBasicBlockLifter:
             last_decode_addr = irsb.addr
             last_imark_idx = 0
             for op_idx, op in enumerate(irsb._ops):
-                # OpCode space begins with control ops ending with RETURN. Quickly filter non-control instructions.
-                if op.opcode > pypcode.OpCode.RETURN:
-                    continue
-
                 if op.opcode == pypcode.OpCode.IMARK:
                     irsb._instruction_addresses.extend([vn.offset for vn in op.inputs])
                     last_decode_addr = op.inputs[0].offset

angr/procedures/stubs/format_parser.py

@@ -253,18 +253,16 @@ class FormatString:
                         max_sym_bytes = fmt_spec.length_spec
 
                     # TODO: look for limits on other characters which scanf is sensitive to, '\x00', '\x20'
-                    _, _, match_indices = region.find(
-                        position, self.parser.state.solver.BVV(b"\n"), max_str_len, max_symbolic_bytes=max_sym_bytes
+                    result, _, _ = region.find(
+                        position,
+                        self.parser.state.solver.BVV(b"\n"),
+                        max_str_len,
+                        max_symbolic_bytes=max_sym_bytes,
+                        default=self.parser.state.solver.BVV(position + max_str_len, 64),
                     )
 
-                    if not match_indices:
-                        # if no newline is found, mm is position + max_strlen
-                        mm = position + max_str_len
-                        # we're just going to concretize the length, load will do this anyways
-                        length = self.parser.state.solver.max_int(mm - position)
-                    else:
-                        # a newline is found, or a max length is specified with the specifier
-                        length = max(match_indices)
+                    # concretize the length
+                    length = self.parser.state.solver.max_int(result - position)
                     src_str = region.load(position, length)
 
                     # TODO all of these should be delimiters we search for above

{angr-9.2.106.dist-info → angr-9.2.107.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: angr
-Version: 9.2.106
+Version: 9.2.107
 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.106
-Requires-Dist: archinfo ==9.2.106
+Requires-Dist: ailment ==9.2.107
+Requires-Dist: archinfo ==9.2.107
 Requires-Dist: cachetools
 Requires-Dist: capstone ==5.0.0.post1
 Requires-Dist: cffi >=1.14.0
-Requires-Dist: claripy ==9.2.106
-Requires-Dist: cle ==9.2.106
+Requires-Dist: claripy ==9.2.107
+Requires-Dist: cle ==9.2.107
 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.106
+Requires-Dist: pyvex ==9.2.107
 Requires-Dist: rich >=13.1.0
 Requires-Dist: rpyc
 Requires-Dist: sortedcontainers
@@ -47,10 +47,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.1.0 ; extra == 'pcode'
+Requires-Dist: pypcode ~=3.0 ; extra == 'pcode'
 Provides-Extra: testing
 Requires-Dist: keystone-engine ; extra == 'testing'
-Requires-Dist: pypcode ~=2.1.0 ; extra == 'testing'
+Requires-Dist: pypcode ~=3.0 ; extra == 'testing'
 Requires-Dist: pytest ; extra == 'testing'
 Requires-Dist: pytest-split ; extra == 'testing'
 Requires-Dist: pytest-xdist ; extra == 'testing'

{angr-9.2.106.dist-info → angr-9.2.107.dist-info}/RECORD

@@ -1,4 +1,4 @@
-angr/__init__.py,sha256=gL2b7Kk3NQWtdo4OpnsfL_9d-Q4YkWSR4qhfQLbgwAA,3993
+angr/__init__.py,sha256=R0l86rWUgejEZSvJjbSX_yUG3S1XbpboqEWc5DN0fcg,3993
 angr/__main__.py,sha256=kaO56Te6h73SM94BVtASF00q5QbBbC3eBs9poVc9sVI,1887
 angr/annocfg.py,sha256=1tnBfxgLJh9I6Brm1JDdsWLHGmCQYdD6PTC_bFTOMrg,10775
 angr/blade.py,sha256=B8QXVQ93jz1YCIlb-dZLeBqYmVFdMXI5GleP1Wnxjrw,15519
@@ -343,7 +343,7 @@ angr/engines/pcode/behavior.py,sha256=BuzA_nX_ebuFiGgup7aJ-bgD9KmUR2dPSGUM51MKxO
 angr/engines/pcode/cc.py,sha256=CUKkivYUddt8McAYLwAPO5btzDHwO65yBQvWs3CV9dU,3085
 angr/engines/pcode/emulate.py,sha256=l4MUuUEJDcCihfKCy5_4S6GOG_rzd1DdYzTQ1ObZdgI,16715
 angr/engines/pcode/engine.py,sha256=WTiIXZ8moilS4BHU-nQSgMopOstLnuoTjXWHpLOKF98,10532
-angr/engines/pcode/lifter.py,sha256=978w9-4xWjIUDfnrAOA0AQtcz-La300uwOgaXH-AwHM,52142
+angr/engines/pcode/lifter.py,sha256=4y8kAIlqtb5xVL4gyyXZe74vTUXn9Bp6oMdOM_wNrWI,51942
 angr/engines/soot/__init__.py,sha256=TznVGXAtXWZQb7K3vgGXWalwHDuuJu9KkFvacG6rYhU,30
 angr/engines/soot/engine.py,sha256=vCcaW_QOSmK8XsO3qgvNbx303tTzEsf9dx_I2y1PjKU,17238
 angr/engines/soot/exceptions.py,sha256=Ta2qcX_NXRqst6OzoAaIZyzDuCqxhf-BEIBkzzID5Iw,221
@@ -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.dylib,sha256=vBZp5YlWqCR67Cizg1ztxNuHjpqPvgNgaY8VVXwkMhI,18604080
+angr/lib/angr_native.dylib,sha256=8wBVp7m6U2Ho3HU0btq1nqAjREbNStYzZSIq1PMwP-o,18604080
 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
@@ -1129,7 +1129,7 @@ angr/procedures/stubs/__init__.py,sha256=44m1-NIxNEwXtyCkYnHnH1jYw5Mp53ObHGzw1bT
 angr/procedures/stubs/b64_decode.py,sha256=baovh7-PURKxG0eks07cTX6_RO8gYw-UmqEgaHlf24w,342
 angr/procedures/stubs/caller.py,sha256=wT3A37gO0QBOKdsT12DpNz4zZMivFIwJtXr2oApJ8XI,343
 angr/procedures/stubs/crazy_scanf.py,sha256=CJe3qzTJEv_0AHmcl3gOxGwZOhV8o1z73fAMqIOiuJM,643
-angr/procedures/stubs/format_parser.py,sha256=IEyFcaxaW8TNJws5dtqtvbgmIkvM-Jktf5nQDiBvdLk,28180
+angr/procedures/stubs/format_parser.py,sha256=fbFkxcAbUrmoUMK5zCBngleVXReOvcFHsPCabip-pBo,27941
 angr/procedures/stubs/syscall_stub.py,sha256=ZURVeDuH06xX-eseAMQZCkYYRDxXx2USQSkGhOoAl5o,902
 angr/procedures/testing/__init__.py,sha256=mkl-uqerjl2KIlTiJDmE9WW9zE9sL2MQsYLHOfeoJh8,106
 angr/procedures/testing/manyargs.py,sha256=omzRwPCNqrBodw1nJ-alQh4v_82NHaJfr-1E5xCGQjU,100
@@ -1293,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.106.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
-angr-9.2.106.dist-info/METADATA,sha256=gpCdZNcXHHN8tC2-u2B68q0FzjcDW1bCCfc7cfGlNXU,4707
-angr-9.2.106.dist-info/WHEEL,sha256=YBuZgLbEquNCbbbQPlLFm_OOe1fPwf91V3LBhwgnks4,107
-angr-9.2.106.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
-angr-9.2.106.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
-angr-9.2.106.dist-info/RECORD,,
+angr-9.2.107.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
+angr-9.2.107.dist-info/METADATA,sha256=_gEn1iA1KJfNDSl9GKjBrAhN7mSwB_qABsgvByfyh5E,4703
+angr-9.2.107.dist-info/WHEEL,sha256=YBuZgLbEquNCbbbQPlLFm_OOe1fPwf91V3LBhwgnks4,107
+angr-9.2.107.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
+angr-9.2.107.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
+angr-9.2.107.dist-info/RECORD,,