public final class MemoryEngine extends java.lang.Object implements Engine<MemorySolution>
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ID |
static java.lang.String |
PARAM_ABSTRACTION |
static java.lang.String |
PARAM_ABSTRACTION_BUFFER_ACCESS |
static MemoryGraphAbstraction |
PARAM_ABSTRACTION_DEFAULT |
static java.lang.String |
PARAM_ABSTRACTION_TRIVIAL |
static java.lang.String |
PARAM_ABSTRACTION_UNIVERSAL |
static java.lang.String |
PARAM_ALIGN |
static DataType |
PARAM_ALIGN_DEFAULT |
static java.lang.String |
PARAM_PAGE_MASK |
static long |
PARAM_PAGE_MASK_DEFAULT |
Constructor and Description |
---|
MemoryEngine() |
Modifier and Type | Method and Description |
---|---|
void |
configure(java.util.Map<java.lang.String,java.lang.Object> attributes) |
java.util.Collection<java.lang.Long> |
getAllAddresses(MmuAddressInstance addressType,
RegionSettings region) |
static MemoryAccessConstraints |
getMemoryAccessConstraints(Call abstractCall) |
java.lang.Class<MemorySolution> |
getSolutionClass() |
static boolean |
isMemoryAccessWithSituation(Call abstractCall) |
EngineResult<MemorySolution> |
solve(EngineContext engineContext,
java.util.List<Call> abstractSequence) |
public static final java.lang.String ID
public static final java.lang.String PARAM_ABSTRACTION
public static final java.lang.String PARAM_ABSTRACTION_TRIVIAL
public static final java.lang.String PARAM_ABSTRACTION_UNIVERSAL
public static final java.lang.String PARAM_ABSTRACTION_BUFFER_ACCESS
public static final MemoryGraphAbstraction PARAM_ABSTRACTION_DEFAULT
public static final java.lang.String PARAM_PAGE_MASK
public static final long PARAM_PAGE_MASK_DEFAULT
public static final java.lang.String PARAM_ALIGN
public static final DataType PARAM_ALIGN_DEFAULT
public static boolean isMemoryAccessWithSituation(Call abstractCall)
public static MemoryAccessConstraints getMemoryAccessConstraints(Call abstractCall)
public java.lang.Class<MemorySolution> getSolutionClass()
getSolutionClass
in interface Engine<MemorySolution>
public void configure(java.util.Map<java.lang.String,java.lang.Object> attributes)
configure
in interface Engine<MemorySolution>
public EngineResult<MemorySolution> solve(EngineContext engineContext, java.util.List<Call> abstractSequence)
solve
in interface Engine<MemorySolution>
public java.util.Collection<java.lang.Long> getAllAddresses(MmuAddressInstance addressType, RegionSettings region)