angr 9.2.119__py3-none-manylinux2014_aarch64.whl → 9.2.120__py3-none-manylinux2014_aarch64.whl

angr/analyses/decompiler/peephole_optimizations/__init__.py

@@ -1,5 +1,4 @@
 from __future__ import annotations
-from typing import List, Type
 
 from .a_div_const_add_a_mul_n_div_const import ADivConstAddAMulNDivConst
 from .a_mul_const_div_shr_const import AMulConstDivShrConst
@@ -49,23 +48,66 @@ from .coalesce_adjacent_shrs import CoalesceAdjacentShiftRights
 
 from .base import PeepholeOptimizationExprBase, PeepholeOptimizationStmtBase, PeepholeOptimizationMultiStmtBase
 
-MULTI_STMT_OPTS: list[type[PeepholeOptimizationMultiStmtBase]] = []
-STMT_OPTS: list[type[PeepholeOptimizationStmtBase]] = []
-EXPR_OPTS: list[type[PeepholeOptimizationExprBase]] = []
+ALL_PEEPHOLE_OPTS: list[type[PeepholeOptimizationExprBase]] = [
+    ADivConstAddAMulNDivConst,
+    AMulConstDivShrConst,
+    AShlConstSubA,
+    ASubADiv,
+    ASubADivConstMulConst,
+    ARMCmpF,
+    Bswap,
+    CoalesceSameCascadingIfs,
+    ConstantDereferences,
+    ConstMullAShift,
+    ExtendedByteAndMask,
+    RemoveEmptyIfBody,
+    RemoveRedundantITEBranches,
+    SingleBitXor,
+    ASubASubN,
+    ConvASub0ShrAnd,
+    EagerEvaluation,
+    OneSubBool,
+    BoolExprXor1,
+    BitwiseOrToLogicalOr,
+    RemoveRedundantBitmasks,
+    RemoveRedundantNots,
+    RemoveRedundantReinterprets,
+    RemoveRedundantShifts,
+    RemoveRedundantShiftsAroundComparators,
+    SimplifyPcRelativeLoads,
+    BasePointerOffsetAddN,
+    BasePointerOffsetAndMask,
+    RemoveRedundantConversions,
+    RemoveCascadingConversions,
+    ConvShlShr,
+    RewriteMipsGpLoads,
+    RemoveNoopConversions,
+    RewriteBitExtractions,
+    RemoveRedundantITEComparisons,
+    SingleBitCondToBoolExpr,
+    SarToSignedDiv,
+    TidyStackAddr,
+    InvertNegatedLogicalConjunctionsAndDisjunctions,
+    RolRorRewriter,
+    InlinedStrcpy,
+    InlinedStrcpyConsolidation,
+    InlinedWstrcpy,
+    CmpORDRewriter,
+    CoalesceAdjacentShiftRights,
+]
 
-_g = globals().copy()
-for v in _g.values():
-    if isinstance(v, type) and issubclass(v, PeepholeOptimizationExprBase) and v is not PeepholeOptimizationExprBase:
-        EXPR_OPTS.append(v)
+MULTI_STMT_OPTS: list[type[PeepholeOptimizationMultiStmtBase]] = [
+    v for v in ALL_PEEPHOLE_OPTS if issubclass(v, PeepholeOptimizationMultiStmtBase)
+]
+STMT_OPTS: list[type[PeepholeOptimizationStmtBase]] = [
+    v for v in ALL_PEEPHOLE_OPTS if issubclass(v, PeepholeOptimizationStmtBase)
+]
+EXPR_OPTS: list[type[PeepholeOptimizationExprBase]] = [
+    v for v in ALL_PEEPHOLE_OPTS if issubclass(v, PeepholeOptimizationExprBase)
+]
 
-    if isinstance(v, type) and issubclass(v, PeepholeOptimizationStmtBase) and v is not PeepholeOptimizationStmtBase:
-        STMT_OPTS.append(v)
-
-    if (
-        isinstance(v, type)
-        and issubclass(v, PeepholeOptimizationMultiStmtBase)
-        and v is not PeepholeOptimizationMultiStmtBase
-    ):
-        MULTI_STMT_OPTS.append(v)
-
-_g = None
+__all__ = (
+    "MULTI_STMT_OPTS",
+    "STMT_OPTS",
+    "EXPR_OPTS",
+)

angr/analyses/decompiler/peephole_optimizations/simplify_pc_relative_loads.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 from ailment.expression import BinaryOp, Const, Load
 
-from ....utils.loader import is_pc, is_in_readonly_section, is_in_readonly_segment
+from angr.utils.loader import is_pc, is_in_readonly_section, is_in_readonly_segment
 from .base import PeepholeOptimizationExprBase
 
 

angr/analyses/decompiler/presets/__init__.py

@@ -0,0 +1,20 @@
+from __future__ import annotations
+
+from .preset import DecompilationPreset
+from .fast import preset_fast
+from .full import preset_full
+from .basic import preset_basic
+
+
+DECOMPILATION_PRESETS = {
+    "fast": preset_fast,
+    "full": preset_full,
+    "basic": preset_basic,
+    "default": preset_fast,
+}
+
+
+__all__ = (
+    "DecompilationPreset",
+    "DECOMPILATION_PRESETS",
+)

angr/analyses/decompiler/presets/basic.py

@@ -0,0 +1,30 @@
+from __future__ import annotations
+from .preset import DecompilationPreset
+from angr.analyses.decompiler.optimization_passes import (
+    RegisterSaveAreaSimplifier,
+    StackCanarySimplifier,
+    WinStackCanarySimplifier,
+    BasePointerSaveSimplifier,
+    ConstantDereferencesSimplifier,
+    RetAddrSaveSimplifier,
+    X86GccGetPcSimplifier,
+    CallStatementRewriter,
+)
+
+
+preset_basic = DecompilationPreset(
+    "basic",
+    [
+        RegisterSaveAreaSimplifier,
+        StackCanarySimplifier,
+        WinStackCanarySimplifier,
+        BasePointerSaveSimplifier,
+        ConstantDereferencesSimplifier,
+        RetAddrSaveSimplifier,
+        X86GccGetPcSimplifier,
+        CallStatementRewriter,
+    ],
+)
+
+
+__all__ = ["preset_basic"]

angr/analyses/decompiler/presets/fast.py

@@ -0,0 +1,54 @@
+from __future__ import annotations
+from .preset import DecompilationPreset
+from angr.analyses.decompiler.optimization_passes import (
+    RegisterSaveAreaSimplifier,
+    StackCanarySimplifier,
+    WinStackCanarySimplifier,
+    BasePointerSaveSimplifier,
+    ConstantDereferencesSimplifier,
+    RetAddrSaveSimplifier,
+    X86GccGetPcSimplifier,
+    ITERegionConverter,
+    ITEExprConverter,
+    ExprOpSwapper,
+    ReturnDuplicatorHigh,
+    SwitchDefaultCaseDuplicator,
+    LoweredSwitchSimplifier,
+    ReturnDuplicatorLow,
+    ReturnDeduplicator,
+    FlipBooleanCmp,
+    InlinedStringTransformationSimplifier,
+    CallStatementRewriter,
+    MultiSimplifier,
+    DeadblockRemover,
+)
+
+
+preset_fast = DecompilationPreset(
+    "fast",
+    [
+        RegisterSaveAreaSimplifier,
+        StackCanarySimplifier,
+        WinStackCanarySimplifier,
+        BasePointerSaveSimplifier,
+        MultiSimplifier,  # TODO: MultiSimplifier should be replaced by a peephole optimization
+        ConstantDereferencesSimplifier,
+        RetAddrSaveSimplifier,
+        X86GccGetPcSimplifier,
+        ITERegionConverter,
+        ITEExprConverter,
+        ExprOpSwapper,
+        ReturnDuplicatorHigh,
+        DeadblockRemover,
+        SwitchDefaultCaseDuplicator,
+        LoweredSwitchSimplifier,
+        ReturnDuplicatorLow,
+        ReturnDeduplicator,
+        FlipBooleanCmp,
+        InlinedStringTransformationSimplifier,
+        CallStatementRewriter,
+    ],
+)
+
+
+__all__ = ["preset_fast"]

angr/analyses/decompiler/presets/full.py

@@ -0,0 +1,64 @@
+from __future__ import annotations
+from .preset import DecompilationPreset
+from angr.analyses.decompiler.optimization_passes import (
+    RegisterSaveAreaSimplifier,
+    StackCanarySimplifier,
+    WinStackCanarySimplifier,
+    BasePointerSaveSimplifier,
+    DivSimplifier,
+    MultiSimplifier,
+    ModSimplifier,
+    ConstantDereferencesSimplifier,
+    RetAddrSaveSimplifier,
+    X86GccGetPcSimplifier,
+    ITERegionConverter,
+    ITEExprConverter,
+    ExprOpSwapper,
+    ReturnDuplicatorHigh,
+    DeadblockRemover,
+    SwitchDefaultCaseDuplicator,
+    ConstPropOptReverter,
+    DuplicationReverter,
+    LoweredSwitchSimplifier,
+    ReturnDuplicatorLow,
+    ReturnDeduplicator,
+    CrossJumpReverter,
+    FlipBooleanCmp,
+    InlinedStringTransformationSimplifier,
+    CallStatementRewriter,
+)
+
+
+preset_full = DecompilationPreset(
+    "full",
+    [
+        RegisterSaveAreaSimplifier,
+        StackCanarySimplifier,
+        WinStackCanarySimplifier,
+        BasePointerSaveSimplifier,
+        DivSimplifier,
+        MultiSimplifier,
+        ModSimplifier,
+        ConstantDereferencesSimplifier,
+        RetAddrSaveSimplifier,
+        X86GccGetPcSimplifier,
+        ITERegionConverter,
+        ITEExprConverter,
+        ExprOpSwapper,
+        ReturnDuplicatorHigh,
+        DeadblockRemover,
+        SwitchDefaultCaseDuplicator,
+        ConstPropOptReverter,
+        DuplicationReverter,
+        LoweredSwitchSimplifier,
+        ReturnDuplicatorLow,
+        ReturnDeduplicator,
+        CrossJumpReverter,
+        FlipBooleanCmp,
+        InlinedStringTransformationSimplifier,
+        CallStatementRewriter,
+    ],
+)
+
+
+__all__ = ["preset_full"]

angr/analyses/decompiler/presets/preset.py

@@ -0,0 +1,37 @@
+from __future__ import annotations
+
+from archinfo import Arch
+
+from angr.analyses.decompiler.optimization_passes.optimization_pass import OptimizationPass
+
+
+class DecompilationPreset:
+    """
+    A DecompilationPreset provides a preconfigured set of optimizations and configurations for the Decompiler analysis.
+    """
+
+    def __init__(self, name: str, opt_passes: list[type[OptimizationPass]]):
+        self.name = name
+        self.opt_passes = opt_passes
+
+    def get_optimization_passes(self, arch: Arch | str, platform: str | None, additional_opts=None, disable_opts=None):
+        if isinstance(arch, Arch):
+            arch = arch.name
+
+        if platform is not None:
+            platform = platform.lower()
+        if platform == "win32":
+            platform = "windows"  # sigh
+
+        passes = []
+        additional_opts = additional_opts or []
+        disable_opts = disable_opts or []
+        for pass_ in self.opt_passes + additional_opts:
+            if pass_ in disable_opts:
+                continue
+            if (pass_.ARCHES is None or arch in pass_.ARCHES) and (
+                pass_.PLATFORMS is None or platform is None or platform in pass_.PLATFORMS
+            ):
+                passes.append(pass_)
+
+        return passes

angr/analyses/decompiler/region_identifier.py

@@ -11,9 +11,9 @@ from ailment.statement import ConditionalJump, Jump
 from ailment.expression import Const
 
 from angr.utils.graph import GraphUtils
-from ...utils.graph import dfs_back_edges, subgraph_between_nodes, dominates, shallow_reverse
-from ...errors import AngrRuntimeError
-from .. import Analysis, register_analysis
+from angr.utils.graph import dfs_back_edges, subgraph_between_nodes, dominates, shallow_reverse
+from angr.errors import AngrRuntimeError
+from angr.analyses import Analysis, register_analysis
 from .structuring.structurer_nodes import MultiNode, ConditionNode, IncompleteSwitchCaseHeadStatement
 from .graph_region import GraphRegion
 from .condition_processor import ConditionProcessor
@@ -42,8 +42,12 @@ class RegionIdentifier(Analysis):
         largest_successor_tree_outside_loop=True,
         force_loop_single_exit=True,
         complete_successors=False,
+        entry_node_addr: tuple[int, int | None] | None = None,
     ):
         self.function = func
+        self.entry_node_addr: tuple[int, int | None] | None = (
+            entry_node_addr if entry_node_addr is not None else (func.addr, None) if func is not None else None
+        )
         self.cond_proc = (
             cond_proc
             if cond_proc is not None
@@ -144,10 +148,20 @@ class RegionIdentifier(Analysis):
         except StopIteration:
             pass
 
-        try:
-            return next(n for n in graph.nodes() if n.addr == self.function.addr)
-        except StopIteration as ex:
-            raise AngrRuntimeError("Cannot find the start node from the graph!") from ex
+        if self.entry_node_addr is not None:
+            try:
+                return next(
+                    n
+                    for n in graph.nodes()
+                    if (
+                        (n.addr, n.idx) == self.entry_node_addr
+                        if isinstance(n, Block)
+                        else n.addr == self.entry_node_addr[0]
+                    )
+                )
+            except StopIteration as ex:
+                raise AngrRuntimeError("Cannot find the start node from the graph!") from ex
+        raise AngrRuntimeError("Cannot find the start node from the graph!")
 
     def _test_reducibility(self):
         # make a copy of the graph

angr/analyses/decompiler/region_simplifiers/__init__.py

@@ -1,2 +1,5 @@
 from __future__ import annotations
+
 from .region_simplifier import RegionSimplifier
+
+__all__ = ("RegionSimplifier",)

angr/analyses/decompiler/region_simplifiers/cascading_cond_transformer.py

@@ -4,9 +4,9 @@ from __future__ import annotations
 import ailment
 import claripy
 
-from ..structuring.structurer_nodes import ConditionNode, CascadingConditionNode
-from ..sequence_walker import SequenceWalker
-from ....errors import AngrRuntimeError
+from angr.analyses.decompiler.structuring.structurer_nodes import ConditionNode, CascadingConditionNode
+from angr.analyses.decompiler.sequence_walker import SequenceWalker
+from angr.errors import AngrRuntimeError
 
 
 class CascadingConditionTransformer(SequenceWalker):

angr/analyses/decompiler/region_simplifiers/cascading_ifs.py

@@ -2,8 +2,8 @@
 from __future__ import annotations
 import ailment
 
-from ..sequence_walker import SequenceWalker
-from ..structuring.structurer_nodes import (
+from angr.analyses.decompiler.sequence_walker import SequenceWalker
+from angr.analyses.decompiler.structuring.structurer_nodes import (
     SequenceNode,
     CodeNode,
     MultiNode,
@@ -11,7 +11,7 @@ from ..structuring.structurer_nodes import (
     ConditionNode,
     CascadingConditionNode,
 )
-from ..utils import is_empty_node
+from angr.analyses.decompiler.utils import is_empty_node
 
 
 class CascadingIfsRemover(SequenceWalker):

angr/analyses/decompiler/region_simplifiers/expr_folding.py

@@ -10,8 +10,8 @@ from ailment.expression import ITE
 from ailment.statement import Statement, Assignment, Call
 
 from angr.utils.ail import is_phi_assignment
-from ..sequence_walker import SequenceWalker
-from ..structuring.structurer_nodes import (
+from angr.analyses.decompiler.sequence_walker import SequenceWalker
+from angr.analyses.decompiler.structuring.structurer_nodes import (
     ConditionNode,
     ConditionalBreakNode,
     LoopNode,

angr/analyses/decompiler/region_simplifiers/goto.py

@@ -4,8 +4,8 @@ import logging
 
 import ailment
 
-from ..sequence_walker import SequenceWalker
-from ..structuring.structurer_nodes import (
+from angr.analyses.decompiler.sequence_walker import SequenceWalker
+from angr.analyses.decompiler.structuring.structurer_nodes import (
     SequenceNode,
     CodeNode,
     MultiNode,
@@ -14,7 +14,7 @@ from ..structuring.structurer_nodes import (
     CascadingConditionNode,
 )
 from .node_address_finder import NodeAddressFinder
-from ..goto_manager import Goto
+from angr.analyses.decompiler.goto_manager import Goto
 
 
 l = logging.getLogger(name=__name__)

angr/analyses/decompiler/region_simplifiers/if_.py

@@ -4,8 +4,8 @@ import logging
 
 import ailment
 
-from ..sequence_walker import SequenceWalker
-from ..structuring.structurer_nodes import (
+from angr.analyses.decompiler.sequence_walker import SequenceWalker
+from angr.analyses.decompiler.structuring.structurer_nodes import (
     SequenceNode,
     CodeNode,
     MultiNode,

angr/analyses/decompiler/region_simplifiers/ifelse.py

@@ -1,8 +1,8 @@
 # pylint:disable=unused-argument,arguments-differ
 from __future__ import annotations
 
-from ..sequence_walker import SequenceWalker
-from ..structuring.structurer_nodes import (
+from angr.analyses.decompiler.sequence_walker import SequenceWalker
+from angr.analyses.decompiler.structuring.structurer_nodes import (
     SequenceNode,
     CodeNode,
     MultiNode,
@@ -11,8 +11,8 @@ from ..structuring.structurer_nodes import (
     EmptyBlockNotice,
     CascadingConditionNode,
 )
-from ..condition_processor import ConditionProcessor
-from ..utils import insert_node, is_statement_terminating
+from angr.analyses.decompiler.condition_processor import ConditionProcessor
+from angr.analyses.decompiler.utils import insert_node, is_statement_terminating
 
 
 class IfElseFlattener(SequenceWalker):

angr/analyses/decompiler/region_simplifiers/loop.py

@@ -4,9 +4,9 @@ from collections import defaultdict
 
 import ailment
 
-from ..condition_processor import ConditionProcessor, EmptyBlockNotice
-from ..sequence_walker import SequenceWalker
-from ..structuring.structurer_nodes import (
+from angr.analyses.decompiler.condition_processor import ConditionProcessor, EmptyBlockNotice
+from angr.analyses.decompiler.sequence_walker import SequenceWalker
+from angr.analyses.decompiler.structuring.structurer_nodes import (
     SequenceNode,
     CodeNode,
     MultiNode,
@@ -15,7 +15,7 @@ from ..structuring.structurer_nodes import (
     ContinueNode,
     CascadingConditionNode,
 )
-from ..utils import is_statement_terminating, has_nonlabel_nonphi_statements
+from angr.analyses.decompiler.utils import is_statement_terminating, has_nonlabel_nonphi_statements
 
 
 class LoopSimplifier(SequenceWalker):

angr/analyses/decompiler/region_simplifiers/node_address_finder.py

@@ -3,7 +3,7 @@ from __future__ import annotations
 
 import ailment
 
-from ..sequence_walker import SequenceWalker
+from angr.analyses.decompiler.sequence_walker import SequenceWalker
 
 
 class NodeAddressFinder(SequenceWalker):

angr/analyses/decompiler/region_simplifiers/region_simplifier.py

@@ -1,12 +1,12 @@
 from __future__ import annotations
 import ailment
 
-from ..goto_manager import GotoManager
-from ....analyses import AnalysesHub
-from ...analysis import Analysis
-from ..empty_node_remover import EmptyNodeRemover
-from ..jump_target_collector import JumpTargetCollector
-from ..redundant_label_remover import RedundantLabelRemover
+from angr.analyses.decompiler.goto_manager import GotoManager
+from angr.analyses import AnalysesHub
+from angr.analyses.analysis import Analysis
+from angr.analyses.decompiler.empty_node_remover import EmptyNodeRemover
+from angr.analyses.decompiler.jump_target_collector import JumpTargetCollector
+from angr.analyses.decompiler.redundant_label_remover import RedundantLabelRemover
 from .goto import GotoSimplifier
 from .if_ import IfSimplifier
 from .cascading_ifs import CascadingIfsRemover

angr/analyses/decompiler/region_simplifiers/switch_cluster_simplifier.py

@@ -8,11 +8,18 @@ import ailment
 from ailment import UnaryOp
 from ailment.expression import negate
 
-from ....utils.constants import SWITCH_MISSING_DEFAULT_NODE_ADDR
-from ..structuring.structurer_nodes import SwitchCaseNode, ConditionNode, SequenceNode, MultiNode, BaseNode, BreakNode
-from ..sequence_walker import SequenceWalker
-from ..condition_processor import ConditionProcessor, EmptyBlockNotice
-from ..utils import is_statement_terminating
+from angr.utils.constants import SWITCH_MISSING_DEFAULT_NODE_ADDR
+from angr.analyses.decompiler.structuring.structurer_nodes import (
+    SwitchCaseNode,
+    ConditionNode,
+    SequenceNode,
+    MultiNode,
+    BaseNode,
+    BreakNode,
+)
+from angr.analyses.decompiler.sequence_walker import SequenceWalker
+from angr.analyses.decompiler.condition_processor import ConditionProcessor, EmptyBlockNotice
+from angr.analyses.decompiler.utils import is_statement_terminating
 
 
 class CmpOp(enum.Enum):

angr/analyses/decompiler/region_simplifiers/switch_expr_simplifier.py

@@ -4,8 +4,8 @@ from collections import OrderedDict
 
 import ailment
 
-from ..structuring.structurer_nodes import SwitchCaseNode
-from ..sequence_walker import SequenceWalker
+from angr.analyses.decompiler.structuring.structurer_nodes import SwitchCaseNode
+from angr.analyses.decompiler.sequence_walker import SequenceWalker
 
 
 class SwitchExpressionSimplifier(SequenceWalker):
@@ -29,7 +29,7 @@ class SwitchExpressionSimplifier(SequenceWalker):
         convert = None
 
         # pylint: disable=import-outside-toplevel
-        from ..peephole_optimizations.remove_noop_conversions import RemoveNoopConversions
+        from angr.analyses.decompiler.peephole_optimizations.remove_noop_conversions import RemoveNoopConversions
 
         while isinstance(switch_expr, ailment.Expr.Convert):
             optimized = RemoveNoopConversions(None, None).optimize(switch_expr)

angr/analyses/decompiler/sequence_walker.py

@@ -4,7 +4,7 @@ from collections import OrderedDict
 
 import ailment
 
-from ...errors import UnsupportedNodeTypeError
+from angr.errors import UnsupportedNodeTypeError
 from .structuring.structurer_nodes import (
     MultiNode,
     CodeNode,
@@ -181,22 +181,21 @@ class SequenceWalker:
         return None
 
     def _handle_Loop(self, node: LoopNode, **kwargs):
-        if node.initializer is not None:
-            self._handle(node.initializer)
-        if node.iterator is not None:
-            self._handle(node.iterator)
-        if node.condition is not None:
-            self._handle(node.condition, parent=node, label="condition")
+        new_initializer = self._handle(node.initializer) if node.initializer is not None else None
+        new_iterator = self._handle(node.iterator) if node.iterator is not None else None
+        new_condition = (
+            self._handle(node.condition, parent=node, label="condition") if node.condition is not None else None
+        )
         seq_node = self._handle(node.sequence_node, parent=node, label="body", index=0)
-        if seq_node is not None:
+        if seq_node is not None or new_initializer is not None or new_iterator is not None or new_condition is not None:
             return LoopNode(
                 node.sort,
-                node.condition,
-                seq_node,
+                new_condition if new_condition is not None else node.condition,
+                seq_node if seq_node is not None else node.sequence_node,
                 addr=node.addr,
                 continue_addr=node.continue_addr,
-                initializer=node.initializer,
-                iterator=node.iterator,
+                initializer=new_initializer if new_initializer is not None else node.initializer,
+                iterator=new_iterator if new_iterator is not None else node.iterator,
             )
         return None
 

angr/analyses/decompiler/structured_codegen/__init__.py

@@ -1,4 +1,5 @@
 from __future__ import annotations
+
 from .base import (
     BaseStructuredCodeGenerator,
     InstructionMapping,
@@ -9,3 +10,16 @@ from .base import (
 from .c import CStructuredCodeGenerator, CStructuredCodeWalker
 from .dwarf_import import ImportSourceCode
 from .dummy import DummyStructuredCodeGenerator
+
+
+__all__ = (
+    "BaseStructuredCodeGenerator",
+    "InstructionMapping",
+    "InstructionMappingElement",
+    "PositionMappingElement",
+    "PositionMapping",
+    "CStructuredCodeGenerator",
+    "CStructuredCodeWalker",
+    "ImportSourceCode",
+    "DummyStructuredCodeGenerator",
+)

angr/analyses/decompiler/structured_codegen/base.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 from sortedcontainers import SortedDict
 
-from ....sim_variable import SimVariable
+from angr.sim_variable import SimVariable
 
 #
 #   Position Mapping Classes