soot.jimple.toolkits.callgraph

Class OnFlyCallGraphBuilder.TraceBasedReflectionModel

java.lang.Object

soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.TraceBasedReflectionModel

All Implemented Interfaces:

ReflectionModel

Enclosing class:

OnFlyCallGraphBuilder

public class OnFlyCallGraphBuilder.TraceBasedReflectionModel
extends java.lang.Object
implements ReflectionModel

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Set<soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.TraceBasedReflectionModel.Guard>	guards
protected ReflectionTraceInfo	reflectionInfo

Method Summary

Methods

Modifier and Type	Method and Description
void	classForName(SootMethod container, Stmt forNameInvokeStmt) Adds an edge to all class initializers of all possible receivers of Class.forName() calls within source.
void	classNewInstance(SootMethod container, Stmt newInstanceInvokeStmt) Adds an edge to the constructor of the target class from this call to Class.newInstance().
void	contructorNewInstance(SootMethod container, Stmt newInstanceInvokeStmt) Adds a special edge of kind Kind.REFL_CONSTR_NEWINSTANCE to all possible target constructors of this call to Constructor.newInstance(Object...).
void	methodInvoke(SootMethod container, Stmt invokeStmt) Adds a special edge of kind Kind.REFL_INVOKE to all possible target methods of this call to Method.invoke(Object, Object...).

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

guards

protected java.util.Set<soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.TraceBasedReflectionModel.Guard> guards

reflectionInfo

protected ReflectionTraceInfo reflectionInfo

Method Detail

classForName

public void classForName(SootMethod container,
                Stmt forNameInvokeStmt)

Adds an edge to all class initializers of all possible receivers of Class.forName() calls within source.

Specified by:

classForName in interface ReflectionModel

classNewInstance

public void classNewInstance(SootMethod container,
                    Stmt newInstanceInvokeStmt)

Adds an edge to the constructor of the target class from this call to Class.newInstance().

Specified by:

classNewInstance in interface ReflectionModel

contructorNewInstance

public void contructorNewInstance(SootMethod container,
                         Stmt newInstanceInvokeStmt)

Adds a special edge of kind Kind.REFL_CONSTR_NEWINSTANCE to all possible target constructors of this call to Constructor.newInstance(Object...). Those kinds of edges are treated specially in terms of how parameters are assigned, as parameters to the reflective call are passed into the argument array of Constructor.newInstance(Object...).

Specified by:

contructorNewInstance in interface ReflectionModel

See Also:

PAG.addCallTarget(Edge)

methodInvoke

public void methodInvoke(SootMethod container,
                Stmt invokeStmt)

Adds a special edge of kind Kind.REFL_INVOKE to all possible target methods of this call to Method.invoke(Object, Object...). Those kinds of edges are treated specially in terms of how parameters are assigned, as parameters to the reflective call are passed into the argument array of Method.invoke(Object, Object...).

Specified by:

methodInvoke in interface ReflectionModel

See Also:

PAG.addCallTarget(Edge)