diff --git a/explorer/memory/EnclaveAwareMemory.py b/explorer/memory/EnclaveAwareMemory.py index 3478912..9e1401e 100644 --- a/explorer/memory/EnclaveAwareMemory.py +++ b/explorer/memory/EnclaveAwareMemory.py @@ -1,7 +1,7 @@ from angr.storage.memory_mixins import PagedMemoryMixin, SymbolicMergerMixin, DefaultFillerMixin, UltraPagesMixin, \ PrivilegedPagingMixin, DictBackerMixin, ClemoryBackerMixin, ConcreteBackerMixin, StackAllocationMixin, \ DirtyAddrsMixin, ConvenientMappingsMixin, ConditionalMixin, ActionsMixinLow, AddressConcretizationMixin, \ - SizeNormalizationMixin, SizeConcretizationMixin, UnderconstrainedMixin, ActionsMixinHigh, InspectMixinHigh, \ + SizeNormalizationMixin, SizeConcretizationMixin, UnderconstrainedMixin, ActionsMixinHigh, InspectMixin, \ DataNormalizationMixin, NameResolutionMixin, UnwrapperMixin, SmartFindMixin from explorer.memory.EnclaveAwareMixin import EnclaveAwareMixin @@ -15,7 +15,7 @@ class EnclaveAwareMemory( NameResolutionMixin, # description: allows you to provide register names as load addresses, and will automatically translate this to an offset and size. DataNormalizationMixin, # description: Normalizes the data field for a store and the fallback field for a load to be BVs. # SimplificationMixin, # hooks stores and first calls state.solver.simplify(data) if options.SIMPLIFY_[MEMORY/REGISTER]_WRITES is set - InspectMixinHigh, # The logic to inspect memory/register reads/writes --> calls ._inspect before/after. + InspectMixin, # The logic to inspect memory/register reads/writes --> calls ._inspect before/after. ActionsMixinHigh, UnderconstrainedMixin, SizeConcretizationMixin, diff --git a/requirements.txt b/requirements.txt index e579e72..f4c8de0 100644 --- a/requirements.txt +++ b/requirements.txt @@ -1,10 +1,10 @@ aenum==3.1.17 ailment==9.2.158 -angr==9.2.217 +angr==9.2.221 angr_platforms @ git+https://github.com/angr/angr-platforms.git@ee1b6d9d20f11b250580fa0d867d51957b8f4e53 annotated-doc==0.0.4 ansi2html==1.9.2 -archinfo==9.2.217 +archinfo==9.2.221 arpy==1.1.1 asttokens==3.0.1 asyncio==4.0.0 @@ -15,8 +15,8 @@ cachetools==7.1.4 capstone==5.0.6 cart==1.2.3 cffi==2.0.0 -claripy==9.2.217 -cle==9.2.217 +claripy==9.2.221 +cle==9.2.221 click==8.4.1 colorama==0.4.6 commonmark==0.9.2 @@ -67,10 +67,10 @@ pyelftools==0.33 pyformlang==1.0.11 Pygments==2.20.0 pyparsing==3.3.2 -pypcode==3.3.3 +pypcode==4.0 PySMT==0.9.6 python-utils==3.9.1 -pyvex==9.2.217 +pyvex==9.2.221 pyxbe==1.0.3 pyxdia==0.1.0 rich==15.0.0