angr 9.2.119__py3-none-manylinux2014_x86_64.whl → 9.2.121__py3-none-manylinux2014_x86_64.whl

angr/analyses/variable_recovery/engine_ail.py

@@ -9,11 +9,11 @@ from unique_log_filter import UniqueLogFilter
 
 from angr.procedures import SIM_LIBRARIES, SIM_TYPE_COLLECTIONS
 from angr.utils.constants import MAX_POINTSTO_BITS
-from ...calling_conventions import SimRegArg
-from ...sim_type import SimTypeFunction, dereference_simtype
-from ...engines.light import SimEngineLightAILMixin
-from ..typehoon import typeconsts, typevars
-from ..typehoon.lifter import TypeLifter
+from angr.calling_conventions import SimRegArg
+from angr.sim_type import SimTypeFunction, dereference_simtype
+from angr.engines.light import SimEngineLightAILMixin
+from angr.analyses.typehoon import typeconsts, typevars
+from angr.analyses.typehoon.lifter import TypeLifter
 from .engine_base import SimEngineVRBase, RichR
 
 if TYPE_CHECKING:

angr/analyses/variable_recovery/engine_base.py

@@ -6,13 +6,13 @@ import logging
 import ailment
 import claripy
 
-from ...storage.memory_mixins.paged_memory.pages.multi_values import MultiValues
-from ...engines.light import SimEngineLight, ArithmeticExpression
-from ...errors import SimEngineError, SimMemoryMissingError
-from ...sim_variable import SimVariable, SimStackVariable, SimRegisterVariable, SimMemoryVariable
-from ...code_location import CodeLocation
-from ..typehoon import typevars, typeconsts
-from ..typehoon.typevars import TypeVariable, DerivedTypeVariable, AddN, SubN, Load, Store
+from angr.storage.memory_mixins.paged_memory.pages.multi_values import MultiValues
+from angr.engines.light import SimEngineLight, ArithmeticExpression
+from angr.errors import SimEngineError, SimMemoryMissingError
+from angr.sim_variable import SimVariable, SimStackVariable, SimRegisterVariable, SimMemoryVariable
+from angr.code_location import CodeLocation
+from angr.analyses.typehoon import typevars, typeconsts
+from angr.analyses.typehoon.typevars import TypeVariable, DerivedTypeVariable, AddN, SubN, Load, Store
 
 if TYPE_CHECKING:
     from .variable_recovery_base import VariableRecoveryStateBase

angr/analyses/variable_recovery/engine_vex.py

@@ -6,13 +6,13 @@ import claripy
 import pyvex
 from archinfo.arch_arm import is_arm_arch
 
-from ...errors import SimMemoryMissingError
-from ...calling_conventions import SimRegArg, SimStackArg, default_cc
-from ...engines.vex.claripy.datalayer import value as claripy_value
-from ...engines.light import SimEngineLightVEXMixin
-from ...knowledge_plugins import Function
-from ...storage.memory_mixins.paged_memory.pages.multi_values import MultiValues
-from ..typehoon import typevars, typeconsts
+from angr.errors import SimMemoryMissingError
+from angr.calling_conventions import SimRegArg, SimStackArg, default_cc
+from angr.engines.vex.claripy.datalayer import value as claripy_value
+from angr.engines.light import SimEngineLightVEXMixin
+from angr.knowledge_plugins import Function
+from angr.storage.memory_mixins.paged_memory.pages.multi_values import MultiValues
+from angr.analyses.typehoon import typevars, typeconsts
 from .engine_base import SimEngineVRBase, RichR
 from .irsb_scanner import VEXIRSBScanner
 

angr/analyses/variable_recovery/variable_recovery.py

@@ -6,11 +6,11 @@ import claripy
 
 from angr.analyses import ForwardAnalysis, visitors
 from angr.analyses import AnalysesHub
-from ...errors import SimMemoryMissingError
-from ...storage.memory_mixins.paged_memory.pages.multi_values import MultiValues
-from ... import BP, BP_AFTER
-from ...sim_variable import SimRegisterVariable, SimStackVariable
-from ...code_location import CodeLocation
+from angr.errors import SimMemoryMissingError
+from angr.storage.memory_mixins.paged_memory.pages.multi_values import MultiValues
+from angr import BP, BP_AFTER
+from angr.sim_variable import SimRegisterVariable, SimStackVariable
+from angr.code_location import CodeLocation
 from .variable_recovery_base import VariableRecoveryBase, VariableRecoveryStateBase
 from .annotations import StackLocationAnnotation
 

angr/analyses/variable_recovery/variable_recovery_base.py

@@ -10,13 +10,13 @@ from claripy.annotation import Annotation
 from archinfo import Arch
 from ailment.expression import BinaryOp, StackBaseOffset
 
-from ...utils.cowdict import DefaultChainMapCOW
-from ...engines.light import SpOffset
-from ...sim_variable import SimVariable
-from ...errors import AngrRuntimeError
-from ...storage.memory_mixins import MultiValuedMemory
-from ..analysis import Analysis
-from ..typehoon.typevars import TypeVariables, TypeVariable
+from angr.utils.cowdict import DefaultChainMapCOW
+from angr.engines.light import SpOffset
+from angr.sim_variable import SimVariable
+from angr.errors import AngrRuntimeError
+from angr.storage.memory_mixins import MultiValuedMemory
+from angr.analyses.analysis import Analysis
+from angr.analyses.typehoon.typevars import TypeVariables, TypeVariable
 
 if TYPE_CHECKING:
     from angr.storage import SimMemoryObject

angr/analyses/variable_recovery/variable_recovery_fast.py

@@ -12,14 +12,14 @@ import ailment
 from ailment.expression import VirtualVariable
 
 import angr.errors
-from ...storage.memory_mixins.paged_memory.pages.multi_values import MultiValues
-from ...block import Block
-from ...errors import AngrVariableRecoveryError, SimEngineError
-from ...knowledge_plugins import Function
-from ...sim_variable import SimStackVariable, SimRegisterVariable, SimVariable, SimMemoryVariable
-from ...engines.vex.claripy.irop import vexop_to_simop
+from angr.storage.memory_mixins.paged_memory.pages.multi_values import MultiValues
+from angr.block import Block
+from angr.errors import AngrVariableRecoveryError, SimEngineError
+from angr.knowledge_plugins import Function
+from angr.sim_variable import SimStackVariable, SimRegisterVariable, SimVariable, SimMemoryVariable
+from angr.engines.vex.claripy.irop import vexop_to_simop
 from angr.analyses import ForwardAnalysis, visitors
-from ..typehoon.typevars import Equivalence, TypeVariable, TypeVariables
+from angr.analyses.typehoon.typevars import Equivalence, TypeVariable, TypeVariables
 from .variable_recovery_base import VariableRecoveryBase, VariableRecoveryStateBase
 from .engine_vex import SimEngineVRVEX
 from .engine_ail import SimEngineVRAIL

angr/analyses/veritesting.py

@@ -5,12 +5,12 @@ from functools import cmp_to_key
 
 import networkx
 
-from .. import SIM_PROCEDURES
-from .. import options as o
-from ..knowledge_base import KnowledgeBase
-from ..errors import AngrError, AngrCFGError
-from ..sim_manager import SimulationManager
-from ..utils.graph import shallow_reverse
+from angr import SIM_PROCEDURES
+from angr import options as o
+from angr.knowledge_base import KnowledgeBase
+from angr.errors import AngrError, AngrCFGError
+from angr.sim_manager import SimulationManager
+from angr.utils.graph import shallow_reverse
 from . import Analysis, CFGEmulated
 
 l = logging.getLogger(name=__name__)
@@ -624,6 +624,6 @@ from angr.analyses import AnalysesHub
 
 AnalysesHub.register_default("Veritesting", Veritesting)
 
-from ..errors import SimValueError, SimSolverModeError, SimError
-from ..sim_options import BYPASS_VERITESTING_EXCEPTIONS
+from angr.errors import SimValueError, SimSolverModeError, SimError
+from angr.sim_options import BYPASS_VERITESTING_EXCEPTIONS
 from claripy import ClaripyError

angr/analyses/vfg.py

@@ -12,10 +12,10 @@ import networkx
 from angr.utils.graph import GraphUtils
 from angr.analyses import ForwardAnalysis
 from .cfg.cfg_job_base import BlockID, FunctionKey, CFGJobBase
-from .. import sim_options
-from ..engines.procedure import ProcedureEngine
-from ..engines import SimSuccessors
-from ..errors import (
+from angr import sim_options
+from angr.engines.procedure import ProcedureEngine
+from angr.engines import SimSuccessors
+from angr.errors import (
     AngrDelayJobNotice,
     AngrSkipJobNotice,
     AngrVFGError,
@@ -26,14 +26,14 @@ from ..errors import (
     SimIRSBError,
     SimError,
 )
-from ..procedures import SIM_PROCEDURES
-from ..state_plugins.callstack import CallStack
-from ..analyses import AnalysesHub
-from ..sim_state import SimState
+from angr.procedures import SIM_PROCEDURES
+from angr.state_plugins.callstack import CallStack
+from angr.analyses import AnalysesHub
+from angr.sim_state import SimState
 from . import Analysis, CFGEmulated
 
 if TYPE_CHECKING:
-    from ..knowledge_base import KnowledgeBase
+    from angr.knowledge_base import KnowledgeBase
 
 l = logging.getLogger(name=__name__)
 
@@ -249,8 +249,8 @@ class VFGNode:
 
     def __eq__(self, o):
         return (
-            type(self) == type(o)
-            and self.key == o.key  # pylint:disable=unidiomatic-typecheck
+            type(self) is type(o)
+            and self.key == o.key
             and self.addr == o.addr
             and self.state == o.state
             and self.actions == o.actions
@@ -1508,7 +1508,7 @@ class VFG(ForwardAnalysis[SimState, VFGNode, VFGJob, BlockID], Analysis):  # pyl
                 successor_state.registers.store(arch.sp_offset, reg_sp_expr)
 
                 # Clear the return value with a TOP
-                top_si = claripy.TSI(arch.bits)
+                top_si = claripy.BVS("unnamed", arch.bits)
                 successor_state.registers.store(arch.ret_offset, top_si)
 
             if job.call_skipped:
@@ -1686,7 +1686,7 @@ class VFG(ForwardAnalysis[SimState, VFGNode, VFGJob, BlockID], Analysis):  # pyl
         reg_sp_expr = successor_state.registers.load(reg_sp_offset, size=arch.bytes, endness=arch.register_endness)
 
         reg_sp_val = successor_state.solver.min(reg_sp_expr)
-        reg_sp_si = claripy.SI(bits=successor_state.arch.bits, to_conv=reg_sp_val)
+        reg_sp_si = claripy.BVV(reg_sp_val, successor_state.arch.bits)
 
         reg_sp_val = reg_sp_val - arch.bytes  # TODO: Is it OK?
         new_stack_region_id = successor_state.memory.stack_id(successor_ip)

angr/analyses/vsa_ddg.py

@@ -5,9 +5,9 @@ from collections import defaultdict
 import networkx
 from . import Analysis, VFG
 
-from ..code_location import CodeLocation
-from ..errors import AngrDDGError
-from ..sim_variable import SimRegisterVariable, SimMemoryVariable
+from angr.code_location import CodeLocation
+from angr.errors import AngrDDGError
+from angr.sim_variable import SimRegisterVariable, SimMemoryVariable
 
 l = logging.getLogger(name=__name__)
 

angr/analyses/vtable.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 import logging
 
-from ..analyses import AnalysesHub
+from angr.analyses import AnalysesHub
 from . import Analysis, CFGFast
 
 l = logging.getLogger(name=__name__)

angr/analyses/xrefs.py

@@ -5,9 +5,9 @@ import claripy
 import pyvex
 
 from angr.analyses import visitors, ForwardAnalysis
-from ..knowledge_plugins.xrefs import XRef, XRefType
-from ..knowledge_plugins.functions.function import Function
-from ..engines.light import SimEngineLight, SimEngineLightVEXMixin
+from angr.knowledge_plugins.xrefs import XRef, XRefType
+from angr.knowledge_plugins.functions.function import Function
+from angr.engines.light import SimEngineLight, SimEngineLightVEXMixin
 from .propagator.vex_vars import VEXTmp
 from .propagator.values import Top
 from . import register_analysis, PropagatorAnalysis

angr/angrdb/__init__.py

@@ -9,3 +9,6 @@ except ImportError as err:
     ) from err
 
 from .db import AngrDB
+
+
+__all__ = ("AngrDB",)

angr/angrdb/db.py

@@ -7,8 +7,8 @@ from sqlalchemy import create_engine
 from sqlalchemy.orm import sessionmaker
 from sqlalchemy.exc import DatabaseError
 
-from ..errors import AngrCorruptDBError, AngrIncompatibleDBError, AngrDBError
-from ..project import Project
+from angr.errors import AngrCorruptDBError, AngrIncompatibleDBError, AngrDBError
+from angr.project import Project
 from .models import Base, DbInformation
 from .serializers import LoaderSerializer, KnowledgeBaseSerializer
 
@@ -43,7 +43,7 @@ class AngrDB:
         except DatabaseError as ex:
             raise AngrCorruptDBError("The target file may not be an angr database or it is corrupted.") from ex
         except Exception as ex:
-            raise AngrDBError(str(ex)) from ex
+            raise AngrDBError from ex
 
     @staticmethod
     @contextmanager

angr/angrdb/serializers/__init__.py

@@ -1,3 +1,10 @@
 from __future__ import annotations
+
 from .loader import LoaderSerializer
 from .kb import KnowledgeBaseSerializer
+
+
+__all__ = (
+    "LoaderSerializer",
+    "KnowledgeBaseSerializer",
+)

angr/angrdb/serializers/cfg_model.py

@@ -1,7 +1,7 @@
 # pylint:disable=unused-import
 from __future__ import annotations
-from ..models import DbCFGModel
-from ...knowledge_plugins.cfg.cfg_model import CFGModel
+from angr.angrdb.models import DbCFGModel
+from angr.knowledge_plugins.cfg.cfg_model import CFGModel
 
 
 class CFGModelSerializer:

angr/angrdb/serializers/comments.py

@@ -1,7 +1,7 @@
 # pylint:disable=unused-import
 from __future__ import annotations
-from ..models import DbComment
-from ...knowledge_plugins.comments import Comments
+from angr.angrdb.models import DbComment
+from angr.knowledge_plugins.comments import Comments
 
 
 class CommentsSerializer:

angr/angrdb/serializers/funcs.py

@@ -1,8 +1,8 @@
 from __future__ import annotations
 from typing import TYPE_CHECKING
 
-from ...knowledge_plugins import FunctionManager, Function
-from ..models import DbFunction
+from angr.knowledge_plugins import FunctionManager, Function
+from angr.angrdb.models import DbFunction
 
 if TYPE_CHECKING:
     from angr.knowledge_base import KnowledgeBase

angr/angrdb/serializers/kb.py

@@ -1,6 +1,6 @@
 from __future__ import annotations
-from ...knowledge_base import KnowledgeBase
-from ..models import DbKnowledgeBase
+from angr.knowledge_base import KnowledgeBase
+from angr.angrdb.models import DbKnowledgeBase
 from .cfg_model import CFGModelSerializer
 from .funcs import FunctionManagerSerializer
 from .xrefs import XRefsSerializer

angr/angrdb/serializers/labels.py

@@ -1,7 +1,7 @@
 # pylint:disable=unused-import
 from __future__ import annotations
-from ..models import DbLabel
-from ...knowledge_plugins.labels import Labels
+from angr.angrdb.models import DbLabel
+from angr.knowledge_plugins.labels import Labels
 
 
 class LabelsSerializer:

angr/angrdb/serializers/loader.py

@@ -7,8 +7,8 @@ import logging
 
 import cle
 
-from ...errors import AngrCorruptDBError, AngrDBError
-from ..models import DbObject
+from angr.errors import AngrCorruptDBError, AngrDBError
+from angr.angrdb.models import DbObject
 
 
 _l = logging.getLogger(__name__)

angr/angrdb/serializers/structured_code.py

@@ -3,10 +3,10 @@ from typing import Any, TYPE_CHECKING
 import json
 import pickle
 
-from ...analyses.decompiler.structured_codegen import DummyStructuredCodeGenerator
-from ...analyses.decompiler.decompilation_cache import DecompilationCache
-from ...knowledge_plugins import StructuredCodeManager
-from ..models import DbStructuredCode
+from angr.analyses.decompiler.structured_codegen import DummyStructuredCodeGenerator
+from angr.analyses.decompiler.decompilation_cache import DecompilationCache
+from angr.knowledge_plugins import StructuredCodeManager
+from angr.angrdb.models import DbStructuredCode
 
 if TYPE_CHECKING:
     from angr.knowledge_base import KnowledgeBase

angr/angrdb/serializers/variables.py

@@ -1,9 +1,9 @@
 from __future__ import annotations
 from typing import TYPE_CHECKING
 
-from ...knowledge_plugins import VariableManager
-from ...knowledge_plugins.variables.variable_manager import VariableManagerInternal
-from ..models import DbVariableCollection
+from angr.knowledge_plugins import VariableManager
+from angr.knowledge_plugins.variables.variable_manager import VariableManagerInternal
+from angr.angrdb.models import DbVariableCollection
 
 if TYPE_CHECKING:
     from angr.knowledge_base import KnowledgeBase

angr/angrdb/serializers/xrefs.py

@@ -1,7 +1,7 @@
 # pylint:disable=unused-import
 from __future__ import annotations
-from ..models import DbXRefs
-from ...knowledge_plugins.xrefs import XRefManager
+from angr.angrdb.models import DbXRefs
+from angr.knowledge_plugins.xrefs import XRefManager
 
 
 class XRefsSerializer:

angr/block.py

@@ -142,6 +142,7 @@ class Block(Serializable):
         "_strict_block_end",
         "_cross_insn_opt",
         "_load_from_ro_regions",
+        "_const_prop",
         "_initial_regs",
     ]
 
@@ -164,6 +165,7 @@ class Block(Serializable):
         collect_data_refs=False,
         cross_insn_opt=True,
         load_from_ro_regions=False,
+        const_prop=False,
         initial_regs=None,
         skip_stmts=False,
     ):
@@ -191,7 +193,9 @@ class Block(Serializable):
         self.thumb = thumb
         self.addr = addr
         self._opt_level = opt_level
-        self._initial_regs: list[tuple[int, int, int]] | None = initial_regs if collect_data_refs else None
+        self._initial_regs: list[tuple[int, int, int]] | None = (
+            initial_regs if (collect_data_refs or const_prop) else None
+        )
 
         if self._project is None and byte_string is None:
             raise ValueError('"byte_string" has to be specified if "project" is not provided.')
@@ -218,6 +222,7 @@ class Block(Serializable):
                     strict_block_end=strict_block_end,
                     collect_data_refs=collect_data_refs,
                     load_from_ro_regions=load_from_ro_regions,
+                    const_prop=const_prop,
                     cross_insn_opt=cross_insn_opt,
                     skip_stmts=skip_stmts,
                 )
@@ -238,6 +243,7 @@ class Block(Serializable):
         self._strict_block_end = strict_block_end
         self._cross_insn_opt = cross_insn_opt
         self._load_from_ro_regions = load_from_ro_regions
+        self._const_prop = const_prop
 
         self._instructions = num_inst
         self._instruction_addrs: list[int] = []
@@ -342,6 +348,7 @@ class Block(Serializable):
                 strict_block_end=self._strict_block_end,
                 cross_insn_opt=self._cross_insn_opt,
                 load_from_ro_regions=self._load_from_ro_regions,
+                const_prop=self._const_prop,
             )
             if self._initial_regs:
                 self.reset_initial_regs()
@@ -373,6 +380,7 @@ class Block(Serializable):
             strict_block_end=self._strict_block_end,
             cross_insn_opt=self._cross_insn_opt,
             load_from_ro_regions=self._load_from_ro_regions,
+            const_prop=self._const_prop,
         )
         if self._initial_regs:
             self.reset_initial_regs()

angr/calling_conventions.py

@@ -69,7 +69,7 @@ class AllocHelper:
                 val.struct, {field: self.translate(subval, base) for field, subval in val._values.items()}
             )
         if isinstance(val, claripy.ast.Bits):
-            return val.replace(self.base, base)
+            return claripy.replace(val, self.base, base)
         if type(val) is list:
             return [self.translate(subval, base) for subval in val]
         raise TypeError(type(val))

angr/concretization_strategies/__init__.py

@@ -95,3 +95,20 @@ from .range import SimConcretizationStrategyRange
 from .single import SimConcretizationStrategySingle
 from .solutions import SimConcretizationStrategySolutions
 from .unlimited_range import SimConcretizationStrategyUnlimitedRange
+
+
+__all__ = (
+    "SimConcretizationStrategy",
+    "SimConcretizationStrategyAny",
+    "SimConcretizationStrategyControlledData",
+    "SimConcretizationStrategyEval",
+    "SimConcretizationStrategyMax",
+    "SimConcretizationStrategyNonzero",
+    "SimConcretizationStrategyNonzeroRange",
+    "SimConcretizationStrategyNorepeats",
+    "SimConcretizationStrategyNorepeatsRange",
+    "SimConcretizationStrategyRange",
+    "SimConcretizationStrategySingle",
+    "SimConcretizationStrategySolutions",
+    "SimConcretizationStrategyUnlimitedRange",
+)

angr/concretization_strategies/max.py

@@ -1,5 +1,5 @@
 from __future__ import annotations
-from ..errors import SimSolverError
+from angr.errors import SimSolverError
 from . import SimConcretizationStrategy
 
 

angr/concretization_strategies/norepeats_range.py

@@ -1,6 +1,6 @@
 from __future__ import annotations
 from . import SimConcretizationStrategy
-from ..errors import SimMergeError
+from angr.errors import SimMergeError
 
 
 class SimConcretizationStrategyNorepeatsRange(SimConcretizationStrategy):

angr/distributed/__init__.py

@@ -1,4 +1,9 @@
-# angr.distributed provides a simple implementation for conducting long-running symbolic-execution-based tasks.
+""" angr.distributed provides a simple implementation for conducting
+long-running symbolic-execution-based tasks.
+"""
+
 from __future__ import annotations
 
 from .server import Server
+
+__all__ = ("Server",)

angr/distributed/server.py

@@ -9,7 +9,6 @@ from .worker import Worker
 
 
 _l = logging.getLogger(__name__)
-_l.setLevel(logging.INFO)
 
 
 class Server:

angr/distributed/worker.py

@@ -5,12 +5,11 @@ import logging
 import sys
 
 from angr.utils.mp import Initializer
-from ..exploration_techniques import ExplorationTechnique, Bucketizer
-from ..vaults import VaultDirShelf
+from angr.exploration_techniques import ExplorationTechnique, Bucketizer
+from angr.vaults import VaultDirShelf
 
 
 _l = logging.getLogger(__name__)
-_l.setLevel(logging.INFO)
 
 
 class BadStatesDropper(ExplorationTechnique):
@@ -86,7 +85,10 @@ class Worker:
     def run(self, initializer: Initializer):
         initializer.initialize()
 
-        from ..exploration_techniques.spiller import Spiller, PickledStatesDb  # pylint:disable=import-outside-toplevel
+        from angr.exploration_techniques.spiller import (
+            Spiller,
+            PickledStatesDb,
+        )  # pylint:disable=import-outside-toplevel
 
         _l.debug("Worker %d starts running...", self.worker_id)
         if self._recursion_limit is not None and self._recursion_limit != sys.getrecursionlimit():

angr/engines/__init__.py

@@ -1,4 +1,5 @@
 from __future__ import annotations
+
 from .successors import SimSuccessors
 from .engine import SimEngine, SuccessorsMixin, TLSMixin
 
@@ -30,6 +31,28 @@ class UberEngine(
     pass
 
 
+__all__ = [
+    "SimSuccessors",
+    "SimEngine",
+    "SuccessorsMixin",
+    "TLSMixin",
+    "HeavyVEXMixin",
+    "TrackActionsMixin",
+    "SimInspectMixin",
+    "HeavyResilienceMixin",
+    "SuperFastpathMixin",
+    "ProcedureMixin",
+    "ProcedureEngine",
+    "SimEngineUnicorn",
+    "SimEngineFailure",
+    "SimEngineSyscall",
+    "SimEngineConcrete",
+    "HooksMixin",
+    "SootMixin",
+    "UberEngine",
+]
+
+
 try:
     from .pcode import HeavyPcodeMixin
 
@@ -38,5 +61,7 @@ try:
     ):  # pylint:disable=abstract-method
         pass
 
+    __all__.append("UberEnginePcode")
+
 except ImportError:
     pass

angr/engines/concrete.py

@@ -6,10 +6,9 @@ import claripy
 
 from angr.errors import AngrError
 from .engine import SuccessorsMixin
-from ..errors import SimConcreteRegisterError
+from angr.errors import SimConcreteRegisterError
 
 l = logging.getLogger("angr.engines.concrete")
-# l.setLevel(logging.DEBUG)
 
 try:
     from angr_targets.concrete import ConcreteTarget