angr 9.2.64__py3-none-manylinux2014_x86_64.whl → 9.2.66__py3-none-manylinux2014_x86_64.whl

angr/project.py

@@ -180,7 +180,7 @@ class Project:
             )
             raise Exception("Incompatible options for the project")
 
-        if self.concrete_target and self.arch.name not in ["X86", "AMD64", "ARMHF", "MIPS32"]:
+        if self.concrete_target and self.arch.name not in ["X86", "AMD64", "ARMHF", "ARMEL", "MIPS32"]:
             l.critical("Concrete execution does not support yet the selected architecture. Aborting.")
             raise Exception("Incompatible options for the project")
 

angr/sim_manager.py

@@ -164,6 +164,21 @@ class SimulationManager:
         except AttributeError:
             return SimulationManager._fetch_states(self, stash=item)
 
+    active: List[SimState]
+    stashed: List[SimState]
+    pruned: List[SimState]
+    unsat: List[SimState]
+    deadended: List[SimState]
+    unconstrained: List[SimState]
+    found: List[SimState]
+    one_active: SimState
+    one_stashed: SimState
+    one_pruned: SimState
+    one_unsat: SimState
+    one_deadended: SimState
+    one_unconstrained: SimState
+    one_found: SimState
+
     def __dir__(self):
         return (
             list(self.__dict__)

angr/sim_state.py

@@ -65,9 +65,9 @@ class SimState(PluginHub):
     # Type Annotations for default plugins to allow type inference
     solver: "SimSolver"
     posix: "SimSystemPosix"
-    registers: "MemoryMixin"
+    registers: "DefaultMemory"
     regs: "SimRegNameView"
-    memory: "MemoryMixin"
+    memory: "DefaultMemory"
     callstack: "CallStack"
     mem: "SimMemView"
     callstack: "CallStack"
@@ -995,7 +995,7 @@ from .errors import SimMergeError, SimValueError, SimStateError, SimSolverModeEr
 
 # Type imports for annotations
 if TYPE_CHECKING:
-    from .storage import MemoryMixin
+    from .storage import DefaultMemory
     from .state_plugins.solver import SimSolver
     from .state_plugins.posix import SimSystemPosix
     from .state_plugins.view import SimRegNameView, SimMemView

angr/storage/memory_mixins/paged_memory/pages/multi_values.py

@@ -1,7 +1,10 @@
-from typing import Dict, Optional, Set, Tuple, Iterator
+from typing import Dict, Optional, Set, Tuple, Iterator, Union
+import archinfo
 
 import claripy
 
+from angr.storage.memory_object import bv_slice
+
 
 class MultiValues:
     """
@@ -17,15 +20,26 @@ class MultiValues:
     )
 
     _single_value: Optional[claripy.ast.BV]
+    _values: Optional[Dict[int, Set[claripy.ast.BV]]]
 
-    def __init__(self, v: Optional[claripy.ast.BV] = None, offset_to_values=None):
+    def __init__(
+        self,
+        v: Union[claripy.ast.BV, "MultiValues", None, Dict[int, Set[claripy.ast.BV]]] = None,
+        offset_to_values=None,
+    ):
         if v is not None and offset_to_values is not None:
             raise TypeError("You cannot specify v and offset_to_values at the same time!")
 
-        self._single_value = v if v is not None else None
-        self._values: Optional[Dict[int, Set[claripy.ast.BV]]] = (
-            offset_to_values if offset_to_values is not None else None
+        self._single_value = (
+            None
+            if v is None
+            else v
+            if isinstance(v, claripy.ast.BV)
+            else v._single_value
+            if isinstance(v, MultiValues)
+            else None
         )
+        self._values = offset_to_values if offset_to_values is not None else v if isinstance(v, dict) else None
 
         # if only one value is passed in, assign it to self._single_value
         if self._values:
@@ -40,7 +54,16 @@ class MultiValues:
                     raise TypeError("Each value in offset_to_values must be a set!")
 
     def add_value(self, offset: int, value: claripy.ast.BV) -> None:
+        if len(value) == 0:
+            return
         if self._single_value is not None:
+            if len(self._single_value) == 0:
+                if offset == 0:
+                    self._single_value = value
+                else:
+                    self._single_value = None
+                    self._values = {offset: {value}}
+                return
             self._values = {0: {self._single_value}}
             self._single_value = None
 
@@ -100,7 +123,7 @@ class MultiValues:
                 for v in remaining_values:
                     self.add_value(offset, v)
 
-    def one_value(self) -> Optional[claripy.ast.BV]:
+    def one_value(self) -> Optional[claripy.ast.bv.BV]:
         if self._single_value is not None:
             return self._single_value
 
@@ -171,7 +194,7 @@ class MultiValues:
             return {0}
         return set() if not self._values else set(self._values.keys())
 
-    def values(self) -> Iterator[Set[claripy.ast.BV]]:
+    def values(self) -> Iterator[Set[claripy.ast.bv.BV]]:
         if self._single_value is not None:
             yield {self._single_value}
         else:
@@ -179,7 +202,7 @@ class MultiValues:
                 return
             yield from self._values.values()
 
-    def items(self) -> Iterator[Tuple[int, Set[claripy.ast.BV]]]:
+    def items(self) -> Iterator[Tuple[int, Set[claripy.ast.bv.BV]]]:
         if self._single_value is not None:
             yield 0, {self._single_value}
         else:
@@ -195,6 +218,31 @@ class MultiValues:
             return 0
         return len(self._values)
 
+    def extract(self, offset: int, length: int, endness: archinfo.Endness) -> "MultiValues":
+        end = offset + length
+        result = MultiValues(claripy.BVV(b""))
+        for obj_offset, values in self.items():
+            for value in values:
+                obj_length = len(value) // 8
+                slice_start = max(0, offset - obj_offset)
+                slice_end = min(obj_length, end - obj_offset)
+                sliced = bv_slice(value, slice_start, slice_end - slice_start, endness == archinfo.Endness.LE, 8)
+                if len(sliced):
+                    result.add_value(max(0, obj_offset - offset), sliced)
+
+        return result
+
+    def concat(self, other: Union["MultiValues", claripy.ast.BV, bytes]) -> "MultiValues":
+        if isinstance(other, bytes):
+            other = claripy.BVV(other)
+        if isinstance(other, claripy.ast.BV):
+            other = MultiValues(other)
+        result = MultiValues(self)
+        for k, v in other.items():
+            for v2 in v:
+                result.add_value(k, v2)
+        return result
+
     #
     # Private methods
     #

angr/storage/memory_object.py

@@ -148,7 +148,7 @@ class SimLabeledMemoryObject(SimMemoryObject):
         self.label = label
 
 
-def bv_slice(value, offset, size, rev, bw):
+def bv_slice(value: claripy.ast.BV, offset: int, size: int, rev: bool, bw: int) -> claripy.ast.BV:
     """
     Extremely cute utility to pretend you've serialized a value to stored bytes, sliced it a la python slicing, and then
     deserialized those bytes to an integer again.
@@ -176,4 +176,6 @@ def bv_slice(value, offset, size, rev, bw):
         return value
 
     bitstart = len(value) - offset * bw
+    if size == 0:
+        return claripy.BVV(b"")
     return value[bitstart - 1 : bitstart - size * bw]

angr/utils/typing.py

@@ -0,0 +1,16 @@
+from typing import TypeVar, Optional, Iterable
+
+_T = TypeVar("_T")
+
+
+def unwrap(thing: Optional[_T]) -> _T:
+    assert thing is not None, "Tried to unwrap a `None` value"
+    return thing
+
+
+def one(thing: Iterable[_T]) -> _T:
+    try:
+        (result,) = thing
+    except ValueError as e:
+        raise AssertionError("Tried to get only value of an iterable with some other number of items") from e
+    return result

{angr-9.2.64.dist-info → angr-9.2.66.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: angr
-Version: 9.2.64
+Version: 9.2.66
 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
@@ -16,13 +16,13 @@ Description-Content-Type: text/markdown
 License-File: LICENSE
 Requires-Dist: CppHeaderParser
 Requires-Dist: GitPython
-Requires-Dist: ailment ==9.2.64
-Requires-Dist: archinfo ==9.2.64
+Requires-Dist: ailment ==9.2.66
+Requires-Dist: archinfo ==9.2.66
 Requires-Dist: cachetools
-Requires-Dist: capstone !=5.0.0rc2,>=3.0.5rc2
+Requires-Dist: capstone ==5.0.0.post1
 Requires-Dist: cffi >=1.14.0
-Requires-Dist: claripy ==9.2.64
-Requires-Dist: cle ==9.2.64
+Requires-Dist: claripy ==9.2.66
+Requires-Dist: cle ==9.2.66
 Requires-Dist: dpkt
 Requires-Dist: itanium-demangler
 Requires-Dist: mulpyplexer
@@ -31,7 +31,7 @@ Requires-Dist: networkx !=2.8.1,>=2.0
 Requires-Dist: protobuf >=3.19.0
 Requires-Dist: psutil
 Requires-Dist: pycparser >=2.18
-Requires-Dist: pyvex ==9.2.64
+Requires-Dist: pyvex ==9.2.66
 Requires-Dist: rich >=13.1.0
 Requires-Dist: rpyc
 Requires-Dist: sortedcontainers
@@ -111,7 +111,7 @@ project.execute()
 # Quick Start
 
 - [Install Instructions](https://docs.angr.io/introductory-errata/install)
-- Documentation as [HTML](https://docs.angr.io/) and as a [Github repository](https://github.com/angr/angr-doc)
+- Documentation as [HTML](https://docs.angr.io/) and sources in the angr [Github repository](https://github.com/angr/angr/tree/master/docs)
 - Dive right in: [top-level-accessible methods](https://docs.angr.io/core-concepts/toplevel)
 - [Examples using angr to solve CTF challenges](https://docs.angr.io/examples).
 - [API Reference](https://angr.io/api-doc/)

{angr-9.2.64.dist-info → angr-9.2.66.dist-info}/RECORD

@@ -1,23 +1,23 @@
-angr/__init__.py,sha256=x_8c33SzIKkoDyGRwCKYa8ExeSruAFkuKjr4BDfudwA,2800
+angr/__init__.py,sha256=jZ7J_w9rxQK9DXdqVtnRFMKOIBAJpYuccC5KpQIjItk,3821
 angr/annocfg.py,sha256=dK5JAdN4Ig_jgxTBZeZXwk3kAS4-IQUvE6T02GBZTDQ,10818
 angr/blade.py,sha256=1f5cqw1w6mKtYszN2-5QMxaoP_bbqpIaVlE7Vpf8yjc,15161
 angr/block.py,sha256=RXro1XdUTztfPL2r62m2YA1XTNe7bP0lkBUDYzz_FyE,14371
 angr/callable.py,sha256=p98KlOijfkcGnUx1C-lNt-R5ncYF4md6oxC7aBKc8Ws,5513
-angr/calling_conventions.py,sha256=RiJO0pz7EImjZA4wJzQ4M_Ez8d26QTs-d2RXbFLzgQo,88701
-angr/code_location.py,sha256=_EXS1uAEkoOKBoxtvxAOluLsbKkcjyAWnCnviHdBK7w,4720
+angr/calling_conventions.py,sha256=VGW33W7cbnrV0rPxRLVPjfwXPmhPvvQcqSsBw86HDeE,88751
+angr/code_location.py,sha256=ow0Z8OF8FNBPZs4PUmRej_5aHaKTmUIanYPro3iHAMs,5476
 angr/codenode.py,sha256=uF9iObkowp87iBZimrpNl-JSr7vQanhL94dWESnw1Ks,3759
 angr/errors.py,sha256=uYZEr2kYrKeylLIkrfNOtLy68sA0R3OJ9CD77Ucg4NQ,8191
 angr/factory.py,sha256=rHwRkt47EeJW2tsL9aIq_NjantEJwCsqdd34mg2HmVk,17141
 angr/graph_utils.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 angr/keyed_region.py,sha256=vgaJ7sUkUeGfXY-dRcRl40qNtB-JDbIWaL7xRdcDGdQ,17363
-angr/project.py,sha256=2Wi1VBGb94EQl8DeGi5cAE1_joF17O-kt5R0FFhHkw8,37023
+angr/project.py,sha256=JkachB9bfKg3uLnleqb2E2Yjbu35Dts4auM0doTPKHw,37032
 angr/py.typed,sha256=SQuN8RfR7Scqb98Wf7vJndZle4ROvVL1kp6l5M7EpmY,7
 angr/serializable.py,sha256=6cljvzAqFwsLqFu9ouCno7hMpgstha5-8C7RyWNCRXc,1502
 angr/service.py,sha256=9R50bFaCf6zjxybiEIVIkODSVCsE2VcTul_KjjsjaGU,1102
-angr/sim_manager.py,sha256=NbnjwQ_xJ50YR4yW8eLtxGTxmEtp4gMRwf2_NBoWsUM,38917
+angr/sim_manager.py,sha256=b7saPxVQmXInT4PmEUVHIV-Fuj1X1c8rxiCy9AIBiaY,39300
 angr/sim_options.py,sha256=OuT01xS_F3ifBD9MAfZmNCnfjtTg0HulZlrKcs1LNSY,18057
 angr/sim_procedure.py,sha256=uM4poyQYkVy_zlJqgyM_CbtVcDRbSsyZ1Z50i4yFwNw,25822
-angr/sim_state.py,sha256=BxL2lvo4bWmen5PKs1TegedOgnM8EFBgDJ-rsZf-XkE,37869
+angr/sim_state.py,sha256=--Ou3Pprhu-iPGWhQV6wfcEH6XW-IPfo9c-MquRgHoQ,37875
 angr/sim_state_options.py,sha256=lfP7ygngjGe0AGV5rkE24tvBazJBZG-RTdrKj4rL9XE,12530
 angr/sim_type.py,sha256=71FRCbPM1sl0d-Wp7pzQeNsMC0nVE7wggoRa7YloeTM,115733
 angr/sim_variable.py,sha256=GhlHsMknbMs6OWfI0CM0VUMKlk16irBzPloSk7S8HuI,17235
@@ -32,7 +32,7 @@ angr/analyses/binary_optimizer.py,sha256=uXrvQ1pVKev9o0aqnuqz7Mbo20vMoZogJpvrjdj
 angr/analyses/bindiff.py,sha256=aFFfp4zHJqYGFp2ge-MBt7q2k1DFZb9VD1zC_cxFMmE,51815
 angr/analyses/boyscout.py,sha256=BFlxz4o8mpFXDiObd_x_9ObGvgBeh-zlxcC-_YT2wHs,2448
 angr/analyses/callee_cleanup_finder.py,sha256=gWeXZNM1wFYz6v2Fgy_0DlJSx53Zkf2M5lgvIGARCm8,2835
-angr/analyses/calling_convention.py,sha256=jvKlOVfPY7U-TwZC9Yw0Jlda1m3eksU5HYVq1MqSpM8,36523
+angr/analyses/calling_convention.py,sha256=8w9xk639qECs-eFGdt_1vBjt_dof517Mgc_GCohUG4U,36481
 angr/analyses/cdg.py,sha256=OAnsjM1MgWXEToyOprxyWPTsn3BA_HBnrCXllB0h3h0,6361
 angr/analyses/class_identifier.py,sha256=4yVo0hbvcdf5xVr_OCqdEgYKsNFQy7RzMRMiqFyikW4,3031
 angr/analyses/code_tagging.py,sha256=_SnJd0FkE1ZXvv6uzxaoIACJANKCrGtK3nLWcuS7Lb0,3641
@@ -43,7 +43,7 @@ angr/analyses/ddg.py,sha256=DLDVy7jA20gobLLJkm617uoVK7sQ74v3bfwqq_61ETw,63433
 angr/analyses/disassembly.py,sha256=hLHnCSeHXm94rbtGJS3Ri-LfvVML92NO2tAm_sUTgTo,45143
 angr/analyses/disassembly_utils.py,sha256=4Np0PCPjr0h0jIVzUUG6KzrEKl9--IpTE3sgmmsmhcg,2989
 angr/analyses/dominance_frontier.py,sha256=XRfC_LUUetE8t1Cc9bwvWS9sl63Fx9sp8KFqN_Y9IDg,1245
-angr/analyses/find_objects_static.py,sha256=qrSNCLXsZQY8Jyx6jwCVF3k8jNfyV4ELpYuM3grhNio,10152
+angr/analyses/find_objects_static.py,sha256=cgeNIl4EJOYUJIXhHUfUHFt1Ai7cGSjEIjL4gsJJlV4,10108
 angr/analyses/flirt.py,sha256=-n6GShXV6PLKDHr4nML49ZwAAlmMIP5SDeF2KmJVKOM,7847
 angr/analyses/init_finder.py,sha256=hFHPsHipF4QkWzVqcDeTgL6YIaYi8bAyaURZBksS4KI,8531
 angr/analyses/loop_analysis.py,sha256=nIbDIzvys-FRtJYnoZYNbMWH5V88qrhoMtrMRCTbkLY,9412
@@ -62,9 +62,9 @@ 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=2uUMpylpVgM1bKHGavvCSxKd1Hseic-Jg4nbYlJczlw,121101
+angr/analyses/cfg/cfg_base.py,sha256=Mq85r2uC1vU-1k9reB_0yTbaVphpOrZ35PP1wOx8Brk,121115
 angr/analyses/cfg/cfg_emulated.py,sha256=Fi3rDN5ByxhO-H4Y7qn-3WZgBG12JGyvxcWmrD_FnFQ,152842
-angr/analyses/cfg/cfg_fast.py,sha256=4DAyC7pNwJ7OUy7RkzthrnHUHu1Wt-s3GqpuJ3DY_gg,201265
+angr/analyses/cfg/cfg_fast.py,sha256=e01dvIOShlkXFLqcVRVTSns8Joa7e67lcUpnGj-k6CI,204468
 angr/analyses/cfg/cfg_fast_soot.py,sha256=eA_P-OY3gRRNj2BBgSPMsB_llGyFFCNW3VyGZ2uiMoM,26047
 angr/analyses/cfg/cfg_job_base.py,sha256=3IQE_Iy17xtGfsIkrKc2ERIakAYiNdLtRb_jwOGQtHU,5989
 angr/analyses/cfg/segment_list.py,sha256=XM-rcLHkl008U5xu9pkVCenhcHWAFBKwVdDLa-kGFgY,20467
@@ -88,12 +88,12 @@ angr/analyses/data_dep/data_dependency_analysis.py,sha256=12WNVAdY196JZf37AfkdPD
 angr/analyses/data_dep/dep_nodes.py,sha256=BCpIPECRJhlX2sMO2LtaXxSD25-Edw2vXQOVcx5i55w,4650
 angr/analyses/data_dep/sim_act_location.py,sha256=4f8jp-ahitxoHCCOSSFGJ1olvNWuHyiE6iOLa5DA0k4,1527
 angr/analyses/decompiler/__init__.py,sha256=RkTvvTwAGpaLdGSTgXxVrKmGEDRxqLCNSB-b8fM6fBM,540
-angr/analyses/decompiler/ail_simplifier.py,sha256=1vWds_c62_D_muGGjdYZpPc_248zlETEdCuIiILeKtA,52456
+angr/analyses/decompiler/ail_simplifier.py,sha256=D6EYpPHrsiE3RA34rt4V4XORf7AYCzlHIp6FyrvTjec,52395
 angr/analyses/decompiler/ailgraph_walker.py,sha256=sBz9Cn0GtdpuFt7R9y3oX6NFvETQTZRh6N80eM9ZdJQ,1595
-angr/analyses/decompiler/block_simplifier.py,sha256=xsHjw_brmhrYZB_K6aaEECzWS6UkCWWxS_a77JCfTwo,16809
-angr/analyses/decompiler/callsite_maker.py,sha256=Zro4ps4ZFie-iiB39Zg_xLkEFOgfwM1Czb8q-ReSEDk,14956
+angr/analyses/decompiler/block_simplifier.py,sha256=hrqMeFu1mFwk-Nor-e1OKVkOar1nzx1ynJQoy8PY0nA,16756
+angr/analyses/decompiler/callsite_maker.py,sha256=I1lgjCNIZxXW3K_4b_JhTeQ27_tYXP2bu71BXPVZeqU,14945
 angr/analyses/decompiler/clinic.py,sha256=HjR4x1NYuagWr0b_lK0W5i3oqAl9EdymMK0BOvwzZQs,71322
-angr/analyses/decompiler/condition_processor.py,sha256=6zuncOn59kDxl4DOm92U-d-rt3-R-LyJOv3vKKxJ7Y8,47723
+angr/analyses/decompiler/condition_processor.py,sha256=hJSd3JI1Qwmr5f4aRkv7Bd5OdWD8uXSIpYqGO_9P89o,47904
 angr/analyses/decompiler/decompilation_cache.py,sha256=NveTVs6IY3TTdgsLvTb3ktftM4n0NrAJIkqjXqQ3550,1119
 angr/analyses/decompiler/decompilation_options.py,sha256=W_l0Sl6yLiYC2iLkXgC0I8staUWgYoeR2yevwcXri9c,6739
 angr/analyses/decompiler/decompiler.py,sha256=fYfM3UqQA_tjcjk1sWiLHNyfGDsvIMdHtG8z-0wOGHc,19690
@@ -107,7 +107,7 @@ angr/analyses/decompiler/redundant_label_remover.py,sha256=kDGGFWWV61I5fbASiTQTH
 angr/analyses/decompiler/region_identifier.py,sha256=doxPwx7B4DCMtIDCf_wosGNMR9zj_SOME3lQ6AvXDF8,44212
 angr/analyses/decompiler/region_walker.py,sha256=lTfweYbY4_a2f2yGztTKG6JtU1jXf-kaz-NHbX9nkXE,717
 angr/analyses/decompiler/sequence_walker.py,sha256=Ak8jog1BRJIQZdOv7QRzcv-SgXR0Wfh0QicqgXuWUIM,7410
-angr/analyses/decompiler/utils.py,sha256=8x-_FFK6TGv5Lj4_0u_y0J8U1i3cLBv74akOY69yzm4,14844
+angr/analyses/decompiler/utils.py,sha256=z8gFuptbqw6lhKwZvO-yEpNo8SRoFgMEIv-c-E_gwrs,14845
 angr/analyses/decompiler/ccall_rewriters/__init__.py,sha256=wbWqZ8xG6ZvzEApkAwMsNQFC-iwF3swG1YJsaf1cIrQ,102
 angr/analyses/decompiler/ccall_rewriters/amd64_ccalls.py,sha256=tgNvZ6I5wPWcrc7EDnGPzgkn2Q9p4n4AAAnZaEM_Igk,10571
 angr/analyses/decompiler/ccall_rewriters/rewriter_base.py,sha256=gWezEKB7A_YnlfUDs8V8D5syoYAyIXSIme1BKQRoouM,498
@@ -118,7 +118,7 @@ angr/analyses/decompiler/optimization_passes/div_simplifier.py,sha256=1yTI1mmFHB
 angr/analyses/decompiler/optimization_passes/eager_returns.py,sha256=zcAMF9dk0lV-K0oeSr3zC3CePJMFhUu781ySgRy8vfo,11053
 angr/analyses/decompiler/optimization_passes/engine_base.py,sha256=Q920CTvgxX4ueuRJVNvN30SYC-oH5_TreKVgQ2yJcq4,10392
 angr/analyses/decompiler/optimization_passes/expr_op_swapper.py,sha256=vlPhWDyvuEmbGcd1ka8rS68F72Ty6Hw3J00KM3tWCus,4701
-angr/analyses/decompiler/optimization_passes/flip_boolean_cmp.py,sha256=QozZWA5kOorUQVp0ohVrc00Myx95UGOstLNehhAn4EA,1585
+angr/analyses/decompiler/optimization_passes/flip_boolean_cmp.py,sha256=qo3Sb288cqRRhVCylcTDwfvcI-w3tA18FVYrS5km2YU,3163
 angr/analyses/decompiler/optimization_passes/ite_expr_converter.py,sha256=VBzHsSIImh0Q_7TUN4cV7n-4itrqn1Edn13WkgjAkGc,7610
 angr/analyses/decompiler/optimization_passes/lowered_switch_simplifier.py,sha256=mnGBJ8r10cHHB0g9TV-xQYd4xO_PBj66Rzz7VAfroZA,19038
 angr/analyses/decompiler/optimization_passes/mod_simplifier.py,sha256=A9pPly7otXJlLkSbItU0wvjGGu6rUsNpcFw3bzy4DjY,3046
@@ -128,7 +128,7 @@ angr/analyses/decompiler/optimization_passes/register_save_area_simplifier.py,sh
 angr/analyses/decompiler/optimization_passes/ret_addr_save_simplifier.py,sha256=SNwCleooT3nS2d7dNUIf4_QQrkgwKLf23PSBtMZO-Q0,6206
 angr/analyses/decompiler/optimization_passes/stack_canary_simplifier.py,sha256=diqUO-k1hq9OzuC7OLMyJJODhy3i1c5Tb7d9f7lx6mU,12147
 angr/analyses/decompiler/optimization_passes/x86_gcc_getpc_simplifier.py,sha256=lwLc9QpOCTdSIb-0SK0hdxi2gzpABTk2kzdwBY20UOo,2980
-angr/analyses/decompiler/peephole_optimizations/__init__.py,sha256=I0Dp9EUpgsiVGpv8fCrfnzc0NcGiogCc1julkW61I1M,2623
+angr/analyses/decompiler/peephole_optimizations/__init__.py,sha256=QpOYj2Wim4BY3D384C4dZfV8QdxzDVHgyz-SYxe8S1c,2614
 angr/analyses/decompiler/peephole_optimizations/a_div_const_add_a_mul_n_div_const.py,sha256=-cb1uohmx3o1ENFRKxTNvL61tQR4COq57cdL55bI_v8,1717
 angr/analyses/decompiler/peephole_optimizations/a_mul_const_div_shr_const.py,sha256=CMNNfuxsudSEXl9xkUGcd7VANkS4XA5zXbMd0H9XDx0,1355
 angr/analyses/decompiler/peephole_optimizations/a_shl_const_sub_a.py,sha256=jFRNyqZ3R4u8CcsBEa2EqpufQ5-oxJdhKLzMCzvb3Tg,978
@@ -143,9 +143,9 @@ angr/analyses/decompiler/peephole_optimizations/bitwise_or_to_logical_or.py,sha2
 angr/analyses/decompiler/peephole_optimizations/bool_expr_xor_1.py,sha256=qLjzpazS4vOfzUzjiSYATk9Wd9azVIjKz5eVL3Ma2-c,981
 angr/analyses/decompiler/peephole_optimizations/bswap.py,sha256=2NtQCw-whJImo9J-74G_Q15pVoAopTZTatIwJN0sJ8s,3653
 angr/analyses/decompiler/peephole_optimizations/coalesce_same_cascading_ifs.py,sha256=NTgzX67jatngaRXUbuVr89v39c5YBu4Xl8FT-pH_SZs,906
+angr/analyses/decompiler/peephole_optimizations/const_mull_a_shift.py,sha256=R4ZyI68jMLQZQE52yuSjA8lH_01OqKYL-npfZTNerYc,3681
 angr/analyses/decompiler/peephole_optimizations/constant_derefs.py,sha256=n3SVw_gs7SL5vEbHfFcTrc4SGnD74TyasKYxLP9VBIQ,988
 angr/analyses/decompiler/peephole_optimizations/conv_a_sub0_shr_and.py,sha256=pvIOzWNBYUyDjj634KeSlo5Qb8E_UBuezDoyYGE_CBw,2568
-angr/analyses/decompiler/peephole_optimizations/conv_const_mull_a_shift.py,sha256=0dX8tqr7qOgIuZaiQ1YT9o-t-uj6cQmDbz67wSEM79U,3569
 angr/analyses/decompiler/peephole_optimizations/conv_shl_shr.py,sha256=4zQ5DGNX6z-CAartjDM4vm-zCeiaRXYFbhriMKuOLp8,2060
 angr/analyses/decompiler/peephole_optimizations/eager_eval.py,sha256=SUjzkqLm0s-95zOdmg3oY1OBUoT0rXz08h5Ck_5Y-Tk,8464
 angr/analyses/decompiler/peephole_optimizations/extended_byte_and_mask.py,sha256=Snm7FXANsgoTUqV0_wVZvxNxFx75hJW9JYnazhMyMWg,2005
@@ -181,7 +181,7 @@ angr/analyses/decompiler/region_simplifiers/switch_cluster_simplifier.py,sha256=
 angr/analyses/decompiler/region_simplifiers/switch_expr_simplifier.py,sha256=HGIiC6c3C91VfcqxUHe9aTsRohwmMXOHZH_G_dbwwx4,3327
 angr/analyses/decompiler/structured_codegen/__init__.py,sha256=Glc4jBCr7lZckltN9XZdSvMrGHf0swXFyKTr_QQKdWE,290
 angr/analyses/decompiler/structured_codegen/base.py,sha256=nJPOoeJCbewchYdXjSE4S2b1-WN6pT3TxmCQMDO0azw,3845
-angr/analyses/decompiler/structured_codegen/c.py,sha256=s55_oBWcjPcmwZel20reZYRlmncQCsmPwO1l0DCqr04,123302
+angr/analyses/decompiler/structured_codegen/c.py,sha256=XofIIn12KHRwkGqC0CNYOhLO6dz9oODGkk4tSEfCk7g,125321
 angr/analyses/decompiler/structured_codegen/dummy.py,sha256=IVfmtcWpTgNCRVsuW3GdQgDnuPmvodX85V0bBYtF_BI,535
 angr/analyses/decompiler/structured_codegen/dwarf_import.py,sha256=TMz65TkF_ID_Ipocj0aFDb84H6slolN90wq0tzhY2Rk,6773
 angr/analyses/decompiler/structuring/__init__.py,sha256=eSiT6xUpv9K5-enK3OZj2lNzxwowS9_5OTrjHiPgfFs,371
@@ -230,7 +230,7 @@ angr/analyses/identifier/functions/strncmp.py,sha256=XlqTTLjfPRj7LSw3-xHoH4SJyNi
 angr/analyses/identifier/functions/strncpy.py,sha256=1WUrhXMS5Sd5rfgBJbChZD_BZ_D47Z_H4AZwriyqDO0,2008
 angr/analyses/identifier/functions/strtol.py,sha256=Py_6Y9rR5dfy53LX8w9WktSBaxdyPlbrcLEiV6cWfHs,2426
 angr/analyses/propagator/__init__.py,sha256=5-UKSiAtYocLzmQWXPzxyBnPui_c8P_r617KDwtRnNw,43
-angr/analyses/propagator/engine_ail.py,sha256=V6jgqQb8fBNEjNdzZr9KX0IIkgzWcocgh_f0uRudUw4,50812
+angr/analyses/propagator/engine_ail.py,sha256=qemofPgS_1m7j83UY6OM8HLL5alzbD0RR8B8g-goDuk,50780
 angr/analyses/propagator/engine_base.py,sha256=goOgu0QWurCThIYI0QeillAx8SfT5rLeuwGup5Njffo,1473
 angr/analyses/propagator/engine_vex.py,sha256=IEQ2bxM3HbEn4WkYzQHugOszGv8XT92Tqn87alExwfU,10012
 angr/analyses/propagator/outdated_definition_walker.py,sha256=OJnI9rlyutyy2qHMTqnrnQJCXKcBHvgwHfiqlWDECiY,6890
@@ -239,16 +239,17 @@ angr/analyses/propagator/tmpvar_finder.py,sha256=GqP1lm-_ez4AvXraDt1BQ1o7GvdjLI7
 angr/analyses/propagator/top_checker_mixin.py,sha256=8NujgeNTiaSb6JQ3J01P5QJSnQ_mnF88m7rXlATIruQ,359
 angr/analyses/propagator/values.py,sha256=b8zg2VIPJoZj4qtF3_XRfoxA7LjXxO9OIkqZ3y0Wc_M,1991
 angr/analyses/propagator/vex_vars.py,sha256=O0W7GekEZIVwiNiOdyu-BuxCZmHFZPh_ho7jmbnYAwk,1433
-angr/analyses/reaching_definitions/__init__.py,sha256=24NQuCGrTgHT6lNdw4gAL5lZ0SDDfnJdOhdRbvwCoMM,2070
+angr/analyses/reaching_definitions/__init__.py,sha256=3itfNz4b0XcTDJJbU10gZfSuqUAx0s8poicXhXZUpys,1989
 angr/analyses/reaching_definitions/call_trace.py,sha256=5y8VtU-5-2ISamCkok6zoMahWASO2TBQYl5Q0pgeLGw,2217
-angr/analyses/reaching_definitions/dep_graph.py,sha256=3kyfEZpNo5ybTOZnl_6Xg08Wd6xvzVzJrJI6Z8fw0Mo,14374
-angr/analyses/reaching_definitions/engine_ail.py,sha256=hbRjCgjhW5ndDeCC2qoR6GN98Dq6TDLKfYENsuZE8LA,44047
-angr/analyses/reaching_definitions/engine_vex.py,sha256=coDol1V8UeZ-zqFKlHXcvnXasmbpTAZ8UrL1fAH6OK8,41014
-angr/analyses/reaching_definitions/external_codeloc.py,sha256=1tWKiupu1wTSFP11P5lEhWaSSe7iRwWtERPIxJcHtbI,814
-angr/analyses/reaching_definitions/function_handler.py,sha256=a9Kmd6pKYyaPprXqlbrLJ3QJt_41BiFZMjiVJIGcQ-A,20564
+angr/analyses/reaching_definitions/dep_graph.py,sha256=WAgVUnVnq_K6dFeA5q1aeEq6BUyVv3iB3yQ7GhTfp4M,14819
+angr/analyses/reaching_definitions/engine_ail.py,sha256=tVZldio05eSlR2fZONNUkjSh1BFhQKShaDxvLd4EAOs,43972
+angr/analyses/reaching_definitions/engine_vex.py,sha256=0QNbqma8e5kpl9lrENPC8-fU-VcR0RXtKMEmd4kf7-Y,40926
+angr/analyses/reaching_definitions/external_codeloc.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+angr/analyses/reaching_definitions/function_handler.py,sha256=FwCt0wCB0gO2JNUMSsoP6awTCz8dkLOZCx0ZOZhY5kU,25611
 angr/analyses/reaching_definitions/heap_allocator.py,sha256=L7LCcE-QvLd_vuc0slWmQ6X73wkYNMkUEDy1cJAV818,2634
-angr/analyses/reaching_definitions/rd_state.py,sha256=2b_lCaCTQ4vGZHcB71hwxsIAYnoq9w5eLaIQoKokZiY,27365
-angr/analyses/reaching_definitions/reaching_definitions.py,sha256=PYkWduHW6Vkz__zssNzkpOYYPD4NwvEC9jYE3f1mG9Y,21524
+angr/analyses/reaching_definitions/rd_initializer.py,sha256=J4-VscXm7_7dNjCFFwdjAYJQs_ZkPoFQJKXuoobSjno,10353
+angr/analyses/reaching_definitions/rd_state.py,sha256=BxWH0MS4Qmd8dUFOWnP67GjPNXWMgjHjEusUHH7ng3Q,23146
+angr/analyses/reaching_definitions/reaching_definitions.py,sha256=4wAoyhHTV-ZLsT2asNFtT8SLRDYqnjOtwu9lelzGjxk,22225
 angr/analyses/reaching_definitions/subject.py,sha256=GVaI1jM-Nv2MWaCjJ-Q_54nSS3hvAaZthz14AJJNq-A,1995
 angr/analyses/typehoon/__init__.py,sha256=kCQMAuvsUKAdYFiOstBzMBCqpquJKJCQSe0CGAr2Rng,31
 angr/analyses/typehoon/lifter.py,sha256=IfkY27IyJ7QeQnVER89ZhdyScKLAoHCdVpcvtdqTy8I,1675
@@ -379,7 +380,7 @@ angr/engines/vex/light/__init__.py,sha256=WblrLgYRbdBAvNGbkzGsTgOq2A_pUBJP-FxANP
 angr/engines/vex/light/light.py,sha256=6aGk83QpcRFlfI-bI_tGM7EszGtdudCGI26qfTasoNI,21729
 angr/engines/vex/light/resilience.py,sha256=FaHiSMv_hsIiNEqA2Wga2F3bVyXGPtWudL00785ebEs,2002
 angr/engines/vex/light/slicing.py,sha256=lGZsF5_xtVKjCJmD2FMABkyz-kZWctWOMjuWnFWpe2g,2023
-angr/exploration_techniques/__init__.py,sha256=LMqJhfewovI5QeBIO0vE03LvjEwDlZDk_eLMYgtB0Fc,6486
+angr/exploration_techniques/__init__.py,sha256=95T9fVNalvf0veq0NAmmHE-cEfBPoP_S-IRcilXGx5o,6980
 angr/exploration_techniques/bucketizer.py,sha256=H-5QyOfDNdCSTbCk8MQluwi9C9Y0iE7E1s_4EAb3LXk,2588
 angr/exploration_techniques/common.py,sha256=7vKlFQjuVoTmtKgYbYjhg67-e3weTzFtU2hC91wHHtI,2262
 angr/exploration_techniques/dfs.py,sha256=IpEmTGVqGAKUCmchKBR_w0SISIsBlNRjdp6sgZlcWis,1167
@@ -420,7 +421,7 @@ angr/knowledge_plugins/plugin.py,sha256=KCyO8mSxrFzOdEjiiuqaxvn_XF36FK7PPnDxie65
 angr/knowledge_plugins/types.py,sha256=fY1M8_21-ra5U7U0lXd2vxruMSOjb3F8-5iU5tpOw-A,1911
 angr/knowledge_plugins/cfg/__init__.py,sha256=L7qgnAg6rXGq8NCfdr1RLSSPRmQ1O87ZkLEDeC6k000,382
 angr/knowledge_plugins/cfg/cfg_manager.py,sha256=EmjrBpv3XtqzrPNTc5ugEytJ9YvFkTzjBV9a8sUtbHw,2257
-angr/knowledge_plugins/cfg/cfg_model.py,sha256=Y3bcz6-g-V51l9Ty-hYgkYyHs7XPvpzAD8hfbXPiL38,41299
+angr/knowledge_plugins/cfg/cfg_model.py,sha256=DngKKxlbS3GGQvvyeqMPl_9rlECsFiftrkMpgg0-qek,41304
 angr/knowledge_plugins/cfg/cfg_node.py,sha256=Q_qqQ1LisCzTWROOQAfvyaBjS86zxcMw6ItzxwQqCHA,17229
 angr/knowledge_plugins/cfg/indirect_jump.py,sha256=yzPf1jjUNPgGP7D7IamqX6KF-EJX-heZjDEr4SRUWDA,2145
 angr/knowledge_plugins/cfg/memory_data.py,sha256=ZJMzA9ijo2O5TSsNutPK0pzq4k9fQmjcnNQnIS0uqmI,4167
@@ -429,14 +430,14 @@ angr/knowledge_plugins/functions/function.py,sha256=kCBJEz31DAdnnknJJAJ56xyxqkup
 angr/knowledge_plugins/functions/function_manager.py,sha256=vnUW-6RxRyjnO3doiuACRI-OgGuATwdOAQogLlxwv3M,17459
 angr/knowledge_plugins/functions/function_parser.py,sha256=cb_AD5oFqoyXapDBawnJV1D9XVRMBGa9GwwDudNSc3M,11916
 angr/knowledge_plugins/functions/soot_function.py,sha256=2zwz_tdKbEnF8eUkOEmpNr7AUeooun2-SiIoY_xIdMw,4971
-angr/knowledge_plugins/key_definitions/__init__.py,sha256=MQhTHLPpJd_tn44QtNr2J2HMZLOJRaU3YFczcKL-JHI,193
-angr/knowledge_plugins/key_definitions/atoms.py,sha256=iZ-ru9oyjBR_Gkwz5K-L2kX4jTj_HqpMviAINmFx8Ik,9514
+angr/knowledge_plugins/key_definitions/__init__.py,sha256=xnn-6qL8csRtqWkHn6OTHQxiQChD8Z1xuqLN56GjZi4,397
+angr/knowledge_plugins/key_definitions/atoms.py,sha256=FfEwsrSgaiupL_ZP205Tr0DWdl092SuCirdSp145SVM,9699
 angr/knowledge_plugins/key_definitions/constants.py,sha256=bbS81EF2cXvoIS7ORxH_j3tTxBL5fUaqaZ6plBWaVKw,458
-angr/knowledge_plugins/key_definitions/definition.py,sha256=7V81e7SgN0YKQPdeQ7dexkIEA8ID2eDHgLJlRgcdw1k,8838
+angr/knowledge_plugins/key_definitions/definition.py,sha256=52sL9L4I-Kh9ZLIy3YAPjHbX-IbfUmVAZFYSx3VXknE,8681
 angr/knowledge_plugins/key_definitions/environment.py,sha256=cbNst29pGtv13Z6jlvdBIajYkE3X9MnAV5ixRTHkHzQ,3461
 angr/knowledge_plugins/key_definitions/heap_address.py,sha256=62vX5xkT91qO-6IKtGtGNUqgkfFUU1_Al6B9vU-SA7E,922
 angr/knowledge_plugins/key_definitions/key_definition_manager.py,sha256=PETOIDYYj7VPp2rtIO5XhXnvi3lgDr9qXa4pZrwbCho,3235
-angr/knowledge_plugins/key_definitions/live_definitions.py,sha256=wPvnEybnMq8zsRjPHIXbYAR944KblL7kxd29fdLoRew,31094
+angr/knowledge_plugins/key_definitions/live_definitions.py,sha256=60kqc4vsrorUBgVlP6AJZ4fdP3Qnmv3X7v2bzZw0HHQ,39329
 angr/knowledge_plugins/key_definitions/liveness.py,sha256=PqciLk4cdHLxNp4mmyCDMpgCxSbk9VJZlx5Ai5_LYos,4054
 angr/knowledge_plugins/key_definitions/rd_model.py,sha256=pNPkHRVI41ObxZ_BDK-4cLoK-WfeCwxa9gOpAyHBQIM,7022
 angr/knowledge_plugins/key_definitions/tag.py,sha256=uBHlS71E3Ok_6V3K8NkMblctCrnAHmPYikaFTA02PyA,1682
@@ -1116,7 +1117,7 @@ angr/state_plugins/heap/heap_ptmalloc.py,sha256=G5R4CQ9iG3luayWiROfBGOLb5jO_mxMf
 angr/state_plugins/heap/utils.py,sha256=Peru_TgVCGRQEORQJVwJfQB1Wleglk_Hdp7aOHQa6no,793
 angr/storage/__init__.py,sha256=X3JnQg95SqAqahP1x10Kk5E0OXxyNlV2Xk3NKyXzykA,182
 angr/storage/file.py,sha256=5784YCroDh5RNc_DHeOuD8Qz3JebY82-dyQ0yd6xUqM,48231
-angr/storage/memory_object.py,sha256=_U7YYEMVj97QvqsR8Ju5edvhGDyWGhsPvp7Nh_GdZpA,5558
+angr/storage/memory_object.py,sha256=U0T-XB7CxUqISODY6o2WONjiThHyzFKBjZ8D0pWLPj4,5663
 angr/storage/pcap.py,sha256=8n30ui0KO7qx_RgmGFL_cBYMF5AlQ5LzVFeCh9ODU6c,1940
 angr/storage/memory_mixins/__init__.py,sha256=kvkP1G7eLrHP7WAk2cJSfZmOkSIuxtzJveXJ5QjBZgs,11700
 angr/storage/memory_mixins/actions_mixin.py,sha256=KZSCMjGB_Sbk_rlgGxk4k02Pu3b569c6tG-xPoH31L0,3402
@@ -1154,7 +1155,7 @@ angr/storage/memory_mixins/paged_memory/pages/cooperation.py,sha256=pz7HEzWkNeti
 angr/storage/memory_mixins/paged_memory/pages/history_tracking_mixin.py,sha256=Az7lg1gXapWxj8tIx0Sz9x2nJfm71oBy5Rm87CUh9mM,2727
 angr/storage/memory_mixins/paged_memory/pages/ispo_mixin.py,sha256=mHt5nQYXkXifwGT0_UGvKirECEC2v7jNNtf_6oY57uI,2050
 angr/storage/memory_mixins/paged_memory/pages/list_page.py,sha256=ey-c8PLa_iH5gyz6VRcxtK1I9w8JbIrvkFO1Hj9V8L8,14108
-angr/storage/memory_mixins/paged_memory/pages/multi_values.py,sha256=Jgapckk0x8zb9_KFgpivPs9RwEfDVI35WhhkRFi-j7s,8834
+angr/storage/memory_mixins/paged_memory/pages/multi_values.py,sha256=gI7Uj5eTthgSq2wxrOnsvc_wUdxB_okMZ5gBjAFZUQg,10585
 angr/storage/memory_mixins/paged_memory/pages/mv_list_page.py,sha256=KoBLEZ1-3erAG45y_l9eGFcVTDjGYJcvvWIGqeL9cL4,15810
 angr/storage/memory_mixins/paged_memory/pages/permissions_mixin.py,sha256=Ek2YSmFOGUScFXPx8hqroNkl3gK1aqKCMv_X3_pImLs,830
 angr/storage/memory_mixins/paged_memory/pages/refcount_mixin.py,sha256=oES5tahTy4SgyDi2h5oRRC0PC4JHNcIvdAC4INKkeJw,1701
@@ -1182,8 +1183,9 @@ angr/utils/library.py,sha256=MYbY6rvC2Fi1ofbBHynh6-cdmaDETxj8hBz1gxKvsQQ,7178
 angr/utils/loader.py,sha256=QdkatPiyRfz5KdfCzRI1Xp3TJL_Pa75wY0dsILgMbwk,1944
 angr/utils/mp.py,sha256=xSWDnZdkLaTwGXntuSDwb2tIqMsIxJpmLrxd_YWBILw,1822
 angr/utils/timing.py,sha256=uOowCP8kotDrKDOjlAod-guBuYkAA8zEtiAwpdwMlIU,1334
-angr-9.2.64.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
-angr-9.2.64.dist-info/METADATA,sha256=HgoI8rH3UlmQ2edoY3dL6oKrauhwDBqRGHKN4TxIt5w,4666
-angr-9.2.64.dist-info/WHEEL,sha256=ymSzJ2YZ25t_egXIuQry-6pb8nf56ucm9a7akRG3hsE,109
-angr-9.2.64.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
-angr-9.2.64.dist-info/RECORD,,
+angr/utils/typing.py,sha256=_I4dzZSh1_uRKQ3PpjXseA_CaJH6ru2yAxjICkJhfmI,417
+angr-9.2.66.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
+angr-9.2.66.dist-info/METADATA,sha256=V_XJv0zQdYIc1Ar4PTYrFdRCaJCDMmnMpFaMz715gcQ,4686
+angr-9.2.66.dist-info/WHEEL,sha256=EIJ1YQRF7Vdkd0SZAEbpd1G47KYEg3Dx_E5NJZhc5tQ,109
+angr-9.2.66.dist-info/top_level.txt,sha256=dKw0KWTbwLXytFvv15oAAG4sUs3ey47tt6DorJG9-hw,5
+angr-9.2.66.dist-info/RECORD,,

{angr-9.2.64.dist-info → angr-9.2.66.dist-info}/WHEEL

@@ -1,5 +1,5 @@
 Wheel-Version: 1.0
-Generator: bdist_wheel (0.41.1)
+Generator: bdist_wheel (0.41.2)
 Root-Is-Purelib: true
 Tag: py3-none-manylinux2014_x86_64
 

angr/analyses/decompiler/peephole_optimizations/conv_const_mull_a_shift.py

@@ -1,75 +0,0 @@
-from ailment.expression import Convert, BinaryOp, Const
-
-from .base import PeepholeOptimizationExprBase
-
-
-class ConvConstMullAShift(PeepholeOptimizationExprBase):
-    __slots__ = ()
-
-    NAME = "Conv(64->32, (N * a) >> M) => a / N1"
-    expr_classes = (Convert,)
-
-    def optimize(self, expr: Convert):
-        if expr.from_bits == 64 and expr.to_bits == 32:
-            if (
-                isinstance(expr.operand, BinaryOp)
-                and expr.operand.op == "Shr"
-                and isinstance(expr.operand.operands[1], Const)
-            ):
-                # (N * a) >> M  ==>  a / N1
-                inner = expr.operand.operands[0]
-                if isinstance(inner, BinaryOp) and inner.op == "Mull" and isinstance(inner.operands[0], Const):
-                    C = inner.operands[0].value
-                    X = inner.operands[1]
-                    V = expr.operand.operands[1].value
-                    ndigits = 5 if V == 32 else 6
-                    divisor = self._check_divisor(pow(2, V), C, ndigits)
-                    if divisor is not None:
-                        new_const = Const(None, None, divisor, X.bits)
-                        new_div = BinaryOp(inner.idx, "Div", [X, new_const], inner.signed, **inner.tags)
-                        return new_div
-
-            elif isinstance(expr.operand, BinaryOp) and expr.operand.op in {"Add", "Sub"}:
-                expr0, expr1 = expr.operand.operands
-                if (
-                    isinstance(expr0, BinaryOp)
-                    and expr0.op in {"Shr", "Sar"}
-                    and isinstance(expr0.operands[1], Const)
-                    and isinstance(expr1, BinaryOp)
-                    and expr1.op in {"Shr", "Sar"}
-                    and isinstance(expr1.operands[1], Const)
-                ):
-                    if (
-                        isinstance(expr0.operands[0], BinaryOp)
-                        and expr0.operands[0].op in {"Mull", "Mul"}
-                        and isinstance(expr0.operands[0].operands[1], Const)
-                    ):
-                        a0 = expr0.operands[0].operands[0]
-                        a1 = expr1.operands[0]
-                        if a0 == a1:
-                            # (a * x >> M1) +/- (a >> M2)  ==>  a / N
-                            C = expr0.operands[0].operands[1].value
-                            X = a0
-                            V = expr0.operands[1].value
-                            ndigits = 5 if V == 32 else 6
-                            divisor = self._check_divisor(pow(2, V), C, ndigits)
-                            if divisor is not None:
-                                new_const = Const(None, None, divisor, X.bits)
-                                new_div = BinaryOp(
-                                    expr0.operands[0].idx,
-                                    "Div",
-                                    [X, new_const],
-                                    expr0.operands[0].signed,
-                                    **expr0.operands[0].tags,
-                                )
-                                # we cannot drop the convert
-                                new_div = Convert(
-                                    expr.idx, expr.from_bits, expr.to_bits, expr.is_signed, new_div, **expr.tags
-                                )
-                                return new_div
-
-    @staticmethod
-    def _check_divisor(a, b, ndigits=6):
-        divisor_1 = 1 + (a // b)
-        divisor_2 = int(round(a / float(b), ndigits))
-        return divisor_1 if divisor_1 == divisor_2 else None