|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of Stmt in soot.dava.internal.asg |
Methods in soot.dava.internal.asg that return Stmt | |
Stmt |
AugmentedStmt.get_Stmt()
|
Methods in soot.dava.internal.asg with parameters of type Stmt | |
void |
AugmentedStmt.set_Stmt(Stmt s)
|
void |
AugmentedStmtGraph.add_StmtBinding(Stmt s,
AugmentedStmt as)
|
AugmentedStmt |
AugmentedStmtGraph.get_AugStmt(Stmt s)
|
Constructors in soot.dava.internal.asg with parameters of type Stmt | |
AugmentedStmt(Stmt s)
|
Uses of Stmt in soot.dava.internal.javaRep |
Classes in soot.dava.internal.javaRep that implement Stmt | |
class |
DAbruptStmt
|
class |
DDecrementStmt
|
class |
DIdentityStmt
|
class |
DIncrementStmt
|
class |
DVariableDeclarationStmt
|
Uses of Stmt in soot.dava.toolkits.base.AST |
Methods in soot.dava.toolkits.base.AST with parameters of type Stmt | |
void |
ASTAnalysis.analyseStmt(Stmt s)
|
void |
ASTWalker.walk_stmt(ASTAnalysis a,
Stmt s)
|
Uses of Stmt in soot.dava.toolkits.base.AST.analysis |
Methods in soot.dava.toolkits.base.AST.analysis with parameters of type Stmt | |
void |
Analysis.caseStmt(Stmt s)
|
void |
AnalysisAdapter.caseStmt(Stmt s)
|
void |
DepthFirstAdapter.inStmt(Stmt s)
|
void |
DepthFirstAdapter.outStmt(Stmt s)
|
void |
DepthFirstAdapter.caseStmt(Stmt s)
|
Uses of Stmt in soot.dava.toolkits.base.AST.structuredAnalysis |
Methods in soot.dava.toolkits.base.AST.structuredAnalysis with parameters of type Stmt | |
Object |
MustMayInitialize.processStatement(Stmt s,
Object input)
|
Object |
ReachingCopies.processStatement(Stmt s,
Object input)
|
Object |
ReachingDefs.processStatement(Stmt s,
Object input)
|
abstract Object |
StructuredAnalysis.processStatement(Stmt s,
Object input)
Specific stmts within AST Constructs are processed through this method. |
Object |
StructuredAnalysis.processAbruptStatements(Stmt s,
DavaFlowSet input)
Whenever a statement has to be processed the first step is to invoke this method. |
Uses of Stmt in soot.dava.toolkits.base.AST.transformations |
Methods in soot.dava.toolkits.base.AST.transformations with parameters of type Stmt | |
boolean |
LocalVariableCleaner.removeStmt(Stmt stmt)
|
Uses of Stmt in soot.dava.toolkits.base.AST.traversals |
Methods in soot.dava.toolkits.base.AST.traversals with parameters of type Stmt | |
void |
ASTParentNodeFinder.inStmt(Stmt s)
|
void |
ASTUsesAndDefs.checkStatementUses(Stmt s,
Object useNodeOrStatement)
|
void |
AllVariableUses.checkStatementUses(Stmt s,
Object useNodeOrStatement)
|
void |
ClosestAbruptTargetFinder.inStmt(Stmt s)
|
boolean |
CopyPropagation.isCopyStmt(Stmt s)
|
void |
CopyPropagation.removeStmt(Stmt stmt)
|
Uses of Stmt in soot.grimp.internal |
Classes in soot.grimp.internal that implement Stmt | |
class |
GAssignStmt
|
class |
GEnterMonitorStmt
|
class |
GExitMonitorStmt
|
class |
GIdentityStmt
|
class |
GIfStmt
|
class |
GInvokeStmt
|
class |
GLookupSwitchStmt
|
class |
GReturnStmt
|
class |
GTableSwitchStmt
|
class |
GThrowStmt
|
Uses of Stmt in soot.jimple |
Subinterfaces of Stmt in soot.jimple | |
interface |
AssignStmt
|
interface |
BreakpointStmt
|
interface |
DefinitionStmt
|
interface |
EnterMonitorStmt
|
interface |
ExitMonitorStmt
|
interface |
GotoStmt
|
interface |
IdentityStmt
|
interface |
IfStmt
|
interface |
InvokeStmt
|
interface |
LookupSwitchStmt
|
interface |
MonitorStmt
|
interface |
NopStmt
|
interface |
RetStmt
|
interface |
ReturnStmt
|
interface |
ReturnVoidStmt
|
interface |
TableSwitchStmt
|
interface |
ThrowStmt
|
Classes in soot.jimple that implement Stmt | |
class |
PlaceholderStmt
|
Methods in soot.jimple that return Stmt | |
Stmt |
IfStmt.getTarget()
|
Stmt |
JimpleBody.getFirstNonIdentityStmt()
Returns the first non-identity stmt in this body. |
Methods in soot.jimple with parameters of type Stmt | |
boolean |
EqualLocals.isLocalEqualToAt(Local l1,
Local l2,
Stmt s)
|
List |
EqualLocals.getCopiesAt(Stmt s)
|
protected void |
PointerStmtSwitch.caseUninterestingStmt(Stmt s)
Any other statement |
Constructors in soot.jimple with parameters of type Stmt | |
LocalStmtPair(Local local,
Stmt stmt)
|
Uses of Stmt in soot.jimple.internal |
Classes in soot.jimple.internal that implement Stmt | |
class |
AbstractDefinitionStmt
|
class |
AbstractStmt
|
class |
JAssignStmt
|
class |
JBreakpointStmt
|
class |
JEnterMonitorStmt
|
class |
JExitMonitorStmt
|
class |
JGotoStmt
|
class |
JIdentityStmt
|
class |
JIfStmt
|
class |
JInvokeStmt
|
class |
JLookupSwitchStmt
|
class |
JNopStmt
|
class |
JRetStmt
|
class |
JReturnStmt
|
class |
JReturnVoidStmt
|
class |
JTableSwitchStmt
|
class |
JThrowStmt
|
Methods in soot.jimple.internal that return Stmt | |
Stmt |
JIfStmt.getTarget()
|
Constructors in soot.jimple.internal with parameters of type Stmt | |
StmtBox(Stmt s)
|
Uses of Stmt in soot.jimple.spark.builder |
Methods in soot.jimple.spark.builder with parameters of type Stmt | |
void |
MethodNodeFactory.handleStmt(Stmt s)
Adds the edges required for this statement to the graph. |
Uses of Stmt in soot.jimple.spark.pag |
Methods in soot.jimple.spark.pag with parameters of type Stmt | |
void |
PAG.addCallTarget(MethodPAG srcmpag,
MethodPAG tgtmpag,
Stmt s,
Context srcContext,
Context tgtContext)
Adds method target as a possible target of the invoke expression in s. |
Uses of Stmt in soot.jimple.toolkits.annotation.arraycheck |
Methods in soot.jimple.toolkits.annotation.arraycheck with parameters of type Stmt | |
protected int |
ArrayBoundsChecker.interpretGraph(soot.jimple.toolkits.annotation.arraycheck.WeightedDirectedSparseGraph vgraph,
ArrayRef aref,
Stmt stmt,
soot.jimple.toolkits.annotation.arraycheck.IntContainer zero)
|
Uses of Stmt in soot.jimple.toolkits.annotation.purity |
Methods in soot.jimple.toolkits.annotation.purity with parameters of type Stmt | |
protected abstract void |
AbstractInterproceduralAnalysis.applySummary(Object src,
Stmt callStmt,
Object summary,
Object dst)
Interprocedural analysis will call applySummary repeatidly as a consequence to analyseCall. |
protected void |
AbstractInterproceduralAnalysis.analyseCall(Object src,
Stmt callStmt,
Object dst)
Analyse the call callStmt in the context src, and put the resul into dst. |
protected void |
PurityInterproceduralAnalysis.applySummary(Object src,
Stmt stmt,
Object summary,
Object dst)
|
Uses of Stmt in soot.jimple.toolkits.base |
Methods in soot.jimple.toolkits.base that return Stmt | |
Stmt |
ExceptionCheckerError.throwing()
|
Methods in soot.jimple.toolkits.base with parameters of type Stmt | |
protected boolean |
ExceptionChecker.isExceptionCaught(Body b,
Stmt s,
RefType throwType)
|
protected boolean |
ExceptionChecker.isThrowInStmtRange(Body b,
Stmt begin,
Stmt end,
Stmt s)
|
protected void |
ExceptionChecker.checkInvokeExpr(Body b,
InvokeExpr ie,
Stmt s)
|
void |
ExceptionCheckerError.throwing(Stmt s)
|
Constructors in soot.jimple.toolkits.base with parameters of type Stmt | |
ExceptionCheckerError(SootMethod m,
SootClass sc,
Stmt s,
SourceLnPosTag pos)
|
Uses of Stmt in soot.jimple.toolkits.callgraph |
Methods in soot.jimple.toolkits.callgraph that return Stmt | |
Stmt |
ContextSensitiveEdge.srcStmt()
|
Stmt |
Edge.srcStmt()
|
Stmt |
VirtualCallSite.stmt()
|
Constructors in soot.jimple.toolkits.callgraph with parameters of type Stmt | |
Edge(MethodOrMethodContext src,
Stmt srcUnit,
MethodOrMethodContext tgt)
|
|
VirtualCallSite(Stmt stmt,
SootMethod container,
InstanceInvokeExpr iie,
NumberedString subSig,
Kind kind)
|
Uses of Stmt in soot.jimple.toolkits.invoke |
Methods in soot.jimple.toolkits.invoke that return Stmt | |
static Stmt |
ThrowManager.getNullPointerExceptionThrower(JimpleBody b)
Iterate through the statements in b (starting at the end), returning the last instance of the following pattern: r928 = new java.lang.NullPointerException; specialinvoke r928." |
Methods in soot.jimple.toolkits.invoke with parameters of type Stmt | |
static boolean |
AccessManager.isAccessLegal(SootMethod container,
Stmt stmt)
Returns true if the statement stmt contains an illegal access to a field or method,
assuming the statement is in method container |
static void |
AccessManager.createAccessorMethods(Body body,
Stmt before,
Stmt after)
Resolves illegal accesses in the interval ]before,after[ by creating accessor methods. |
static void |
AccessManager.createAccessorMethod(SootMethod container,
Stmt stmt)
Turns a field access or method call into a call to an accessor method. |
static boolean |
InlinerSafetyManager.ensureInlinability(SootMethod target,
Stmt toInline,
SootMethod container,
String modifierOptions)
Returns true if this method can be inlined at the given site. |
static void |
SiteInliner.inlineSite(SootMethod inlinee,
Stmt toInline,
SootMethod container)
Inlines the method inlinee into the container
at the point toInline . |
static List |
SiteInliner.inlineSite(SootMethod inlinee,
Stmt toInline,
SootMethod container,
Map options)
Inlines the given site. |
Local |
SynchronizerManager.addStmtsToFetchClassBefore(JimpleBody jb,
Stmt target)
Adds code to fetch the static Class object to the given JimpleBody before the target Stmt. |
void |
SynchronizerManager.synchronizeStmtOn(Stmt stmt,
JimpleBody b,
Local lock)
Wraps stmt around a monitor associated with local lock. |
Uses of Stmt in soot.jimple.toolkits.pointer |
Methods in soot.jimple.toolkits.pointer with parameters of type Stmt | |
protected Object |
FieldRWTagger.keyFor(Stmt s)
|
RWSet |
SideEffectAnalysis.readSet(SootMethod method,
Stmt stmt)
|
RWSet |
SideEffectAnalysis.writeSet(SootMethod method,
Stmt stmt)
|
protected RWSet |
SideEffectAnalysis.addValue(Value v,
SootMethod m,
Stmt s)
|
protected Object |
SideEffectTagger.keyFor(Stmt s)
|
Uses of Stmt in soot.shimple.toolkits.graph |
Methods in soot.shimple.toolkits.graph with parameters of type Stmt | |
protected void |
ValueGraph.handleStmt(Stmt stmt)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |