Methods in edu.toronto.cs.yasm.abstractor that return MemoryModel |
MemoryModel |
SymbolicExecutor.asmt(antlr.collections.AST _t,
MemoryModel mmIn)
|
MemoryModel |
SymbolicExecutor.block(antlr.collections.AST _t,
MemoryModel mmIn)
|
MemoryModel |
PredicateRefiner.computeRegularMemoryModel(PrllAsmtPStmt s)
|
MemoryModel |
SymbolicExecutor.functionCallArgs(antlr.collections.AST _t,
java.util.List declarations,
MemoryModel mmIn)
|
MemoryModel |
ExprExecutor.functionCallArgs(Expr args,
Expr params,
MemoryModel mm)
|
MemoryModel |
BranchPredicateRefiner.getRegularMemoryModel(PrllAsmtPStmt asmt)
|
MemoryModel |
CBJPredicateRefiner.getRegularMemoryModel(PrllAsmtPStmt asmt)
|
MemoryModel |
CFFCPredicateRefiner.getRegularMemoryModel(PrllAsmtPStmt asmt)
|
MemoryModel |
SymbolicExecutor.labelledStmt(antlr.collections.AST _t,
MemoryModel mmIn)
|
MemoryModel |
SymbolicExecutor.returnStmt(antlr.collections.AST _t,
java.lang.String returnVarName,
MemoryModel mmIn)
|
MemoryModel |
ExprExecutor.returnStmt(Expr e,
java.lang.String s,
MemoryModel mm)
|
MemoryModel |
SymbolicExecutor.stmt(antlr.collections.AST _t,
MemoryModel mmIn)
|
MemoryModel |
SymbolicExecutor.stmtList(antlr.collections.AST _t,
MemoryModel mmIn)
|
MemoryModel |
ExprExecutor.stmtList(Expr e,
MemoryModel mm)
|
Methods in edu.toronto.cs.yasm.abstractor with parameters of type MemoryModel |
MemoryModel |
SymbolicExecutor.asmt(antlr.collections.AST _t,
MemoryModel mmIn)
|
MemoryModel |
SymbolicExecutor.block(antlr.collections.AST _t,
MemoryModel mmIn)
|
Expr |
SymbolicExecutor.expr(antlr.collections.AST _t,
MemoryModel mm)
|
MemoryModel |
SymbolicExecutor.functionCallArgs(antlr.collections.AST _t,
java.util.List declarations,
MemoryModel mmIn)
|
MemoryModel |
ExprExecutor.functionCallArgs(Expr args,
Expr params,
MemoryModel mm)
|
MemoryModel |
SymbolicExecutor.labelledStmt(antlr.collections.AST _t,
MemoryModel mmIn)
|
Expr |
SymbolicExecutor.lval(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
SymbolicExecutor.pureAdditiveExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
SymbolicExecutor.pureEqualityExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
SymbolicExecutor.pureExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
SymbolicExecutor.pureLogicalAndExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
SymbolicExecutor.pureLogicalOrExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
SymbolicExecutor.pureMultExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
SymbolicExecutor.purePostfixExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
SymbolicExecutor.purePrefixExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
SymbolicExecutor.purePrimaryExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
SymbolicExecutor.pureRelationalExpr(antlr.collections.AST _t,
MemoryModel mm)
|
Expr |
SymbolicExecutor.pureUnaryExpr(antlr.collections.AST _t,
MemoryModel mm)
|
MemoryModel |
SymbolicExecutor.returnStmt(antlr.collections.AST _t,
java.lang.String returnVarName,
MemoryModel mmIn)
|
MemoryModel |
ExprExecutor.returnStmt(Expr e,
java.lang.String s,
MemoryModel mm)
|
MemoryModel |
SymbolicExecutor.stmt(antlr.collections.AST _t,
MemoryModel mmIn)
|
MemoryModel |
SymbolicExecutor.stmtList(antlr.collections.AST _t,
MemoryModel mmIn)
|
MemoryModel |
ExprExecutor.stmtList(Expr e,
MemoryModel mm)
|