Methods
Modifier and Type |
Method and Description |
static java.util.Map<IntegerVariable,java.math.BigInteger> |
generateData(MemoryAccess access,
java.util.Collection<MmuCondition> conditions,
java.util.Collection<IntegerConstraint<IntegerField>> constraints,
IntegerVariableInitializer initializer) |
static boolean |
isDisabledTransition(MmuTransition transition) |
static boolean |
isFeasibleAccess(MemoryAccess access) |
static boolean |
isFeasibleEntry(MemoryAccessPath.Entry entry,
MemoryAccessType type,
MemoryAccessConstraints constraints,
MemorySymbolicResult partialResult) |
static boolean |
isFeasibleStructure(java.util.List<MemoryAccess> structure) |
static boolean |
isValidTransition(MmuTransition transition,
MemoryAccessType type) |
static IntegerFormulaBuilder<IntegerField> |
newFormulaBuilder() |
static Solver<java.util.Map<IntegerVariable,java.math.BigInteger>> |
newSolver(IntegerFormulaBuilder<IntegerField> builder,
IntegerVariableInitializer initializer) |
static MemorySymbolicExecutor |
newSymbolicExecutor(RegionSettings region) |
static MemorySymbolicExecutor |
newSymbolicExecutor(RegionSettings region,
MemorySymbolicResult result) |
static MemorySymbolicRestrictor |
newSymbolicRestrictor(RegionSettings region) |
static MemorySymbolicResult |
newSymbolicResult() |