Modifier and Type | Field and Description |
---|---|
protected SootMethod |
Body.method
The method associated with this Body.
|
protected SootMethod |
Body.method
The method associated with this Body.
|
Modifier and Type | Field and Description |
---|---|
protected List<SootMethod> |
SootClass.methodList |
protected List<SootMethod> |
SootClass.methodList |
HashMap<SootMethod,MethodPAG> |
G.MethodPAG_methodToPag |
HashMap<SootMethod,MethodPAG> |
G.MethodPAG_methodToPag |
Map<Pair<SootMethod,Integer>,Parm> |
G.Parm_pairToElement |
Map<Pair<SootMethod,Integer>,Parm> |
G.Parm_pairToElement |
ArrayList<SootMethod> |
G.SootMethodsAdded |
ArrayList<SootMethod> |
G.SootMethodsAdded |
protected SmallNumberedMap<SootMethod> |
SootClass.subSigToMethods |
protected SmallNumberedMap<SootMethod> |
SootClass.subSigToMethods |
Modifier and Type | Method and Description |
---|---|
SootMethod |
Scene.getMainMethod() |
SootMethod |
Scene.getMainMethod() |
SootMethod |
Body.getMethod()
Returns the method associated with this Body.
|
SootMethod |
Body.getMethod()
Returns the method associated with this Body.
|
SootMethod |
SootClass.getMethod(NumberedString subsignature)
Returns the method of this class with the given subsignature.
|
SootMethod |
SootClass.getMethod(NumberedString subsignature)
Returns the method of this class with the given subsignature.
|
SootMethod |
Scene.getMethod(String methodSignature) |
SootMethod |
SootClass.getMethod(String subsignature) |
SootMethod |
Scene.getMethod(String methodSignature) |
SootMethod |
SootClass.getMethod(String subsignature) |
SootMethod |
SootClass.getMethod(String name,
List<Type> parameterTypes)
Attempts to retrieve the method with the given name and parameters.
|
SootMethod |
SootClass.getMethod(String name,
List<Type> parameterTypes)
Attempts to retrieve the method with the given name and parameters.
|
SootMethod |
SootClass.getMethod(String name,
List<Type> parameterTypes,
Type returnType)
Attempts to retrieve the method with the given name, parameters and
return type.
|
SootMethod |
SootClass.getMethod(String name,
List<Type> parameterTypes,
Type returnType)
Attempts to retrieve the method with the given name, parameters and
return type.
|
SootMethod |
SootClass.getMethodByName(String name)
Attempts to retrieve the method with the given name.
|
SootMethod |
SootClass.getMethodByName(String name)
Attempts to retrieve the method with the given name.
|
SootMethod |
SootClass.getMethodByNameUnsafe(String name)
Attempts to retrieve the method with the given name.
|
SootMethod |
SootClass.getMethodByNameUnsafe(String name)
Attempts to retrieve the method with the given name.
|
SootMethod |
SootClass.getMethodUnsafe(NumberedString subsignature)
Returns the method of this class with the given subsignature.
|
SootMethod |
SootClass.getMethodUnsafe(NumberedString subsignature)
Returns the method of this class with the given subsignature.
|
SootMethod |
SootClass.getMethodUnsafe(String subsignature) |
SootMethod |
SootClass.getMethodUnsafe(String subsignature) |
SootMethod |
SootClass.getMethodUnsafe(String name,
List<Type> parameterTypes,
Type returnType)
Attempts to retrieve the method with the given name, parameters and
return type.
|
SootMethod |
SootClass.getMethodUnsafe(String name,
List<Type> parameterTypes,
Type returnType)
Attempts to retrieve the method with the given name, parameters and
return type.
|
SootMethod |
Scene.grabMethod(String methodSignature) |
SootMethod |
Scene.grabMethod(String methodSignature) |
SootMethod |
MethodContext.method() |
SootMethod |
MethodOrMethodContext.method() |
SootMethod |
SootMethod.method() |
SootMethod |
MethodOrMethodContext.method() |
SootMethod |
SootMethod.method() |
SootMethod |
MethodContext.method() |
SootMethod |
SootMethodRef.resolve()
Resolves this method call, i.e., finds the method to which this reference
points.
|
SootMethod |
SootMethodRef.resolve()
Resolves this method call, i.e., finds the method to which this reference
points.
|
SootMethod |
FastHierarchy.resolveConcreteDispatch(SootClass concreteType,
SootMethod m)
Given an object of actual type C (o = new C()), returns the method which will be called
on an o.f() invocation.
|
SootMethod |
Hierarchy.resolveConcreteDispatch(SootClass concreteType,
SootMethod m)
Given an object of actual type C (o = new C()), returns the method which
will be called on an o.f() invocation.
|
SootMethod |
Hierarchy.resolveConcreteDispatch(SootClass concreteType,
SootMethod m)
Given an object of actual type C (o = new C()), returns the method which
will be called on an o.f() invocation.
|
SootMethod |
FastHierarchy.resolveConcreteDispatch(SootClass concreteType,
SootMethod m)
Given an object of actual type C (o = new C()), returns the method which will be called
on an o.f() invocation.
|
SootMethod |
FastHierarchy.resolveSpecialDispatch(SpecialInvokeExpr ie,
SootMethod container)
Returns the target for the given SpecialInvokeExpr.
|
SootMethod |
Hierarchy.resolveSpecialDispatch(SpecialInvokeExpr ie,
SootMethod container)
Returns the target for the given SpecialInvokeExpr.
|
SootMethod |
Hierarchy.resolveSpecialDispatch(SpecialInvokeExpr ie,
SootMethod container)
Returns the target for the given SpecialInvokeExpr.
|
SootMethod |
FastHierarchy.resolveSpecialDispatch(SpecialInvokeExpr ie,
SootMethod container)
Returns the target for the given SpecialInvokeExpr.
|
SootMethod |
SootMethodRef.tryResolve()
Tries to resolve this method call, i.e., tries to finds the method to
which this reference points.
|
SootMethod |
SootMethodRef.tryResolve()
Tries to resolve this method call, i.e., tries to finds the method to
which this reference points.
|
Modifier and Type | Method and Description |
---|---|
List<SootMethod> |
EntryPoints.all()
Returns all the entry points.
|
List<SootMethod> |
EntryPoints.all()
Returns all the entry points.
|
List<SootMethod> |
EntryPoints.allInits()
Returns a list of all constructors.
|
List<SootMethod> |
EntryPoints.allInits()
Returns a list of all constructors.
|
List<SootMethod> |
EntryPoints.application()
Returns only the application entry points, not including entry points
invoked implicitly by the VM.
|
List<SootMethod> |
EntryPoints.application()
Returns only the application entry points, not including entry points
invoked implicitly by the VM.
|
List<SootMethod> |
EntryPoints.clinits()
Returns a list of all static initializers.
|
List<SootMethod> |
EntryPoints.clinits()
Returns a list of all static initializers.
|
List<SootMethod> |
EntryPoints.clinitsOf(SootClass cl)
Returns a list of all clinits of class cl and its superclasses.
|
List<SootMethod> |
EntryPoints.clinitsOf(SootClass cl)
Returns a list of all clinits of class cl and its superclasses.
|
List<SootMethod> |
Scene.getEntryPoints()
Get the set of entry points that are used to build the call graph.
|
List<SootMethod> |
Scene.getEntryPoints()
Get the set of entry points that are used to build the call graph.
|
ArrayNumberer<SootMethod> |
Scene.getMethodNumberer() |
ArrayNumberer<SootMethod> |
Scene.getMethodNumberer() |
List<SootMethod> |
SootClass.getMethods() |
List<SootMethod> |
SootClass.getMethods() |
List<SootMethod> |
EntryPoints.implicit()
Returns only the entry points invoked implicitly by the VM.
|
List<SootMethod> |
EntryPoints.implicit()
Returns only the entry points invoked implicitly by the VM.
|
List<SootMethod> |
EntryPoints.inits()
Returns a list of all constructors taking no arguments.
|
List<SootMethod> |
EntryPoints.inits()
Returns a list of all constructors taking no arguments.
|
List<SootMethod> |
EntryPoints.mainsOfApplicationClasses()
Returns a list of all concrete main(String[]) methods of all
application classes.
|
List<SootMethod> |
EntryPoints.mainsOfApplicationClasses()
Returns a list of all concrete main(String[]) methods of all
application classes.
|
Iterator<SootMethod> |
SootClass.methodIterator()
Returns an iterator over the methods in this class.
|
Iterator<SootMethod> |
SootClass.methodIterator()
Returns an iterator over the methods in this class.
|
List<SootMethod> |
EntryPoints.methodsOfApplicationClasses()
Returns a list of all concrete methods of all application classes.
|
List<SootMethod> |
EntryPoints.methodsOfApplicationClasses()
Returns a list of all concrete methods of all application classes.
|
List<SootMethod> |
Hierarchy.resolveAbstractDispatch(List<SootClass> classes,
SootMethod m)
Returns a list of possible targets for the given method and set of receiver types.
|
List<SootMethod> |
Hierarchy.resolveAbstractDispatch(List<SootClass> classes,
SootMethod m)
Returns a list of possible targets for the given method and set of receiver types.
|
Set<SootMethod> |
FastHierarchy.resolveAbstractDispatch(SootClass abstractType,
SootMethod m)
Given an object of declared type C, returns the methods which could
be called on an o.f() invocation.
|
List<SootMethod> |
Hierarchy.resolveAbstractDispatch(SootClass c,
SootMethod m)
Given an abstract dispatch to an object of type c and a method m, gives
a list of possible receiver methods.
|
List<SootMethod> |
Hierarchy.resolveAbstractDispatch(SootClass c,
SootMethod m)
Given an abstract dispatch to an object of type c and a method m, gives
a list of possible receiver methods.
|
Set<SootMethod> |
FastHierarchy.resolveAbstractDispatch(SootClass abstractType,
SootMethod m)
Given an object of declared type C, returns the methods which could
be called on an o.f() invocation.
|
Collection<SootMethod> |
FastHierarchy.resolveConcreteDispatch(Collection<Type> concreteTypes,
SootMethod m,
RefType declaredTypeOfBase) |
Collection<SootMethod> |
FastHierarchy.resolveConcreteDispatch(Collection<Type> concreteTypes,
SootMethod m,
RefType declaredTypeOfBase) |
List<SootMethod> |
Hierarchy.resolveConcreteDispatch(List<Type> classes,
SootMethod m)
Given a set of definite receiver types, returns a list of possible targets.
|
List<SootMethod> |
Hierarchy.resolveConcreteDispatch(List<Type> classes,
SootMethod m)
Given a set of definite receiver types, returns a list of possible targets.
|
Collection<SootMethod> |
FastHierarchy.resolveConcreteDispatchWithoutFailing(Collection<Type> concreteTypes,
SootMethod m,
RefType declaredTypeOfBase) |
Collection<SootMethod> |
FastHierarchy.resolveConcreteDispatchWithoutFailing(Collection<Type> concreteTypes,
SootMethod m,
RefType declaredTypeOfBase) |
Modifier and Type | Method and Description |
---|---|
void |
SootClass.addMethod(SootMethod m)
Adds the given method to this class.
|
void |
SootClass.addMethod(SootMethod m)
Adds the given method to this class.
|
BafBody |
PackManager.convertJimpleBodyToBaf(SootMethod m) |
BafBody |
PackManager.convertJimpleBodyToBaf(SootMethod m) |
protected void |
AbstractJasminClass.emitMethod(SootMethod method) |
protected void |
AbstractJasminClass.emitMethod(SootMethod method) |
protected abstract void |
AbstractJasminClass.emitMethodBody(SootMethod method) |
protected abstract void |
AbstractJasminClass.emitMethodBody(SootMethod method) |
protected void |
AbstractASMBackend.generateAttributes(MethodVisitor mv,
SootMethod m)
Emits the bytecode for all attributes of a method
|
protected void |
AbstractASMBackend.generateAttributes(MethodVisitor mv,
SootMethod m)
Emits the bytecode for all attributes of a method
|
protected abstract void |
AbstractASMBackend.generateMethodBody(MethodVisitor mv,
SootMethod method)
Emits the bytecode for the body of a single method
Has to be implemented by subclasses to suit their needs
|
protected abstract void |
AbstractASMBackend.generateMethodBody(MethodVisitor mv,
SootMethod method)
Emits the bytecode for the body of a single method
Has to be implemented by subclasses to suit their needs
|
List<MethodOrMethodContext> |
MethodToContexts.get(SootMethod m) |
List<MethodOrMethodContext> |
MethodToContexts.get(SootMethod m) |
protected BafBody |
AbstractASMBackend.getBafBody(SootMethod method)
Gets the baf body for the given SootMethod.
|
protected BafBody |
AbstractASMBackend.getBafBody(SootMethod method)
Gets the baf body for the given SootMethod.
|
Body |
MethodSource.getBody(SootMethod m,
String phaseName)
Returns a filled-out body for the given SootMethod.
|
Body |
UnknownMethodSource.getBody(SootMethod m,
String phaseName) |
Body |
UnknownMethodSource.getBody(SootMethod m,
String phaseName) |
Body |
MethodSource.getBody(SootMethod m,
String phaseName)
Returns a filled-out body for the given SootMethod.
|
protected int |
AbstractASMBackend.getMinJavaVersion(SootMethod sm)
Determines the minimum Java version required for the bytecode of the given SootMethod
Subclasses should override this method to suit their needs, otherwise Java 1.7 is assumed for compatibility with invokeDynamic
|
protected int |
AbstractASMBackend.getMinJavaVersion(SootMethod sm)
Determines the minimum Java version required for the bytecode of the given SootMethod
Subclasses should override this method to suit their needs, otherwise Java 1.7 is assumed for compatibility with invokeDynamic
|
void |
SideEffectTester.newMethod(SootMethod m) |
void |
SideEffectTester.newMethod(SootMethod m) |
void |
SootClass.removeMethod(SootMethod m)
Removes the given method from this class.
|
void |
SootClass.removeMethod(SootMethod m)
Removes the given method from this class.
|
List<SootMethod> |
Hierarchy.resolveAbstractDispatch(List<SootClass> classes,
SootMethod m)
Returns a list of possible targets for the given method and set of receiver types.
|
List<SootMethod> |
Hierarchy.resolveAbstractDispatch(List<SootClass> classes,
SootMethod m)
Returns a list of possible targets for the given method and set of receiver types.
|
Set<SootMethod> |
FastHierarchy.resolveAbstractDispatch(SootClass abstractType,
SootMethod m)
Given an object of declared type C, returns the methods which could
be called on an o.f() invocation.
|
List<SootMethod> |
Hierarchy.resolveAbstractDispatch(SootClass c,
SootMethod m)
Given an abstract dispatch to an object of type c and a method m, gives
a list of possible receiver methods.
|
List<SootMethod> |
Hierarchy.resolveAbstractDispatch(SootClass c,
SootMethod m)
Given an abstract dispatch to an object of type c and a method m, gives
a list of possible receiver methods.
|
Set<SootMethod> |
FastHierarchy.resolveAbstractDispatch(SootClass abstractType,
SootMethod m)
Given an object of declared type C, returns the methods which could
be called on an o.f() invocation.
|
Collection<SootMethod> |
FastHierarchy.resolveConcreteDispatch(Collection<Type> concreteTypes,
SootMethod m,
RefType declaredTypeOfBase) |
Collection<SootMethod> |
FastHierarchy.resolveConcreteDispatch(Collection<Type> concreteTypes,
SootMethod m,
RefType declaredTypeOfBase) |
List<SootMethod> |
Hierarchy.resolveConcreteDispatch(List<Type> classes,
SootMethod m)
Given a set of definite receiver types, returns a list of possible targets.
|
List<SootMethod> |
Hierarchy.resolveConcreteDispatch(List<Type> classes,
SootMethod m)
Given a set of definite receiver types, returns a list of possible targets.
|
SootMethod |
FastHierarchy.resolveConcreteDispatch(SootClass concreteType,
SootMethod m)
Given an object of actual type C (o = new C()), returns the method which will be called
on an o.f() invocation.
|
SootMethod |
Hierarchy.resolveConcreteDispatch(SootClass concreteType,
SootMethod m)
Given an object of actual type C (o = new C()), returns the method which
will be called on an o.f() invocation.
|
SootMethod |
Hierarchy.resolveConcreteDispatch(SootClass concreteType,
SootMethod m)
Given an object of actual type C (o = new C()), returns the method which
will be called on an o.f() invocation.
|
SootMethod |
FastHierarchy.resolveConcreteDispatch(SootClass concreteType,
SootMethod m)
Given an object of actual type C (o = new C()), returns the method which will be called
on an o.f() invocation.
|
Collection<SootMethod> |
FastHierarchy.resolveConcreteDispatchWithoutFailing(Collection<Type> concreteTypes,
SootMethod m,
RefType declaredTypeOfBase) |
Collection<SootMethod> |
FastHierarchy.resolveConcreteDispatchWithoutFailing(Collection<Type> concreteTypes,
SootMethod m,
RefType declaredTypeOfBase) |
SootMethod |
FastHierarchy.resolveSpecialDispatch(SpecialInvokeExpr ie,
SootMethod container)
Returns the target for the given SpecialInvokeExpr.
|
SootMethod |
Hierarchy.resolveSpecialDispatch(SpecialInvokeExpr ie,
SootMethod container)
Returns the target for the given SpecialInvokeExpr.
|
SootMethod |
Hierarchy.resolveSpecialDispatch(SpecialInvokeExpr ie,
SootMethod container)
Returns the target for the given SpecialInvokeExpr.
|
SootMethod |
FastHierarchy.resolveSpecialDispatch(SpecialInvokeExpr ie,
SootMethod container)
Returns the target for the given SpecialInvokeExpr.
|
void |
Body.setMethod(SootMethod method)
Sets the method associated with this Body.
|
void |
Body.setMethod(SootMethod method)
Sets the method associated with this Body.
|
static MethodOrMethodContext |
MethodContext.v(SootMethod method,
Context context) |
static MethodOrMethodContext |
MethodContext.v(SootMethod method,
Context context) |
Modifier and Type | Method and Description |
---|---|
void |
Scene.setEntryPoints(List<SootMethod> entryPoints)
Change the set of entry point methods used to build the call graph.
|
void |
Scene.setEntryPoints(List<SootMethod> entryPoints)
Change the set of entry point methods used to build the call graph.
|
Constructor and Description |
---|
Body(SootMethod m)
Creates a Body associated to the given method.
|
Body(SootMethod m)
Creates a Body associated to the given method.
|
Modifier and Type | Method and Description |
---|---|
SootMethod |
MethodArgInst.getMethod() |
SootMethod |
MethodArgInst.getMethod() |
Modifier and Type | Method and Description |
---|---|
protected void |
JasminClass.emitMethodBody(SootMethod method) |
protected void |
JasminClass.emitMethodBody(SootMethod method) |
protected void |
BafASMBackend.generateMethodBody(MethodVisitor mv,
SootMethod method) |
protected void |
BafASMBackend.generateMethodBody(MethodVisitor mv,
SootMethod method) |
protected int |
BafASMBackend.getMinJavaVersion(SootMethod method) |
protected int |
BafASMBackend.getMinJavaVersion(SootMethod method) |
BafBody |
Baf.newBody(SootMethod m)
Returns an empty BafBody associated with method m.
|
BafBody |
Baf.newBody(SootMethod m)
Returns an empty BafBody associated with method m.
|
Modifier and Type | Field and Description |
---|---|
SootMethod |
method_info.jmethod |
SootMethod |
method_info.jmethod |
Modifier and Type | Field and Description |
---|---|
static HashMap<SootMethod,int[]> |
CFG.methodsToVEM |
static HashMap<SootMethod,int[]> |
CFG.methodsToVEM |
Modifier and Type | Method and Description |
---|---|
Body |
CoffiMethodSource.getBody(SootMethod m,
String phaseName) |
Body |
CoffiMethodSource.getBody(SootMethod m,
String phaseName) |
Modifier and Type | Method and Description |
---|---|
ASTMethodNode |
DavaStaticBlockCleaner.inline(SootMethod maybeInline) |
ASTMethodNode |
DavaStaticBlockCleaner.inline(SootMethod maybeInline) |
DavaBody |
Dava.newBody(SootMethod m) |
DavaBody |
Dava.newBody(SootMethod m) |
Constructor and Description |
---|
StaticDefinitionFinder(boolean verbose,
SootMethod method) |
StaticDefinitionFinder(boolean verbose,
SootMethod method) |
StaticDefinitionFinder(SootMethod method) |
StaticDefinitionFinder(SootMethod method) |
Modifier and Type | Method and Description |
---|---|
static SootMethod |
DexMethod.makeSootMethod(DexFile dexFile,
Method method,
SootClass declaringClass)
Retrieve the SootMethod equivalent of this method
|
static SootMethod |
DexMethod.makeSootMethod(DexFile dexFile,
Method method,
SootClass declaringClass)
Retrieve the SootMethod equivalent of this method
|
Modifier and Type | Method and Description |
---|---|
Body |
DexBody.jimplify(Body b,
SootMethod m)
Return the jimple equivalent of this body.
|
Body |
DexBody.jimplify(Body b,
SootMethod m)
Return the jimple equivalent of this body.
|
Modifier and Type | Method and Description |
---|---|
GrimpBody |
Grimp.newBody(SootMethod m)
Returns an empty GrimpBody associated with method m.
|
GrimpBody |
Grimp.newBody(SootMethod m)
Returns an empty GrimpBody associated with method m.
|
Modifier and Type | Method and Description |
---|---|
HashMap<polyglot.util.IdentityKey,SootMethod> |
InitialResolver.getPrivateFieldGetAccessMap() |
HashMap<polyglot.util.IdentityKey,SootMethod> |
InitialResolver.getPrivateFieldGetAccessMap() |
HashMap<polyglot.util.IdentityKey,SootMethod> |
InitialResolver.getPrivateFieldSetAccessMap() |
HashMap<polyglot.util.IdentityKey,SootMethod> |
InitialResolver.getPrivateFieldSetAccessMap() |
HashMap<polyglot.util.IdentityKey,SootMethod> |
InitialResolver.getPrivateMethodGetAccessMap() |
HashMap<polyglot.util.IdentityKey,SootMethod> |
InitialResolver.getPrivateMethodGetAccessMap() |
Modifier and Type | Method and Description |
---|---|
void |
InitialResolver.addToPrivateFieldGetAccessMap(polyglot.ast.Field field,
SootMethod meth) |
void |
InitialResolver.addToPrivateFieldGetAccessMap(polyglot.ast.Field field,
SootMethod meth) |
void |
InitialResolver.addToPrivateFieldSetAccessMap(polyglot.ast.Field field,
SootMethod meth) |
void |
InitialResolver.addToPrivateFieldSetAccessMap(polyglot.ast.Field field,
SootMethod meth) |
void |
InitialResolver.addToPrivateMethodGetAccessMap(polyglot.ast.Call call,
SootMethod meth) |
void |
InitialResolver.addToPrivateMethodGetAccessMap(polyglot.ast.Call call,
SootMethod meth) |
JimpleBody |
AnonInitBodyBuilder.createBody(SootMethod sootMethod) |
JimpleBody |
AnonInitBodyBuilder.createBody(SootMethod sootMethod) |
protected JimpleBody |
AbstractJimpleBodyBuilder.createJimpleBody(polyglot.ast.Block block,
List formals,
SootMethod sootMethod) |
JimpleBody |
JimpleBodyBuilder.createJimpleBody(polyglot.ast.Block block,
List formals,
SootMethod sootMethod)
Jimple Body Creation
|
JimpleBody |
JimpleBodyBuilder.createJimpleBody(polyglot.ast.Block block,
List formals,
SootMethod sootMethod)
Jimple Body Creation
|
protected JimpleBody |
AbstractJimpleBodyBuilder.createJimpleBody(polyglot.ast.Block block,
List formals,
SootMethod sootMethod) |
Body |
AnonClassInitMethodSource.getBody(SootMethod sootMethod,
String phaseName) |
Body |
AssertClassMethodSource.getBody(SootMethod sootMethod,
String phaseName) |
Body |
ClassLiteralMethodSource.getBody(SootMethod sootMethod,
String phaseName) |
Body |
PolyglotMethodSource.getBody(SootMethod sm,
String phaseName) |
Body |
PrivateFieldAccMethodSource.getBody(SootMethod sootMethod,
String phaseName) |
Body |
PrivateFieldSetMethodSource.getBody(SootMethod sootMethod,
String phaseName) |
Body |
PrivateMethodAccMethodSource.getBody(SootMethod sootMethod,
String phaseName) |
Body |
AnonClassInitMethodSource.getBody(SootMethod sootMethod,
String phaseName) |
Body |
PolyglotMethodSource.getBody(SootMethod sm,
String phaseName) |
Body |
PrivateFieldAccMethodSource.getBody(SootMethod sootMethod,
String phaseName) |
Body |
PrivateFieldSetMethodSource.getBody(SootMethod sootMethod,
String phaseName) |
Body |
AssertClassMethodSource.getBody(SootMethod sootMethod,
String phaseName) |
Body |
PrivateMethodAccMethodSource.getBody(SootMethod sootMethod,
String phaseName) |
Body |
ClassLiteralMethodSource.getBody(SootMethod sootMethod,
String phaseName) |
Modifier and Type | Field and Description |
---|---|
static Map<SootMethod,Map<Local,Local>> |
Main.methods2Baf2JLocals |
static Map<SootMethod,Map<Local,Local>> |
Main.methods2Baf2JLocals |
static Map<SootMethod,List<Local>> |
Main.methods2JLocals |
static Map<SootMethod,List<Local>> |
Main.methods2JLocals |
Modifier and Type | Field and Description |
---|---|
static ArrayList<SootMethod> |
LibraryMethodWrappersBuilder.builtByMe |
static ArrayList<SootMethod> |
LibraryMethodWrappersBuilder.builtByMe |
Modifier and Type | Method and Description |
---|---|
SootMethod |
InvokeExpr.getMethod() |
SootMethod |
InvokeExpr.getMethod() |
Modifier and Type | Method and Description |
---|---|
protected void |
JasminClass.emitMethodBody(SootMethod method) |
protected void |
JasminClass.emitMethodBody(SootMethod method) |
Body |
JimpleMethodSource.getBody(SootMethod m,
String phaseName) |
Body |
JimpleMethodSource.getBody(SootMethod m,
String phaseName) |
JimpleBody |
Jimple.newBody(SootMethod m)
Returns an empty JimpleBody associated with method m.
|
JimpleBody |
Jimple.newBody(SootMethod m)
Returns an empty JimpleBody associated with method m.
|
void |
NaiveSideEffectTester.newMethod(SootMethod m) |
void |
NaiveSideEffectTester.newMethod(SootMethod m) |
Constructor and Description |
---|
StmtBody(SootMethod m)
Creates a StmtBody associated with the given method.
|
StmtBody(SootMethod m)
Creates a StmtBody associated with the given method.
|
Modifier and Type | Method and Description |
---|---|
SootMethod |
JDynamicInvokeExpr.getBootstrapMethod() |
SootMethod |
JDynamicInvokeExpr.getBootstrapMethod() |
SootMethod |
AbstractInvokeExpr.getMethod() |
SootMethod |
AbstractInvokeExpr.getMethod() |
Modifier and Type | Method and Description |
---|---|
Body |
JimpleAST.getBody(SootMethod m)
Returns a body corresponding to the parsed jimple for m.
|
Body |
JimpleAST.getBody(SootMethod m)
Returns a body corresponding to the parsed jimple for m.
|
Constructor and Description |
---|
BodyExtractorWalker(SootClass sc,
SootResolver resolver,
Map<SootMethod,JimpleBody> methodToParsedBodyMap)
Constructs a walker, and attaches it to the given SootClass, sending
bodies to the given methodToParsedBodyMap.
|
BodyExtractorWalker(SootClass sc,
SootResolver resolver,
Map<SootMethod,JimpleBody> methodToParsedBodyMap)
Constructs a walker, and attaches it to the given SootClass, sending
bodies to the given methodToParsedBodyMap.
|
Modifier and Type | Field and Description |
---|---|
protected SootMethod |
MethodNodeFactory.method |
protected SootMethod |
MethodNodeFactory.method |
Modifier and Type | Method and Description |
---|---|
protected void |
FieldTagger.ensureProcessed(SootMethod m) |
protected void |
FieldTagger.ensureProcessed(SootMethod m) |
Modifier and Type | Field and Description |
---|---|
protected Map<SootMethod,Integer> |
GeomPointsTo.func2int |
protected Map<SootMethod,Integer> |
GeomPointsTo.func2int |
protected Map<Integer,SootMethod> |
GeomPointsTo.int2func |
protected Map<Integer,SootMethod> |
GeomPointsTo.int2func |
Modifier and Type | Method and Description |
---|---|
SootMethod |
IVarAbstraction.enclosingMethod() |
SootMethod |
IVarAbstraction.enclosingMethod() |
SootMethod |
GeomPointsTo.getSootMethodFromID(int fid)
Get soot method from given internal ID @param fid
|
SootMethod |
GeomPointsTo.getSootMethodFromID(int fid)
Get soot method from given internal ID @param fid
|
Modifier and Type | Method and Description |
---|---|
Set<SootMethod> |
GeomPointsTo.getAllReachableMethods()
A replacement of the Scene.v().getReachableMethods.
|
Set<SootMethod> |
GeomPointsTo.getAllReachableMethods()
A replacement of the Scene.v().getReachableMethods.
|
Modifier and Type | Method and Description |
---|---|
int |
GeomPointsTo.getIDFromSootMethod(SootMethod sm)
Get Internal ID for soot method @param sm
|
int |
GeomPointsTo.getIDFromSootMethod(SootMethod sm)
Get Internal ID for soot method @param sm
|
boolean |
GeomPointsTo.isReachableMethod(SootMethod sm)
Deciding if the given method represented by @param sm is reachable.
|
boolean |
GeomPointsTo.isReachableMethod(SootMethod sm)
Deciding if the given method represented by @param sm is reachable.
|
boolean |
GeomPointsTo.isValidMethod(SootMethod sm)
Telling if the given method is in the file given by the option "cg.spark geom-verify-name".
|
boolean |
GeomPointsTo.isValidMethod(SootMethod sm)
Telling if the given method is in the file given by the option "cg.spark geom-verify-name".
|
Modifier and Type | Method and Description |
---|---|
boolean |
ClientAccessibilityOracle.isAccessible(SootMethod method)
Determines whether the method is accessible for a potential library user.
|
boolean |
CompleteAccessibility.isAccessible(SootMethod method) |
boolean |
PublicAndProtectedAccessibility.isAccessible(SootMethod method) |
boolean |
ClientAccessibilityOracle.isAccessible(SootMethod method)
Determines whether the method is accessible for a potential library user.
|
boolean |
CompleteAccessibility.isAccessible(SootMethod method) |
boolean |
PublicAndProtectedAccessibility.isAccessible(SootMethod method) |
protected ReferenceVariable |
SparkNativeHelper.tempLocalVariableImpl(SootMethod method) |
protected ReferenceVariable |
SparkNativeHelper.tempLocalVariableImpl(SootMethod method) |
Constructor and Description |
---|
SparkLibraryHelper(PAG pag,
Node node,
SootMethod method)
The constructor for this
TypeSwitch . |
SparkLibraryHelper(PAG pag,
Node node,
SootMethod method)
The constructor for this
TypeSwitch . |
Modifier and Type | Field and Description |
---|---|
protected HashMap<List<Object>,Set<SootMethod>> |
DemandCSPointsTo.callTargetsArgCache |
protected HashMap<List<Object>,Set<SootMethod>> |
DemandCSPointsTo.callTargetsArgCache |
Modifier and Type | Method and Description |
---|---|
protected Set<SootMethod> |
DemandCSPointsTo.getCallTargets(PointsToSetInternal p2Set,
NumberedString methodStr,
Type receiverType,
Set<SootMethod> possibleTargets) |
protected Set<SootMethod> |
DemandCSPointsTo.getCallTargets(PointsToSetInternal p2Set,
NumberedString methodStr,
Type receiverType,
Set<SootMethod> possibleTargets) |
protected Set<SootMethod> |
DemandCSPointsTo.getCallTargetsForType(Type type,
NumberedString methodStr,
Type receiverType,
Set<SootMethod> possibleTargets) |
protected Set<SootMethod> |
DemandCSPointsTo.getCallTargetsForType(Type type,
NumberedString methodStr,
Type receiverType,
Set<SootMethod> possibleTargets) |
protected Set<SootMethod> |
DemandCSPointsTo.refineCallSite(Integer callSite,
ImmutableStack<Integer> origContext) |
protected Set<SootMethod> |
DemandCSPointsTo.refineCallSite(Integer callSite,
ImmutableStack<Integer> origContext) |
Modifier and Type | Method and Description |
---|---|
protected Set<SootMethod> |
DemandCSPointsTo.getCallTargets(PointsToSetInternal p2Set,
NumberedString methodStr,
Type receiverType,
Set<SootMethod> possibleTargets) |
protected Set<SootMethod> |
DemandCSPointsTo.getCallTargets(PointsToSetInternal p2Set,
NumberedString methodStr,
Type receiverType,
Set<SootMethod> possibleTargets) |
protected Set<SootMethod> |
DemandCSPointsTo.getCallTargetsForType(Type type,
NumberedString methodStr,
Type receiverType,
Set<SootMethod> possibleTargets) |
protected Set<SootMethod> |
DemandCSPointsTo.getCallTargetsForType(Type type,
NumberedString methodStr,
Type receiverType,
Set<SootMethod> possibleTargets) |
Modifier and Type | Field and Description |
---|---|
Set<SootMethod> |
AllocationSiteHandler.VirtualCallHandler.possibleMethods |
Set<SootMethod> |
AllocationSiteHandler.VirtualCallHandler.possibleMethods |
Modifier and Type | Method and Description |
---|---|
static SootMethod |
SootUtil.getAmbiguousMethodByName(String methodName) |
static SootMethod |
SootUtil.getAmbiguousMethodByName(String methodName) |
SootMethod |
ContextSensitiveInfo.getInvokedMethod(Integer callSite) |
SootMethod |
ContextSensitiveInfo.getInvokedMethod(Integer callSite) |
SootMethod |
ContextSensitiveInfo.getInvokingMethod(Integer callSite) |
SootMethod |
ContextSensitiveInfo.getInvokingMethod(Integer callSite) |
static SootMethod |
SootUtil.getMainMethod() |
static SootMethod |
SootUtil.getMainMethod() |
Modifier and Type | Method and Description |
---|---|
ArraySet<SootMethod> |
ContextSensitiveInfo.getCallSiteTargets(Integer callSite) |
ArraySet<SootMethod> |
ContextSensitiveInfo.getCallSiteTargets(Integer callSite) |
static Collection<? extends SootMethod> |
SootUtil.getCallTargets(Type type,
SootMethod invokedMethod) |
static Collection<? extends SootMethod> |
SootUtil.getCallTargets(Type type,
SootMethod invokedMethod) |
Set<SootMethod> |
ContextSensitiveInfo.methods() |
Set<SootMethod> |
ContextSensitiveInfo.methods() |
Modifier and Type | Method and Description |
---|---|
ArraySet<Integer> |
ContextSensitiveInfo.getCallSitesInMethod(SootMethod method) |
ArraySet<Integer> |
ContextSensitiveInfo.getCallSitesInMethod(SootMethod method) |
Set<Integer> |
ContextSensitiveInfo.getCallSitesInvokingMethod(SootMethod method) |
Set<Integer> |
ContextSensitiveInfo.getCallSitesInvokingMethod(SootMethod method) |
static Collection<? extends SootMethod> |
SootUtil.getCallTargets(Type type,
SootMethod invokedMethod) |
static Collection<? extends SootMethod> |
SootUtil.getCallTargets(Type type,
SootMethod invokedMethod) |
ArraySet<VarNode> |
ContextSensitiveInfo.getInPortsForMethod(SootMethod method) |
ArraySet<VarNode> |
ContextSensitiveInfo.getInPortsForMethod(SootMethod method) |
ArraySet<VarNode> |
ContextSensitiveInfo.getNodesForMethod(SootMethod method) |
ArraySet<VarNode> |
ContextSensitiveInfo.getNodesForMethod(SootMethod method) |
ArraySet<VarNode> |
ContextSensitiveInfo.getOutPortsForMethod(SootMethod method) |
ArraySet<VarNode> |
ContextSensitiveInfo.getOutPortsForMethod(SootMethod method) |
boolean |
OTFMethodSCCManager.inSameSCC(SootMethod m1,
SootMethod m2) |
boolean |
OTFMethodSCCManager.inSameSCC(SootMethod m1,
SootMethod m2) |
static boolean |
SootUtil.isNewInstanceMethod(SootMethod method) |
static boolean |
SootUtil.isNewInstanceMethod(SootMethod method) |
static boolean |
SootUtil.isResolvableCall(SootMethod invokedMethod) |
static boolean |
SootUtil.isResolvableCall(SootMethod invokedMethod) |
static boolean |
SootUtil.isThreadStartMethod(SootMethod method) |
static boolean |
SootUtil.isThreadStartMethod(SootMethod method) |
static boolean |
SootUtil.noRefTypeParameters(SootMethod method) |
static boolean |
SootUtil.noRefTypeParameters(SootMethod method) |
Modifier and Type | Method and Description |
---|---|
void |
OTFMethodSCCManager.makeSameSCC(Set<SootMethod> methods) |
void |
OTFMethodSCCManager.makeSameSCC(Set<SootMethod> methods) |
Modifier and Type | Field and Description |
---|---|
protected SootMethod |
LocalVarNode.method |
protected SootMethod |
LocalVarNode.method |
Modifier and Type | Field and Description |
---|---|
Map<InvokeExpr,SootMethod> |
PAG.callToMethod |
Map<InvokeExpr,SootMethod> |
PAG.callToMethod |
Modifier and Type | Method and Description |
---|---|
SootMethod |
AllocNode.getMethod() |
SootMethod |
LocalVarNode.getMethod() |
SootMethod |
MethodPAG.getMethod() |
SootMethod |
AllocNode.getMethod() |
SootMethod |
LocalVarNode.getMethod() |
SootMethod |
MethodPAG.getMethod() |
Modifier and Type | Method and Description |
---|---|
protected void |
PAG2HTML.dumpMethod(SootMethod m,
JarOutputStream jarOut) |
protected void |
PAG2HTML.dumpMethod(SootMethod m,
JarOutputStream jarOut) |
AllocNode |
PAG.makeAllocNode(Object newExpr,
Type type,
SootMethod m) |
AllocNode |
PAG.makeAllocNode(Object newExpr,
Type type,
SootMethod m) |
ContextVarNode |
PAG.makeContextVarNode(Object baseValue,
Type baseType,
Context context,
SootMethod method)
Finds or creates the ContextVarNode for base variable baseValue and
context context, of type type.
|
ContextVarNode |
PAG.makeContextVarNode(Object baseValue,
Type baseType,
Context context,
SootMethod method)
Finds or creates the ContextVarNode for base variable baseValue and
context context, of type type.
|
FieldRefNode |
PAG.makeLocalFieldRefNode(Object baseValue,
Type baseType,
SparkField field,
SootMethod method)
Finds or creates the FieldRefNode for base variable baseValue and field
field, of type type.
|
FieldRefNode |
PAG.makeLocalFieldRefNode(Object baseValue,
Type baseType,
SparkField field,
SootMethod method)
Finds or creates the FieldRefNode for base variable baseValue and field
field, of type type.
|
LocalVarNode |
PAG.makeLocalVarNode(Object value,
Type type,
SootMethod method)
Finds or creates the LocalVarNode for the variable value, of type type.
|
LocalVarNode |
PAG.makeLocalVarNode(Object value,
Type type,
SootMethod method)
Finds or creates the LocalVarNode for the variable value, of type type.
|
NewInstanceNode |
PAG.makeNewInstanceNode(Value value,
Type type,
SootMethod method) |
NewInstanceNode |
PAG.makeNewInstanceNode(Value value,
Type type,
SootMethod method) |
static MethodPAG |
MethodPAG.v(PAG pag,
SootMethod m) |
static MethodPAG |
MethodPAG.v(PAG pag,
SootMethod m) |
static Parm |
Parm.v(SootMethod m,
int index) |
static Parm |
Parm.v(SootMethod m,
int index) |
Constructor and Description |
---|
MethodPAG(PAG pag,
SootMethod m) |
MethodPAG(PAG pag,
SootMethod m) |
Modifier and Type | Method and Description |
---|---|
void |
ClassFieldAnalysis.ScanMethod(SootMethod method,
Set<SootField> candidates,
Hashtable<SootField,soot.jimple.toolkits.annotation.arraycheck.IntValueContainer> fieldinfo) |
void |
ClassFieldAnalysis.ScanMethod(SootMethod method,
Set<SootField> candidates,
Hashtable<SootField,soot.jimple.toolkits.annotation.arraycheck.IntValueContainer> fieldinfo) |
Modifier and Type | Method and Description |
---|---|
SootMethod |
CallGraphInfo.getCenter() |
SootMethod |
CallGraphInfo.getCenter() |
SootMethod |
CallGraphGrapher.getNextMethod() |
SootMethod |
CallGraphGrapher.getNextMethod() |
SootMethod |
MethInfo.method() |
SootMethod |
MethInfo.method() |
Modifier and Type | Method and Description |
---|---|
void |
MethInfo.method(SootMethod m) |
void |
MethInfo.method(SootMethod m) |
void |
CallGraphInfo.setCenter(SootMethod sm) |
void |
CallGraphInfo.setCenter(SootMethod sm) |
void |
CallGraphGrapher.setNextMethod(SootMethod m) |
void |
CallGraphGrapher.setNextMethod(SootMethod m) |
Constructor and Description |
---|
CallGraphInfo(SootMethod sm,
ArrayList<MethInfo> outputs,
ArrayList<MethInfo> inputs) |
CallGraphInfo(SootMethod sm,
ArrayList<MethInfo> outputs,
ArrayList<MethInfo> inputs) |
MethInfo(SootMethod meth,
boolean b,
Kind kind) |
MethInfo(SootMethod meth,
boolean b,
Kind kind) |
Modifier and Type | Method and Description |
---|---|
protected abstract void |
AbstractInterproceduralAnalysis.analyseMethod(SootMethod method,
Object dst)
Compute the summary for a method by analysing its body.
|
protected void |
PurityInterproceduralAnalysis.analyseMethod(SootMethod method,
Object dst) |
protected void |
PurityInterproceduralAnalysis.analyseMethod(SootMethod method,
Object dst) |
protected abstract void |
AbstractInterproceduralAnalysis.analyseMethod(SootMethod method,
Object dst)
Compute the summary for a method by analysing its body.
|
static PurityGraph |
PurityGraph.conservativeGraph(SootMethod m,
boolean withEffect)
Conservative constructor for unanalysable calls.
|
static PurityGraph |
PurityGraph.conservativeGraph(SootMethod m,
boolean withEffect)
Conservative constructor for unanalysable calls.
|
static PurityGraph |
PurityGraph.freshGraph(SootMethod m)
Special constructor for "pure" methods returning a fresh object.
|
static PurityGraph |
PurityGraph.freshGraph(SootMethod m)
Special constructor for "pure" methods returning a fresh object.
|
Object |
AbstractInterproceduralAnalysis.getSummaryFor(SootMethod m)
Query the analysis result.
|
Object |
AbstractInterproceduralAnalysis.getSummaryFor(SootMethod m)
Query the analysis result.
|
protected abstract Object |
AbstractInterproceduralAnalysis.summaryOfUnanalysedMethod(SootMethod method)
Whenever the analyse requires the summary of a method you filtered-out,
this function is called instead of analyseMethod.
|
protected Object |
PurityInterproceduralAnalysis.summaryOfUnanalysedMethod(SootMethod method) |
protected Object |
PurityInterproceduralAnalysis.summaryOfUnanalysedMethod(SootMethod method) |
protected abstract Object |
AbstractInterproceduralAnalysis.summaryOfUnanalysedMethod(SootMethod method)
Whenever the analyse requires the summary of a method you filtered-out,
this function is called instead of analyseMethod.
|
boolean |
SootMethodFilter.want(SootMethod m) |
boolean |
SootMethodFilter.want(SootMethod m) |
Modifier and Type | Method and Description |
---|---|
SootMethod |
ExceptionCheckerError.method() |
SootMethod |
ExceptionCheckerError.method() |
Modifier and Type | Method and Description |
---|---|
void |
ExceptionCheckerError.method(SootMethod sm) |
void |
ExceptionCheckerError.method(SootMethod sm) |
Constructor and Description |
---|
ExceptionCheckerError(SootMethod m,
SootClass sc,
Stmt s,
SourceLnPosTag pos) |
ExceptionCheckerError(SootMethod m,
SootClass sc,
Stmt s,
SourceLnPosTag pos) |
Modifier and Type | Field and Description |
---|---|
protected HashSet<SootMethod> |
OnFlyCallGraphBuilder.DefaultReflectionModel.warnedAlready |
protected HashSet<SootMethod> |
OnFlyCallGraphBuilder.DefaultReflectionModel.warnedAlready |
Modifier and Type | Method and Description |
---|---|
SootMethod |
InvokeCallSite.container() |
SootMethod |
VirtualCallSite.container() |
SootMethod |
InvokeCallSite.container() |
SootMethod |
VirtualCallSite.container() |
SootMethod |
VirtualCalls.resolveNonSpecial(RefType t,
NumberedString subSig) |
SootMethod |
VirtualCalls.resolveNonSpecial(RefType t,
NumberedString subSig) |
SootMethod |
VirtualCalls.resolveNonSpecial(RefType t,
NumberedString subSig,
boolean appOnly) |
SootMethod |
VirtualCalls.resolveNonSpecial(RefType t,
NumberedString subSig,
boolean appOnly) |
SootMethod |
VirtualCalls.resolveSpecial(SpecialInvokeExpr iie,
NumberedString subSig,
SootMethod container) |
SootMethod |
VirtualCalls.resolveSpecial(SpecialInvokeExpr iie,
NumberedString subSig,
SootMethod container) |
SootMethod |
VirtualCalls.resolveSpecial(SpecialInvokeExpr iie,
NumberedString subSig,
SootMethod container,
boolean appOnly) |
SootMethod |
VirtualCalls.resolveSpecial(SpecialInvokeExpr iie,
NumberedString subSig,
SootMethod container,
boolean appOnly) |
SootMethod |
ContextSensitiveEdge.src()
The method in which the call occurs; may be null for calls not
occurring in a specific method (eg.
|
SootMethod |
Edge.src() |
SootMethod |
Edge.src() |
SootMethod |
ContextSensitiveEdge.src()
The method in which the call occurs; may be null for calls not
occurring in a specific method (eg.
|
SootMethod |
ContextSensitiveEdge.tgt()
The target method of the call edge.
|
SootMethod |
Edge.tgt() |
SootMethod |
Edge.tgt() |
SootMethod |
ContextSensitiveEdge.tgt()
The target method of the call edge.
|
Modifier and Type | Method and Description |
---|---|
LargeNumberedMap<SootMethod,List<Local>> |
OnFlyCallGraphBuilder.methodToInvokeArgs() |
LargeNumberedMap<SootMethod,List<Local>> |
OnFlyCallGraphBuilder.methodToInvokeArgs() |
LargeNumberedMap<SootMethod,List<Local>> |
OnFlyCallGraphBuilder.methodToInvokeBases() |
LargeNumberedMap<SootMethod,List<Local>> |
OnFlyCallGraphBuilder.methodToInvokeBases() |
LargeNumberedMap<SootMethod,List<Local>> |
OnFlyCallGraphBuilder.methodToReceivers() |
LargeNumberedMap<SootMethod,List<Local>> |
OnFlyCallGraphBuilder.methodToReceivers() |
LargeNumberedMap<SootMethod,List<Local>> |
OnFlyCallGraphBuilder.methodToStringConstants() |
LargeNumberedMap<SootMethod,List<Local>> |
OnFlyCallGraphBuilder.methodToStringConstants() |
List<SootMethod> |
TopologicalOrderer.order() |
List<SootMethod> |
TopologicalOrderer.order() |
Modifier and Type | Method and Description |
---|---|
void |
ContextInsensitiveContextManager.addStaticEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind) |
void |
ContextManager.addStaticEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind) |
void |
ObjSensContextManager.addStaticEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind) |
void |
OneCFAContextManager.addStaticEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind) |
void |
ObjSensContextManager.addStaticEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind) |
void |
ContextManager.addStaticEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind) |
void |
OneCFAContextManager.addStaticEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind) |
void |
ContextInsensitiveContextManager.addStaticEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind) |
void |
ContextInsensitiveContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext) |
void |
ContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext) |
void |
ObjSensContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext) |
void |
OneCFAContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext) |
void |
ObjSensContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext) |
void |
ContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext) |
void |
OneCFAContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext) |
void |
ContextInsensitiveContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext) |
void |
OnFlyCallGraphBuilder.DefaultReflectionModel.classForName(SootMethod source,
Stmt s) |
void |
OnFlyCallGraphBuilder.TraceBasedReflectionModel.classForName(SootMethod container,
Stmt forNameInvokeStmt)
Adds an edge to all class initializers of all possible receivers
of Class.forName() calls within source.
|
void |
ReflectionModel.classForName(SootMethod source,
Stmt s) |
void |
OnFlyCallGraphBuilder.DefaultReflectionModel.classForName(SootMethod source,
Stmt s) |
void |
OnFlyCallGraphBuilder.TraceBasedReflectionModel.classForName(SootMethod container,
Stmt forNameInvokeStmt)
Adds an edge to all class initializers of all possible receivers
of Class.forName() calls within source.
|
void |
ReflectionModel.classForName(SootMethod source,
Stmt s) |
void |
OnFlyCallGraphBuilder.DefaultReflectionModel.classNewInstance(SootMethod source,
Stmt s) |
void |
OnFlyCallGraphBuilder.TraceBasedReflectionModel.classNewInstance(SootMethod container,
Stmt newInstanceInvokeStmt)
Adds an edge to the constructor of the target class from this call to
Class.newInstance() . |
void |
ReflectionModel.classNewInstance(SootMethod source,
Stmt s) |
void |
OnFlyCallGraphBuilder.DefaultReflectionModel.classNewInstance(SootMethod source,
Stmt s) |
void |
OnFlyCallGraphBuilder.TraceBasedReflectionModel.classNewInstance(SootMethod container,
Stmt newInstanceInvokeStmt)
Adds an edge to the constructor of the target class from this call to
Class.newInstance() . |
void |
ReflectionModel.classNewInstance(SootMethod source,
Stmt s) |
void |
OnFlyCallGraphBuilder.DefaultReflectionModel.contructorNewInstance(SootMethod source,
Stmt s) |
void |
OnFlyCallGraphBuilder.TraceBasedReflectionModel.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 |
ReflectionModel.contructorNewInstance(SootMethod source,
Stmt s) |
void |
OnFlyCallGraphBuilder.DefaultReflectionModel.contructorNewInstance(SootMethod source,
Stmt s) |
void |
OnFlyCallGraphBuilder.TraceBasedReflectionModel.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 |
ReflectionModel.contructorNewInstance(SootMethod source,
Stmt s) |
Iterator |
ContextSensitiveCallGraph.edgesInto(Context tgtCtxt,
SootMethod tgt)
Returns all ContextSensitiveEdge's into method tgt in context tgtCtxt.
|
Iterator |
ContextSensitiveCallGraph.edgesInto(Context tgtCtxt,
SootMethod tgt)
Returns all ContextSensitiveEdge's into method tgt in context tgtCtxt.
|
Iterator |
ContextSensitiveCallGraph.edgesOutOf(Context srcCtxt,
SootMethod src)
Returns all ContextSensitiveEdge's out of method src
in context srcCtxt.
|
Iterator |
ContextSensitiveCallGraph.edgesOutOf(Context srcCtxt,
SootMethod src)
Returns all ContextSensitiveEdge's out of method src
in context srcCtxt.
|
Iterator |
ContextSensitiveCallGraph.edgesOutOf(Context srcCtxt,
SootMethod src,
Unit srcUnit)
Returns all ContextSensitiveEdge's out of unit srcUnit in method src
in context srcCtxt.
|
Iterator |
ContextSensitiveCallGraph.edgesOutOf(Context srcCtxt,
SootMethod src,
Unit srcUnit)
Returns all ContextSensitiveEdge's out of unit srcUnit in method src
in context srcCtxt.
|
Edge |
CallGraph.findEdge(Unit u,
SootMethod callee)
Find the specific call edge that is going out from the callsite u and the call target is callee.
|
Edge |
CallGraph.findEdge(Unit u,
SootMethod callee)
Find the specific call edge that is going out from the callsite u and the call target is callee.
|
boolean |
CallGraph.isEntryMethod(SootMethod method)
Does this method have no incoming edge?
|
boolean |
CallGraph.isEntryMethod(SootMethod method)
Does this method have no incoming edge?
|
void |
OnFlyCallGraphBuilder.DefaultReflectionModel.methodInvoke(SootMethod container,
Stmt invokeStmt) |
void |
OnFlyCallGraphBuilder.TypeBasedReflectionModel.methodInvoke(SootMethod container,
Stmt invokeStmt) |
void |
OnFlyCallGraphBuilder.TraceBasedReflectionModel.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...) . |
void |
ReflectionModel.methodInvoke(SootMethod container,
Stmt invokeStmt) |
void |
OnFlyCallGraphBuilder.DefaultReflectionModel.methodInvoke(SootMethod container,
Stmt invokeStmt) |
void |
OnFlyCallGraphBuilder.TypeBasedReflectionModel.methodInvoke(SootMethod container,
Stmt invokeStmt) |
void |
OnFlyCallGraphBuilder.TraceBasedReflectionModel.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...) . |
void |
ReflectionModel.methodInvoke(SootMethod container,
Stmt invokeStmt) |
void |
VirtualCalls.resolve(Type t,
Type declaredType,
NumberedString subSig,
SootMethod container,
ChunkedQueue<SootMethod> targets) |
void |
VirtualCalls.resolve(Type t,
Type declaredType,
NumberedString subSig,
SootMethod container,
ChunkedQueue<SootMethod> targets) |
void |
VirtualCalls.resolve(Type t,
Type declaredType,
NumberedString subSig,
SootMethod container,
ChunkedQueue<SootMethod> targets,
boolean appOnly) |
void |
VirtualCalls.resolve(Type t,
Type declaredType,
NumberedString subSig,
SootMethod container,
ChunkedQueue<SootMethod> targets,
boolean appOnly) |
void |
VirtualCalls.resolve(Type t,
Type declaredType,
Type sigType,
NumberedString subSig,
SootMethod container,
ChunkedQueue<SootMethod> targets) |
void |
VirtualCalls.resolve(Type t,
Type declaredType,
Type sigType,
NumberedString subSig,
SootMethod container,
ChunkedQueue<SootMethod> targets) |
void |
VirtualCalls.resolve(Type t,
Type declaredType,
Type sigType,
NumberedString subSig,
SootMethod container,
ChunkedQueue<SootMethod> targets,
boolean appOnly) |
void |
VirtualCalls.resolve(Type t,
Type declaredType,
Type sigType,
NumberedString subSig,
SootMethod container,
ChunkedQueue<SootMethod> targets,
boolean appOnly) |
SootMethod |
VirtualCalls.resolveSpecial(SpecialInvokeExpr iie,
NumberedString subSig,
SootMethod container) |
SootMethod |
VirtualCalls.resolveSpecial(SpecialInvokeExpr iie,
NumberedString subSig,
SootMethod container) |
SootMethod |
VirtualCalls.resolveSpecial(SpecialInvokeExpr iie,
NumberedString subSig,
SootMethod container,
boolean appOnly) |
SootMethod |
VirtualCalls.resolveSpecial(SpecialInvokeExpr iie,
NumberedString subSig,
SootMethod container,
boolean appOnly) |
Modifier and Type | Method and Description |
---|---|
void |
VirtualCalls.resolve(Type t,
Type declaredType,
NumberedString subSig,
SootMethod container,
ChunkedQueue<SootMethod> targets) |
void |
VirtualCalls.resolve(Type t,
Type declaredType,
NumberedString subSig,
SootMethod container,
ChunkedQueue<SootMethod> targets) |
void |
VirtualCalls.resolve(Type t,
Type declaredType,
NumberedString subSig,
SootMethod container,
ChunkedQueue<SootMethod> targets,
boolean appOnly) |
void |
VirtualCalls.resolve(Type t,
Type declaredType,
NumberedString subSig,
SootMethod container,
ChunkedQueue<SootMethod> targets,
boolean appOnly) |
void |
VirtualCalls.resolve(Type t,
Type declaredType,
Type sigType,
NumberedString subSig,
SootMethod container,
ChunkedQueue<SootMethod> targets) |
void |
VirtualCalls.resolve(Type t,
Type declaredType,
Type sigType,
NumberedString subSig,
SootMethod container,
ChunkedQueue<SootMethod> targets) |
void |
VirtualCalls.resolve(Type t,
Type declaredType,
Type sigType,
NumberedString subSig,
SootMethod container,
ChunkedQueue<SootMethod> targets,
boolean appOnly) |
void |
VirtualCalls.resolve(Type t,
Type declaredType,
Type sigType,
NumberedString subSig,
SootMethod container,
ChunkedQueue<SootMethod> targets,
boolean appOnly) |
Modifier and Type | Class and Description |
---|---|
class |
DefaultJimpleIDETabulationProblem<D,V,I extends heros.InterproceduralCFG<Unit,SootMethod>>
|
class |
DefaultJimpleIDETabulationProblem<D,V,I extends heros.InterproceduralCFG<Unit,SootMethod>>
|
class |
DefaultJimpleIFDSTabulationProblem<D,I extends heros.InterproceduralCFG<Unit,SootMethod>>
|
class |
DefaultJimpleIFDSTabulationProblem<D,I extends heros.InterproceduralCFG<Unit,SootMethod>>
|
class |
JimpleIDESolver<D,V,I extends heros.InterproceduralCFG<Unit,SootMethod>> |
class |
JimpleIDESolver<D,V,I extends heros.InterproceduralCFG<Unit,SootMethod>> |
class |
JimpleIFDSSolver<D,I extends heros.InterproceduralCFG<Unit,SootMethod>> |
class |
JimpleIFDSSolver<D,I extends heros.InterproceduralCFG<Unit,SootMethod>> |
Constructor and Description |
---|
JimpleIDESolver(heros.IDETabulationProblem<Unit,D,SootMethod,V,I> problem) |
JimpleIDESolver(heros.IDETabulationProblem<Unit,D,SootMethod,V,I> problem) |
JimpleIDESolver(heros.IDETabulationProblem<Unit,D,SootMethod,V,I> problem,
boolean dumpResults) |
JimpleIDESolver(heros.IDETabulationProblem<Unit,D,SootMethod,V,I> problem,
boolean dumpResults) |
JimpleIFDSSolver(heros.IFDSTabulationProblem<Unit,D,SootMethod,I> problem) |
JimpleIFDSSolver(heros.IFDSTabulationProblem<Unit,D,SootMethod,I> problem) |
JimpleIFDSSolver(heros.IFDSTabulationProblem<Unit,D,SootMethod,I> problem,
boolean dumpResults) |
JimpleIFDSSolver(heros.IFDSTabulationProblem<Unit,D,SootMethod,I> problem,
boolean dumpResults) |
Modifier and Type | Method and Description |
---|---|
heros.FlowFunctions<Unit,Value,SootMethod> |
IFDSLiveVariables.createFlowFunctionsFactory() |
heros.FlowFunctions<Unit,Local,SootMethod> |
IFDSLocalInfoFlow.createFlowFunctionsFactory() |
heros.FlowFunctions<Unit,Pair<Value,Type>,SootMethod> |
IFDSPossibleTypes.createFlowFunctionsFactory() |
heros.FlowFunctions<Unit,Pair<Value,Set<DefinitionStmt>>,SootMethod> |
IFDSReachingDefinitions.createFlowFunctionsFactory() |
heros.FlowFunctions<Unit,Local,SootMethod> |
IFDSUninitializedVariables.createFlowFunctionsFactory() |
heros.FlowFunctions<Unit,Pair<Value,Type>,SootMethod> |
IFDSPossibleTypes.createFlowFunctionsFactory() |
heros.FlowFunctions<Unit,Local,SootMethod> |
IFDSUninitializedVariables.createFlowFunctionsFactory() |
heros.FlowFunctions<Unit,Value,SootMethod> |
IFDSLiveVariables.createFlowFunctionsFactory() |
heros.FlowFunctions<Unit,Pair<Value,Set<DefinitionStmt>>,SootMethod> |
IFDSReachingDefinitions.createFlowFunctionsFactory() |
heros.FlowFunctions<Unit,Local,SootMethod> |
IFDSLocalInfoFlow.createFlowFunctionsFactory() |
Constructor and Description |
---|
IFDSLiveVariables(heros.InterproceduralCFG<Unit,SootMethod> icfg) |
IFDSLiveVariables(heros.InterproceduralCFG<Unit,SootMethod> icfg) |
IFDSLocalInfoFlow(heros.InterproceduralCFG<Unit,SootMethod> icfg) |
IFDSLocalInfoFlow(heros.InterproceduralCFG<Unit,SootMethod> icfg) |
IFDSPossibleTypes(heros.InterproceduralCFG<Unit,SootMethod> icfg) |
IFDSPossibleTypes(heros.InterproceduralCFG<Unit,SootMethod> icfg) |
IFDSReachingDefinitions(heros.InterproceduralCFG<Unit,SootMethod> icfg) |
IFDSReachingDefinitions(heros.InterproceduralCFG<Unit,SootMethod> icfg) |
IFDSUninitializedVariables(heros.InterproceduralCFG<Unit,SootMethod> icfg) |
IFDSUninitializedVariables(heros.InterproceduralCFG<Unit,SootMethod> icfg) |
Modifier and Type | Field and Description |
---|---|
protected BiDiInterproceduralCFG<Unit,SootMethod> |
BackwardsInterproceduralCFG.delegate |
protected BiDiInterproceduralCFG<Unit,SootMethod> |
BackwardsInterproceduralCFG.delegate |
protected Map<SootMethod,Set<Unit>> |
OnTheFlyJimpleBasedICFG.methodToCallers |
protected Map<SootMethod,Set<Unit>> |
OnTheFlyJimpleBasedICFG.methodToCallers |
Modifier and Type | Method and Description |
---|---|
SootMethod |
AbstractJimpleBasedICFG.getMethodOf(Unit u) |
SootMethod |
BackwardsInterproceduralCFG.getMethodOf(Unit n) |
SootMethod |
AbstractJimpleBasedICFG.getMethodOf(Unit u) |
SootMethod |
BackwardsInterproceduralCFG.getMethodOf(Unit n) |
Modifier and Type | Method and Description |
---|---|
Collection<SootMethod> |
BackwardsInterproceduralCFG.getCalleesOfCallAt(Unit n) |
Collection<SootMethod> |
JimpleBasedInterproceduralCFG.getCalleesOfCallAt(Unit u) |
Set<SootMethod> |
OnTheFlyJimpleBasedICFG.getCalleesOfCallAt(Unit u) |
Collection<SootMethod> |
JimpleBasedInterproceduralCFG.getCalleesOfCallAt(Unit u) |
Collection<SootMethod> |
BackwardsInterproceduralCFG.getCalleesOfCallAt(Unit n) |
Set<SootMethod> |
OnTheFlyJimpleBasedICFG.getCalleesOfCallAt(Unit u) |
Constructor and Description |
---|
OnTheFlyJimpleBasedICFG(SootMethod... entryPoints) |
OnTheFlyJimpleBasedICFG(SootMethod... entryPoints) |
Constructor and Description |
---|
BackwardsInterproceduralCFG(BiDiInterproceduralCFG<Unit,SootMethod> fwICFG) |
BackwardsInterproceduralCFG(BiDiInterproceduralCFG<Unit,SootMethod> fwICFG) |
OnTheFlyJimpleBasedICFG(Collection<SootMethod> entryPoints) |
OnTheFlyJimpleBasedICFG(Collection<SootMethod> entryPoints) |
Modifier and Type | Method and Description |
---|---|
List<SootMethod> |
LocalObjectsAnalysis.getAllMethodsForClass(SootClass sootClass) |
List<SootMethod> |
LocalObjectsAnalysis.getAllMethodsForClass(SootClass sootClass) |
static List<SootMethod> |
ClassLocalObjectsAnalysis.getAllReachableMethods(SootClass sc) |
static List<SootMethod> |
ClassLocalObjectsAnalysis.getAllReachableMethods(SootClass sc) |
List<SootMethod> |
UseFinder.getExtMethods(SootClass sc) |
List<SootMethod> |
UseFinder.getExtMethods(SootClass sc) |
Modifier and Type | Method and Description |
---|---|
boolean |
CallChain.containsMethod(SootMethod sm) |
boolean |
CallChain.containsMethod(SootMethod sm) |
CallLocalityContext |
ClassLocalObjectsAnalysis.getContextFor(SootMethod sm) |
CallLocalityContext |
ClassLocalObjectsAnalysis.getContextFor(SootMethod sm) |
protected MutableDirectedGraph<EquivalentValue> |
InfoFlowAnalysis.getInvokeAbbreviatedInfoFlowGraph(InvokeExpr ie,
SootMethod context) |
protected MutableDirectedGraph<EquivalentValue> |
InfoFlowAnalysis.getInvokeAbbreviatedInfoFlowGraph(InvokeExpr ie,
SootMethod context) |
protected HashMutableDirectedGraph<EquivalentValue> |
InfoFlowAnalysis.getInvokeInfoFlowSummary(InvokeExpr ie,
Stmt is,
SootMethod context) |
protected HashMutableDirectedGraph<EquivalentValue> |
InfoFlowAnalysis.getInvokeInfoFlowSummary(InvokeExpr ie,
Stmt is,
SootMethod context) |
CallLocalityContext |
ClassLocalObjectsAnalysis.getMergedContext(SootMethod method) |
CallLocalityContext |
ClassLocalObjectsAnalysis.getMergedContext(SootMethod method) |
SmartMethodInfoFlowAnalysis |
ClassInfoFlowAnalysis.getMethodInfoFlowAnalysis(SootMethod method) |
SmartMethodInfoFlowAnalysis |
InfoFlowAnalysis.getMethodInfoFlowAnalysis(SootMethod sm) |
SmartMethodInfoFlowAnalysis |
ClassInfoFlowAnalysis.getMethodInfoFlowAnalysis(SootMethod method) |
SmartMethodInfoFlowAnalysis |
InfoFlowAnalysis.getMethodInfoFlowAnalysis(SootMethod sm) |
MutableDirectedGraph<EquivalentValue> |
ClassInfoFlowAnalysis.getMethodInfoFlowSummary(SootMethod method) |
HashMutableDirectedGraph<EquivalentValue> |
InfoFlowAnalysis.getMethodInfoFlowSummary(SootMethod sm)
Returns a BACKED MutableDirectedGraph whose nodes are EquivalentValue
wrapped Refs.
|
MutableDirectedGraph<EquivalentValue> |
ClassInfoFlowAnalysis.getMethodInfoFlowSummary(SootMethod method) |
HashMutableDirectedGraph<EquivalentValue> |
InfoFlowAnalysis.getMethodInfoFlowSummary(SootMethod sm)
Returns a BACKED MutableDirectedGraph whose nodes are EquivalentValue
wrapped Refs.
|
HashMutableDirectedGraph<EquivalentValue> |
ClassInfoFlowAnalysis.getMethodInfoFlowSummary(SootMethod method,
boolean doFullAnalysis) |
HashMutableDirectedGraph<EquivalentValue> |
InfoFlowAnalysis.getMethodInfoFlowSummary(SootMethod sm,
boolean doFullAnalysis) |
HashMutableDirectedGraph<EquivalentValue> |
ClassInfoFlowAnalysis.getMethodInfoFlowSummary(SootMethod method,
boolean doFullAnalysis) |
HashMutableDirectedGraph<EquivalentValue> |
InfoFlowAnalysis.getMethodInfoFlowSummary(SootMethod sm,
boolean doFullAnalysis) |
SmartMethodLocalObjectsAnalysis |
ClassLocalObjectsAnalysis.getMethodLocalObjectsAnalysis(SootMethod sm) |
SmartMethodLocalObjectsAnalysis |
ClassLocalObjectsAnalysis.getMethodLocalObjectsAnalysis(SootMethod sm) |
CallChain |
LocalObjectsAnalysis.getNextCallChainBetween(ReachableMethods rm,
SootMethod start,
SootMethod end,
Edge endToPath,
CallChain path,
List previouslyFound) |
CallChain |
LocalObjectsAnalysis.getNextCallChainBetween(ReachableMethods rm,
SootMethod start,
SootMethod end,
Edge endToPath,
CallChain path,
List previouslyFound) |
CallChain |
LocalObjectsAnalysis.getNextCallChainBetween(SootMethod start,
SootMethod goal,
List previouslyFound) |
CallChain |
LocalObjectsAnalysis.getNextCallChainBetween(SootMethod start,
SootMethod goal,
List previouslyFound) |
static EquivalentValue |
InfoFlowAnalysis.getNodeForFieldRef(SootMethod sm,
SootField sf)
Returns an unmodifiable list of EquivalentValue wrapped Refs that sink
flows from when method sm is called.
|
static EquivalentValue |
InfoFlowAnalysis.getNodeForFieldRef(SootMethod sm,
SootField sf)
Returns an unmodifiable list of EquivalentValue wrapped Refs that sink
flows from when method sm is called.
|
static EquivalentValue |
InfoFlowAnalysis.getNodeForFieldRef(SootMethod sm,
SootField sf,
Local realLocal) |
static EquivalentValue |
InfoFlowAnalysis.getNodeForFieldRef(SootMethod sm,
SootField sf,
Local realLocal) |
static EquivalentValue |
InfoFlowAnalysis.getNodeForParameterRef(SootMethod sm,
int i) |
static EquivalentValue |
InfoFlowAnalysis.getNodeForParameterRef(SootMethod sm,
int i) |
static EquivalentValue |
InfoFlowAnalysis.getNodeForReturnRef(SootMethod sm) |
static EquivalentValue |
InfoFlowAnalysis.getNodeForReturnRef(SootMethod sm) |
static EquivalentValue |
InfoFlowAnalysis.getNodeForThisRef(SootMethod sm) |
static EquivalentValue |
InfoFlowAnalysis.getNodeForThisRef(SootMethod sm) |
boolean |
LocalObjectsAnalysis.hasNonLocalEffects(SootMethod containingMethod,
InvokeExpr ie,
SootMethod context) |
boolean |
LocalObjectsAnalysis.hasNonLocalEffects(SootMethod containingMethod,
InvokeExpr ie,
SootMethod context) |
static boolean |
SmartMethodLocalObjectsAnalysis.isObjectLocal(InfoFlowAnalysis dfa,
SootMethod method,
CallLocalityContext context,
Value local) |
static boolean |
SmartMethodLocalObjectsAnalysis.isObjectLocal(InfoFlowAnalysis dfa,
SootMethod method,
CallLocalityContext context,
Value local) |
boolean |
ClassLocalObjectsAnalysis.isObjectLocal(Value localOrRef,
SootMethod sm) |
boolean |
ClassLocalObjectsAnalysis.isObjectLocal(Value localOrRef,
SootMethod sm) |
boolean |
LocalObjectsAnalysis.isObjectLocalToContext(Value localOrRef,
SootMethod sm,
SootMethod context) |
boolean |
LocalObjectsAnalysis.isObjectLocalToContext(Value localOrRef,
SootMethod sm,
SootMethod context) |
boolean |
LocalObjectsAnalysis.isObjectLocalToParent(Value localOrRef,
SootMethod sm) |
boolean |
LocalObjectsAnalysis.isObjectLocalToParent(Value localOrRef,
SootMethod sm) |
boolean |
ClassLocalObjectsAnalysis.parameterIsLocal(SootMethod method,
EquivalentValue parameterRef) |
boolean |
ClassLocalObjectsAnalysis.parameterIsLocal(SootMethod method,
EquivalentValue parameterRef) |
protected boolean |
ClassLocalObjectsAnalysis.parameterIsLocal(SootMethod method,
EquivalentValue parameterRef,
boolean includePrimitiveDataFlowIfAvailable) |
protected boolean |
ClassLocalObjectsAnalysis.parameterIsLocal(SootMethod method,
EquivalentValue parameterRef,
boolean includePrimitiveDataFlowIfAvailable) |
protected boolean |
ClassLocalObjectsAnalysis.thisIsLocal(SootMethod method,
EquivalentValue thisRef) |
protected boolean |
ClassLocalObjectsAnalysis.thisIsLocal(SootMethod method,
EquivalentValue thisRef) |
HashMutableDirectedGraph<EquivalentValue> |
ClassInfoFlowAnalysis.triviallyConservativeInfoFlowAnalysis(SootMethod sm)
Does not require the method to have a body
|
HashMutableDirectedGraph<EquivalentValue> |
ClassInfoFlowAnalysis.triviallyConservativeInfoFlowAnalysis(SootMethod sm)
Does not require the method to have a body
|
Constructor and Description |
---|
SmartMethodLocalObjectsAnalysis(SootMethod method,
InfoFlowAnalysis dfa) |
SmartMethodLocalObjectsAnalysis(SootMethod method,
InfoFlowAnalysis dfa) |
Constructor and Description |
---|
ClassLocalObjectsAnalysis(LocalObjectsAnalysis loa,
InfoFlowAnalysis dfa,
InfoFlowAnalysis primitiveDfa,
UseFinder uf,
SootClass sootClass,
List<SootMethod> entryMethods) |
ClassLocalObjectsAnalysis(LocalObjectsAnalysis loa,
InfoFlowAnalysis dfa,
InfoFlowAnalysis primitiveDfa,
UseFinder uf,
SootClass sootClass,
List<SootMethod> entryMethods) |
Modifier and Type | Method and Description |
---|---|
SootMethod |
SynchronizerManager.createClassFetcherFor(SootClass c,
String methodName)
Creates a method which calls java.lang.Class.forName(String).
|
SootMethod |
SynchronizerManager.createClassFetcherFor(SootClass c,
String methodName)
Creates a method which calls java.lang.Class.forName(String).
|
SootMethod |
SynchronizerManager.getClassFetcherFor(SootClass c)
Finds a method which calls java.lang.Class.forName(String).
|
SootMethod |
SynchronizerManager.getClassFetcherFor(SootClass c)
Finds a method which calls java.lang.Class.forName(String).
|
Modifier and Type | Method and Description |
---|---|
static boolean |
InlinerSafetyManager.checkAccessRestrictions(SootMethod container,
SootMethod target,
String modifierOptions) |
static boolean |
InlinerSafetyManager.checkAccessRestrictions(SootMethod container,
SootMethod target,
String modifierOptions) |
static boolean |
InlinerSafetyManager.checkSpecialInlineRestrictions(SootMethod container,
SootMethod target,
String options) |
static boolean |
InlinerSafetyManager.checkSpecialInlineRestrictions(SootMethod container,
SootMethod target,
String options) |
static void |
AccessManager.createAccessorMethod(SootMethod container,
Stmt stmt)
Turns a field access or method call into a call to an accessor method.
|
static void |
AccessManager.createAccessorMethod(SootMethod container,
Stmt stmt)
Turns a field access or method call into a call to an accessor method.
|
static boolean |
AccessManager.ensureAccess(SootMethod container,
ClassMember target,
String options)
Modifies code so that an access to
target is legal from
code in container . |
static boolean |
AccessManager.ensureAccess(SootMethod container,
ClassMember target,
String options)
Modifies code so that an access to
target is legal from
code in container . |
static boolean |
AccessManager.ensureAccess(SootMethod container,
SootClass target,
String options)
Modifies code so that an access to
target is legal from code in container . |
static boolean |
AccessManager.ensureAccess(SootMethod container,
SootClass target,
String options)
Modifies code so that an access to
target is legal from code in container . |
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 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 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.
|
static List |
SiteInliner.inlineSite(SootMethod inlinee,
Stmt toInline,
SootMethod container,
Map options)
Inlines the given site.
|
static boolean |
AccessManager.isAccessLegal(SootMethod container,
ClassMember target)
Returns true iff target is legally accessible from container.
|
static boolean |
AccessManager.isAccessLegal(SootMethod container,
ClassMember target)
Returns true iff target is legally accessible from container.
|
static boolean |
AccessManager.isAccessLegal(SootMethod container,
SootClass target)
Returns true if an access to
target is legal from code in container . |
static boolean |
AccessManager.isAccessLegal(SootMethod container,
SootClass target)
Returns true if an access to
target is legal from code in container . |
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 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 |
Modifier and Type | Field and Description |
---|---|
protected SootMethod |
LocalMustAliasAnalysis.container
the containing method
|
protected SootMethod |
LocalMustAliasAnalysis.container
the containing method
|
protected SootMethod |
InstanceKey.owner |
protected SootMethod |
InstanceKey.owner |
Modifier and Type | Method and Description |
---|---|
SootMethod |
InstanceKey.getOwner() |
SootMethod |
InstanceKey.getOwner() |
Modifier and Type | Method and Description |
---|---|
protected RWSet |
SideEffectAnalysis.addValue(Value v,
SootMethod m,
Stmt s) |
protected RWSet |
SideEffectAnalysis.addValue(Value v,
SootMethod m,
Stmt s) |
void |
SideEffectAnalysis.findNTRWSets(SootMethod method) |
void |
SideEffectAnalysis.findNTRWSets(SootMethod method) |
void |
PASideEffectTester.newMethod(SootMethod m)
Call this when starting to analyze a new method to setup the cache.
|
void |
PASideEffectTester.newMethod(SootMethod m)
Call this when starting to analyze a new method to setup the cache.
|
RWSet |
SideEffectAnalysis.nonTransitiveReadSet(SootMethod method) |
RWSet |
SideEffectAnalysis.nonTransitiveReadSet(SootMethod method) |
RWSet |
SideEffectAnalysis.nonTransitiveWriteSet(SootMethod method) |
RWSet |
SideEffectAnalysis.nonTransitiveWriteSet(SootMethod method) |
RWSet |
SideEffectAnalysis.readSet(SootMethod method,
Stmt stmt) |
RWSet |
SideEffectAnalysis.readSet(SootMethod method,
Stmt stmt) |
RWSet |
SideEffectAnalysis.writeSet(SootMethod method,
Stmt stmt) |
RWSet |
SideEffectAnalysis.writeSet(SootMethod method,
Stmt stmt) |
Constructor and Description |
---|
InstanceKey(Local local,
Stmt stmt,
SootMethod owner,
LocalMustAliasAnalysis lmaa,
LocalMustNotAliasAnalysis lmna)
Creates a new instance key representing the value stored in local, just before
stmt.
|
InstanceKey(Local local,
Stmt stmt,
SootMethod owner,
LocalMustAliasAnalysis lmaa,
LocalMustNotAliasAnalysis lmna)
Creates a new instance key representing the value stored in local, just before
stmt.
|
Modifier and Type | Method and Description |
---|---|
static void |
NativeMethodClass.defaultMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params) |
static void |
NativeMethodClass.defaultMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params) |
void |
JavaIoFileSystemNative.java_io_FileSystem_getFileSystem(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns a variable pointing to the file system constant
public static native java.io.FileSystem getFileSystem();
|
void |
JavaIoFileSystemNative.java_io_FileSystem_getFileSystem(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns a variable pointing to the file system constant
public static native java.io.FileSystem getFileSystem();
|
void |
JavaIoObjectInputStreamNative.java_io_ObjectInputStream_allocateNewArray(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
private static native java.lang.Object allocateNewArray(java.lang.Class,
int);
|
void |
JavaIoObjectInputStreamNative.java_io_ObjectInputStream_allocateNewArray(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
private static native java.lang.Object allocateNewArray(java.lang.Class,
int);
|
void |
JavaIoObjectInputStreamNative.java_io_ObjectInputStream_allocateNewObject(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Serialization has to be avoided by static analyses, since each
object comes out of the same place.
|
void |
JavaIoObjectInputStreamNative.java_io_ObjectInputStream_allocateNewObject(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Serialization has to be avoided by static analyses, since each
object comes out of the same place.
|
void |
JavaIoObjectInputStreamNative.java_io_ObjectInputStream_latestUserDefinedLoader(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: conservatively returns a reference pointing to the only copy
of the class loader.
|
void |
JavaIoObjectInputStreamNative.java_io_ObjectInputStream_latestUserDefinedLoader(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: conservatively returns a reference pointing to the only copy
of the class loader.
|
void |
JavaIoObjectOutputStreamNative.java_io_ObjectOutputStream_getObjectFieldValue(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
The object in field is retrieved out by field ID.
|
void |
JavaIoObjectOutputStreamNative.java_io_ObjectOutputStream_getObjectFieldValue(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
The object in field is retrieved out by field ID.
|
void |
JavaLangClassNative.java_lang_Class_forName0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: the semantic of forName0 follows forName method.
|
void |
JavaLangClassNative.java_lang_Class_forName0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: the semantic of forName0 follows forName method.
|
void |
JavaLangClassNative.java_lang_Class_getClassLoader0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
returns the class loader object for this class.
|
void |
JavaLangClassNative.java_lang_Class_getClassLoader0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
returns the class loader object for this class.
|
void |
JavaLangClassNative.java_lang_Class_getComponentType(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns the Class representing the component type of an array.
|
void |
JavaLangClassNative.java_lang_Class_getComponentType(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns the Class representing the component type of an array.
|
void |
JavaLangClassNative.java_lang_Class_getConstructor0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns a constructor of a class
private native java.lang.reflect.Constructor
getConstructor0(java.lang.Class[], int);
|
void |
JavaLangClassNative.java_lang_Class_getConstructor0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns a constructor of a class
private native java.lang.reflect.Constructor
getConstructor0(java.lang.Class[], int);
|
void |
JavaLangClassNative.java_lang_Class_getConstructors0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns a Constructor object that reflects the specified public
constructor of the class represented by this Class object.
|
void |
JavaLangClassNative.java_lang_Class_getConstructors0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns a Constructor object that reflects the specified public
constructor of the class represented by this Class object.
|
void |
JavaLangClassNative.java_lang_Class_getDeclaredClasses0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns an array of Class objects reflecting all the classes and
interfaces declared as members of the class represented by this
Class object.
|
void |
JavaLangClassNative.java_lang_Class_getDeclaredClasses0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns an array of Class objects reflecting all the classes and
interfaces declared as members of the class represented by this
Class object.
|
void |
JavaLangClassNative.java_lang_Class_getDeclaredConstructors0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns an array of Constructor objects reflecting all the classes and
interfaces declared as members of the class represented by this
Class object.
|
void |
JavaLangClassNative.java_lang_Class_getDeclaredConstructors0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns an array of Constructor objects reflecting all the classes and
interfaces declared as members of the class represented by this
Class object.
|
void |
JavaLangClassNative.java_lang_Class_getDeclaringClass(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
If the class or interface represented by this Class object is a
member of another class, returns the Class object representing the
class in which it was declared.
|
void |
JavaLangClassNative.java_lang_Class_getDeclaringClass(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
If the class or interface represented by this Class object is a
member of another class, returns the Class object representing the
class in which it was declared.
|
void |
JavaLangClassNative.java_lang_Class_getField0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns a Field object that reflects the specified public member
field of the class or interface represented by this Class object.
|
void |
JavaLangClassNative.java_lang_Class_getField0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns a Field object that reflects the specified public member
field of the class or interface represented by this Class object.
|
void |
JavaLangClassNative.java_lang_Class_getFields0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns an array containing Field objects reflecting all the
accessible public fields of the class or interface represented by
this Class object.
|
void |
JavaLangClassNative.java_lang_Class_getFields0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns an array containing Field objects reflecting all the
accessible public fields of the class or interface represented by
this Class object.
|
void |
JavaLangClassNative.java_lang_Class_getInterfaces(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Determines the interfaces implemented by the class or interface
represented by this object.
|
void |
JavaLangClassNative.java_lang_Class_getInterfaces(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Determines the interfaces implemented by the class or interface
represented by this object.
|
void |
JavaLangClassNative.java_lang_Class_getMethod0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns a Method object that reflects the specified public member
method of the class or interface represented by this Class
object.
|
void |
JavaLangClassNative.java_lang_Class_getMethod0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns a Method object that reflects the specified public member
method of the class or interface represented by this Class
object.
|
void |
JavaLangClassNative.java_lang_Class_getMethods0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns an array containing Method objects reflecting all the
public member methods of the class or interface represented by
this Class object, including those declared by the class or
interface and and those inherited from superclasses and
superinterfaces.
|
void |
JavaLangClassNative.java_lang_Class_getMethods0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns an array containing Method objects reflecting all the
public member methods of the class or interface represented by
this Class object, including those declared by the class or
interface and and those inherited from superclasses and
superinterfaces.
|
void |
JavaLangClassNative.java_lang_Class_getName(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns the class name.
|
void |
JavaLangClassNative.java_lang_Class_getName(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns the class name.
|
void |
JavaLangClassNative.java_lang_Class_getPrimitiveClass(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Undocumented.
|
void |
JavaLangClassNative.java_lang_Class_getPrimitiveClass(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Undocumented.
|
void |
JavaLangClassNative.java_lang_Class_getProtectionDomain0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
private native java.security.ProtectionDomain getProtectionDomain0();
|
void |
JavaLangClassNative.java_lang_Class_getProtectionDomain0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
private native java.security.ProtectionDomain getProtectionDomain0();
|
void |
JavaLangClassNative.java_lang_Class_getSigners(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Gets the signers of this class.
|
void |
JavaLangClassNative.java_lang_Class_getSigners(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Gets the signers of this class.
|
void |
JavaLangClassNative.java_lang_Class_getSuperclass(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
returns the super class of this class
public native java.lang.Class getSuperclass();
|
void |
JavaLangClassNative.java_lang_Class_getSuperclass(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
returns the super class of this class
public native java.lang.Class getSuperclass();
|
void |
JavaLangClassNative.java_lang_Class_newInstance0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: creates an object.
|
void |
JavaLangClassNative.java_lang_Class_newInstance0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: creates an object.
|
void |
JavaLangClassNative.java_lang_Class_setProtectionDomain0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Sets or returns the ProtectionDomain of this class,
called by getProtectiondomain.
|
void |
JavaLangClassNative.java_lang_Class_setProtectionDomain0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Sets or returns the ProtectionDomain of this class,
called by getProtectiondomain.
|
void |
JavaLangClassNative.java_lang_Class_setSigners(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Sets the signers of a class.
|
void |
JavaLangClassNative.java_lang_Class_setSigners(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Sets the signers of a class.
|
void |
JavaLangClassLoaderNative.java_lang_ClassLoader_defineClass0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Converts an array of bytes into an instance of class
Class.
|
void |
JavaLangClassLoaderNative.java_lang_ClassLoader_defineClass0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Converts an array of bytes into an instance of class
Class.
|
void |
JavaLangClassLoaderNative.java_lang_ClassLoader_findBootstrapClass(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: undocumented, finding the bootstrap class
Assuming all classes
private native
java.lang.Class findBootstrapClass(java.lang.String)
throws java.lang.ClassNotFoundException;
|
void |
JavaLangClassLoaderNative.java_lang_ClassLoader_findBootstrapClass(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: undocumented, finding the bootstrap class
Assuming all classes
private native
java.lang.Class findBootstrapClass(java.lang.String)
throws java.lang.ClassNotFoundException;
|
void |
JavaLangClassLoaderNative.java_lang_ClassLoader_findLoadedClass(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Finds the class with the given name if it had been previously
loaded through this class loader.
|
void |
JavaLangClassLoaderNative.java_lang_ClassLoader_findLoadedClass(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Finds the class with the given name if it had been previously
loaded through this class loader.
|
void |
JavaLangClassLoaderNative.java_lang_ClassLoader_getCallerClassLoader(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns a variable pointing to the only class loader
static native java.lang.ClassLoader getCallerClassLoader();
|
void |
JavaLangClassLoaderNative.java_lang_ClassLoader_getCallerClassLoader(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns a variable pointing to the only class loader
static native java.lang.ClassLoader getCallerClassLoader();
|
void |
JavaLangObjectNative.java_lang_Object_clone(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Creates and returns a copy of this object.
|
void |
JavaLangObjectNative.java_lang_Object_clone(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Creates and returns a copy of this object.
|
void |
JavaLangObjectNative.java_lang_Object_getClass(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
The return variable is assigned an abstract object representing
all classes (UnknowClassObject) from environment.
|
void |
JavaLangObjectNative.java_lang_Object_getClass(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
The return variable is assigned an abstract object representing
all classes (UnknowClassObject) from environment.
|
void |
JavaLangPackageNative.java_lang_Package_getSystemPackage0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
This is an undocumented private native method, it returns the first
(without caller) method's package.
|
void |
JavaLangPackageNative.java_lang_Package_getSystemPackage0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
This is an undocumented private native method, it returns the first
(without caller) method's package.
|
void |
JavaLangPackageNative.java_lang_Package_getSystemPackages0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
private static native java.lang.String getSystemPackages0()[];
|
void |
JavaLangPackageNative.java_lang_Package_getSystemPackages0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
private static native java.lang.String getSystemPackages0()[];
|
void |
JavaLangReflectArrayNative.java_lang_reflect_Array_get(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns the value of the indexed component in the specified array
object.
|
void |
JavaLangReflectArrayNative.java_lang_reflect_Array_get(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns the value of the indexed component in the specified array
object.
|
void |
JavaLangReflectArrayNative.java_lang_reflect_Array_multiNewArray(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Treat this method as
|
void |
JavaLangReflectArrayNative.java_lang_reflect_Array_multiNewArray(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Treat this method as
|
void |
JavaLangReflectArrayNative.java_lang_reflect_Array_newArray(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Treat this method as
|
void |
JavaLangReflectArrayNative.java_lang_reflect_Array_newArray(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Treat this method as
|
void |
JavaLangReflectArrayNative.java_lang_reflect_Array_set(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params) |
void |
JavaLangReflectArrayNative.java_lang_reflect_Array_set(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params) |
void |
JavaLangReflectConstructorNative.java_lang_reflect_Constructor_newInstance(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Uses the constructor represented by this Constructor object to
create and initialize a new instance of the constructor's
declaring class, with the specified initialization
parameters.
|
void |
JavaLangReflectConstructorNative.java_lang_reflect_Constructor_newInstance(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Uses the constructor represented by this Constructor object to
create and initialize a new instance of the constructor's
declaring class, with the specified initialization
parameters.
|
void |
JavaLangReflectFieldNative.java_lang_reflect_Field_get(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns the value of the field represented by this Field, on the
specified object.
|
void |
JavaLangReflectFieldNative.java_lang_reflect_Field_get(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns the value of the field represented by this Field, on the
specified object.
|
void |
JavaLangReflectFieldNative.java_lang_reflect_Field_set(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: make all fields pointing to @param1
public native void set(java.lang.Object, java.lang.Object)
throws java.lang.IllegalArgumentException,
java.lang.IllegalAccessException;
|
void |
JavaLangReflectFieldNative.java_lang_reflect_Field_set(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: make all fields pointing to @param1
public native void set(java.lang.Object, java.lang.Object)
throws java.lang.IllegalArgumentException,
java.lang.IllegalAccessException;
|
void |
JavaLangReflectMethodNative.java_lang_reflect_Method_invoke(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
nvokes the underlying method represented by this Method object,
on the specified object with the specified parameters.
|
void |
JavaLangReflectMethodNative.java_lang_reflect_Method_invoke(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
nvokes the underlying method represented by this Method object,
on the specified object with the specified parameters.
|
void |
JavaLangReflectProxyNative.java_lang_reflect_Proxy_defineClass0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
We have to assume all possible classes will be returned.
|
void |
JavaLangReflectProxyNative.java_lang_reflect_Proxy_defineClass0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
We have to assume all possible classes will be returned.
|
void |
JavaLangRuntimeNative.java_lang_Runtime_execInternal(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
execInternal is called by all exec method.
|
void |
JavaLangRuntimeNative.java_lang_Runtime_execInternal(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
execInternal is called by all exec method.
|
void |
JavaLangSecurityManagerNative.java_lang_SecurityManager_currentClassLoader0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns the class loader of the most recently executing method
from a class defined using a non-system class loader.
|
void |
JavaLangSecurityManagerNative.java_lang_SecurityManager_currentClassLoader0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns the class loader of the most recently executing method
from a class defined using a non-system class loader.
|
void |
JavaLangSecurityManagerNative.java_lang_SecurityManager_currentLoadedClass0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns a variable pointing to all class objects.
|
void |
JavaLangSecurityManagerNative.java_lang_SecurityManager_currentLoadedClass0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns a variable pointing to all class objects.
|
void |
JavaLangSecurityManagerNative.java_lang_SecurityManager_getClassContext(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns the current execution stack as an array of classes.
|
void |
JavaLangSecurityManagerNative.java_lang_SecurityManager_getClassContext(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns the current execution stack as an array of classes.
|
void |
JavaLangStringNative.java_lang_String_intern(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns a canonical representation for the string object.
|
void |
JavaLangStringNative.java_lang_String_intern(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns a canonical representation for the string object.
|
void |
JavaLangSystemNative.java_lang_System_arraycopy(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Copies an array from the specified source array, beginning at the
specified position, to the specified position of the destination
array.
|
void |
JavaLangSystemNative.java_lang_System_arraycopy(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Copies an array from the specified source array, beginning at the
specified position, to the specified position of the destination
array.
|
void |
JavaLangSystemNative.java_lang_System_getCallerClass(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Undocumented, used by class loading.
|
void |
JavaLangSystemNative.java_lang_System_getCallerClass(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Undocumented, used by class loading.
|
void |
JavaLangSystemNative.java_lang_System_initProperties(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: this method is not documented, it should do following:
|
void |
JavaLangSystemNative.java_lang_System_initProperties(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: this method is not documented, it should do following:
|
void |
JavaLangSystemNative.java_lang_System_mapLibraryName(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: it is platform-dependent, create a new string, needs to be verified.
|
void |
JavaLangSystemNative.java_lang_System_mapLibraryName(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: it is platform-dependent, create a new string, needs to be verified.
|
void |
JavaLangSystemNative.java_lang_System_setErr0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: the same explanation as setIn0:
System.err = parameter
private static native void setErr0(java.io.PrintStream);
|
void |
JavaLangSystemNative.java_lang_System_setErr0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: the same explanation as setIn0:
System.err = parameter
private static native void setErr0(java.io.PrintStream);
|
void |
JavaLangSystemNative.java_lang_System_setIn0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: this native method is not documented in JDK API.
|
void |
JavaLangSystemNative.java_lang_System_setIn0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: this native method is not documented in JDK API.
|
void |
JavaLangSystemNative.java_lang_System_setOut0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: the same explanation as setIn0:
G.v().out = parameter
private static native void setOut0(java.io.PrintStream);
|
void |
JavaLangSystemNative.java_lang_System_setOut0(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: the same explanation as setIn0:
G.v().out = parameter
private static native void setOut0(java.io.PrintStream);
|
void |
JavaLangThreadNative.java_lang_Thread_currentThread(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns the single variable pointing to all thread objects.
|
void |
JavaLangThreadNative.java_lang_Thread_currentThread(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns the single variable pointing to all thread objects.
|
void |
JavaLangThrowableNative.java_lang_Throwable_fillInStackTrace(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: this method just fills in the stack state in this throwable
object content.
|
void |
JavaLangThrowableNative.java_lang_Throwable_fillInStackTrace(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: this method just fills in the stack state in this throwable
object content.
|
void |
JavaNetInetAddressImplNative.java_net_InetAddressImpl_getHostByAddr(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Create a string object
native java.lang.String getHostByAddr(int)
throws java.net.UnknownHostException;
|
void |
JavaNetInetAddressImplNative.java_net_InetAddressImpl_getHostByAddr(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Create a string object
native java.lang.String getHostByAddr(int)
throws java.net.UnknownHostException;
|
void |
JavaNetInetAddressImplNative.java_net_InetAddressImpl_getLocalHostName(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns a variable pointing to a string constant
I am not sure if repeated calls of methods in this class will
return the same object or not.
|
void |
JavaNetInetAddressImplNative.java_net_InetAddressImpl_getLocalHostName(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Returns a variable pointing to a string constant
I am not sure if repeated calls of methods in this class will
return the same object or not.
|
void |
JavaSecurityAccessControllerNative.java_security_AccessController_doPrivileged(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
java.security.AccessController
|
void |
JavaSecurityAccessControllerNative.java_security_AccessController_doPrivileged(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
java.security.AccessController
|
void |
JavaSecurityAccessControllerNative.java_security_AccessController_getInheritedAccessControlContext(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: not documented and not called by anyone
static native
java.security.AccessControlContext getInheritedAccessControlContext();
|
void |
JavaSecurityAccessControllerNative.java_security_AccessController_getInheritedAccessControlContext(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
NOTE: not documented and not called by anyone
static native
java.security.AccessControlContext getInheritedAccessControlContext();
|
void |
JavaSecurityAccessControllerNative.java_security_AccessController_getStackAccessControlContext(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Creates an access control context object.
|
void |
JavaSecurityAccessControllerNative.java_security_AccessController_getStackAccessControlContext(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Creates an access control context object.
|
void |
JavaUtilJarJarFileNative.java_util_jar_JarFile_getMetaInfoEntryNames(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
The methods returns an array of strings.
|
void |
JavaUtilJarJarFileNative.java_util_jar_JarFile_getMetaInfoEntryNames(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
The methods returns an array of strings.
|
void |
JavaUtilResourceBundleNative.java_util_ResourceBundle_getClassContext(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Undocumented, returns an array of all possible classes.
|
void |
JavaUtilResourceBundleNative.java_util_ResourceBundle_getClassContext(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Undocumented, returns an array of all possible classes.
|
void |
JavaUtilTimeZoneNative.java_util_TimeZone_getSystemTimeZoneID(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
It should return a constant for TimeZone
Gets the TimeZone for the given ID.
|
void |
JavaUtilTimeZoneNative.java_util_TimeZone_getSystemTimeZoneID(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
It should return a constant for TimeZone
Gets the TimeZone for the given ID.
|
void |
JavaIoFileDescriptorNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaIoFileInputStreamNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaIoFileOutputStreamNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaIoFileSystemNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaIoObjectInputStreamNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaIoObjectOutputStreamNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaIoObjectStreamClassNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangClassLoaderNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangClassLoaderNativeLibraryNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangClassNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangDoubleNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangFloatNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangObjectNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangPackageNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangReflectArrayNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangReflectConstructorNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangReflectFieldNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangReflectMethodNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangReflectProxyNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangRuntimeNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangSecurityManagerNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangShutdownNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangStrictMathNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangStringNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangSystemNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangThreadNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangThrowableNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaNetInetAddressImplNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaNetInetAddressNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaSecurityAccessControllerNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaUtilJarJarFileNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaUtilResourceBundleNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaUtilTimeZoneNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaUtilZipCRC32Native.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaUtilZipInflaterNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaUtilZipZipEntryNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaUtilZipZipFileNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
abstract void |
NativeMethodClass.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params) |
void |
SunMiscSignalHandlerNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
SunMiscSignalNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
SunMiscUnsafeNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangClassNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangThrowableNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangReflectProxyNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
SunMiscSignalHandlerNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaIoObjectOutputStreamNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangSecurityManagerNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaUtilZipZipFileNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaNetInetAddressNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangClassLoaderNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangReflectConstructorNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangPackageNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangStrictMathNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaNetInetAddressImplNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangObjectNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaUtilJarJarFileNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangSystemNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaIoFileInputStreamNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaUtilZipCRC32Native.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaIoObjectStreamClassNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaIoFileSystemNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangReflectFieldNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
SunMiscSignalNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangClassLoaderNativeLibraryNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaIoFileDescriptorNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaSecurityAccessControllerNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaUtilZipZipEntryNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangDoubleNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangShutdownNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaIoObjectInputStreamNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangFloatNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaUtilTimeZoneNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangReflectArrayNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaUtilZipInflaterNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
abstract void |
NativeMethodClass.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params) |
void |
JavaUtilResourceBundleNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaIoFileOutputStreamNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangReflectMethodNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangRuntimeNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangThreadNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
JavaLangStringNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
SunMiscUnsafeNative.simulateMethod(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
Implements the abstract method simulateMethod.
|
void |
SunMiscUnsafeNative.sun_misc_Unsafe_allocateInstance(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params) |
void |
SunMiscUnsafeNative.sun_misc_Unsafe_allocateInstance(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params) |
Constructor and Description |
---|
NativeMethodNotSupportedException(SootMethod method) |
NativeMethodNotSupportedException(SootMethod method) |
Modifier and Type | Method and Description |
---|---|
boolean |
NativeMethodDriver.process(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
The entry point of native method simulation.
|
boolean |
NativeMethodDriver.process(SootMethod method,
ReferenceVariable thisVar,
ReferenceVariable returnVar,
ReferenceVariable[] params)
The entry point of native method simulation.
|
ReferenceVariable |
NativeHelper.tempLocalVariable(SootMethod method) |
ReferenceVariable |
NativeHelper.tempLocalVariable(SootMethod method) |
protected abstract ReferenceVariable |
NativeHelper.tempLocalVariableImpl(SootMethod method) |
protected abstract ReferenceVariable |
NativeHelper.tempLocalVariableImpl(SootMethod method) |
Modifier and Type | Method and Description |
---|---|
Set<SootMethod> |
ReflectionTraceInfo.constructorNewInstanceConstructors(SootMethod container) |
Set<SootMethod> |
ReflectionTraceInfo.constructorNewInstanceConstructors(SootMethod container) |
Set<SootMethod> |
ReflectionTraceInfo.methodInvokeMethods(SootMethod container) |
Set<SootMethod> |
ReflectionTraceInfo.methodInvokeMethods(SootMethod container) |
Set<SootMethod> |
ReflectionTraceInfo.methodsContainingReflectiveCalls() |
Set<SootMethod> |
ReflectionTraceInfo.methodsContainingReflectiveCalls() |
Constructor and Description |
---|
FastAvailableExpressionsAnalysis(DirectedGraph<Unit> dg,
SootMethod m,
SideEffectTester st) |
FastAvailableExpressionsAnalysis(DirectedGraph<Unit> dg,
SootMethod m,
SideEffectTester st) |
PessimisticAvailableExpressionsAnalysis(DirectedGraph<Unit> dg,
SootMethod m,
SideEffectTester st) |
PessimisticAvailableExpressionsAnalysis(DirectedGraph<Unit> dg,
SootMethod m,
SideEffectTester st) |
Modifier and Type | Method and Description |
---|---|
SootMethod |
AbstractRuntimeThread.getStartStmtMethod() |
SootMethod |
AbstractRuntimeThread.getStartStmtMethod() |
Modifier and Type | Method and Description |
---|---|
List<SootMethod> |
EncapsulatedObjectAnalysis.getObjectPureMethodsSoFar() |
List<SootMethod> |
EncapsulatedObjectAnalysis.getObjectPureMethodsSoFar() |
Modifier and Type | Method and Description |
---|---|
List |
ThreadLocalObjectsAnalysis.escapesThrough(Value sharedValue,
SootMethod containingMethod)
Returns a list of thread-shared sources and sinks.
|
List |
ThreadLocalObjectsAnalysis.escapesThrough(Value sharedValue,
SootMethod containingMethod)
Returns a list of thread-shared sources and sinks.
|
boolean |
ThreadLocalObjectsAnalysis.hasNonThreadLocalEffects(SootMethod containingMethod,
InvokeExpr ie) |
boolean |
ThreadLocalObjectsAnalysis.hasNonThreadLocalEffects(SootMethod containingMethod,
InvokeExpr ie) |
boolean |
EncapsulatedObjectAnalysis.isInitMethodPureOnObject(SootMethod sm) |
boolean |
EncapsulatedObjectAnalysis.isInitMethodPureOnObject(SootMethod sm) |
boolean |
EncapsulatedObjectAnalysis.isMethodPureOnObject(SootMethod sm) |
boolean |
EncapsulatedObjectAnalysis.isMethodPureOnObject(SootMethod sm) |
boolean |
IThreadLocalObjectsAnalysis.isObjectThreadLocal(Value localOrRef,
SootMethod sm) |
boolean |
ThreadLocalObjectsAnalysis.isObjectThreadLocal(Value localOrRef,
SootMethod sm) |
boolean |
IThreadLocalObjectsAnalysis.isObjectThreadLocal(Value localOrRef,
SootMethod sm) |
boolean |
ThreadLocalObjectsAnalysis.isObjectThreadLocal(Value localOrRef,
SootMethod sm) |
void |
AbstractRuntimeThread.setStartStmtMethod(SootMethod startStmtMethod) |
void |
AbstractRuntimeThread.setStartStmtMethod(SootMethod startStmtMethod) |
Modifier and Type | Method and Description |
---|---|
List<SootMethod> |
TargetMethodsFinder.find(Unit unit,
CallGraph cg,
boolean canBeNullList,
boolean canBeNative) |
List<SootMethod> |
TargetMethodsFinder.find(Unit unit,
CallGraph cg,
boolean canBeNullList,
boolean canBeNative) |
Map<Stmt,SootMethod> |
StartJoinFinder.getStartToContainingMethod() |
Map<Stmt,SootMethod> |
StartJoinFinder.getStartToContainingMethod() |
Map<Stmt,List<SootMethod>> |
StartJoinAnalysis.getStartToRunMethods() |
Map<Stmt,List<SootMethod>> |
StartJoinFinder.getStartToRunMethods() |
Map<Stmt,List<SootMethod>> |
StartJoinAnalysis.getStartToRunMethods() |
Map<Stmt,List<SootMethod>> |
StartJoinFinder.getStartToRunMethods() |
Modifier and Type | Method and Description |
---|---|
boolean |
MhpTester.mayHappenInParallel(SootMethod m1,
SootMethod m2) |
boolean |
SynchObliviousMhpAnalysis.mayHappenInParallel(SootMethod m1,
SootMethod m2) |
boolean |
SynchObliviousMhpAnalysis.mayHappenInParallel(SootMethod m1,
SootMethod m2) |
boolean |
MhpTester.mayHappenInParallel(SootMethod m1,
SootMethod m2) |
boolean |
MhpTester.mayHappenInParallel(SootMethod m1,
Unit u1,
SootMethod m2,
Unit u2) |
boolean |
SynchObliviousMhpAnalysis.mayHappenInParallel(SootMethod m1,
Unit u1,
SootMethod m2,
Unit u2) |
boolean |
SynchObliviousMhpAnalysis.mayHappenInParallel(SootMethod m1,
Unit u1,
SootMethod m2,
Unit u2) |
boolean |
MhpTester.mayHappenInParallel(SootMethod m1,
Unit u1,
SootMethod m2,
Unit u2) |
Constructor and Description |
---|
PegGraph(CallGraph callGraph,
Hierarchy hierarchy,
PAG pag,
Set<Object> methodsNeedingInlining,
Set<AllocNode> allocNodes,
List inlineSites,
Map synchObj,
Set<AllocNode> multiRunAllocNodes,
Map allocNodeToObj,
Body unitBody,
SootMethod sm,
boolean addExceptionEdges,
boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock)
Constructs a graph for the units found in the provided
Body instance.
|
PegGraph(CallGraph callGraph,
Hierarchy hierarchy,
PAG pag,
Set<Object> methodsNeedingInlining,
Set<AllocNode> allocNodes,
List inlineSites,
Map synchObj,
Set<AllocNode> multiRunAllocNodes,
Map allocNodeToObj,
Body unitBody,
SootMethod sm,
boolean addExceptionEdges,
boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock)
Constructs a graph for the units found in the provided
Body instance.
|
PegGraph(CallGraph callGraph,
Hierarchy hierarchy,
PAG pag,
Set methodsNeedingInlining,
Set allocNodes,
List<List> inlineSites,
Map<SootMethod,String> synchObj,
Set multiRunAllocNodes,
Map<AllocNode,String> allocNodeToObj,
Body unitBody,
String threadName,
SootMethod sm,
boolean addExceEdge,
boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock)
Constructs a graph for the units found in the provided
Body instance.
|
PegGraph(CallGraph callGraph,
Hierarchy hierarchy,
PAG pag,
Set methodsNeedingInlining,
Set allocNodes,
List<List> inlineSites,
Map<SootMethod,String> synchObj,
Set multiRunAllocNodes,
Map<AllocNode,String> allocNodeToObj,
Body unitBody,
String threadName,
SootMethod sm,
boolean addExceEdge,
boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock)
Constructs a graph for the units found in the provided
Body instance.
|
StartJoinAnalysis(UnitGraph g,
SootMethod sm,
CallGraph callGraph,
PAG pag) |
StartJoinAnalysis(UnitGraph g,
SootMethod sm,
CallGraph callGraph,
PAG pag) |
Constructor and Description |
---|
PegGraph(CallGraph callGraph,
Hierarchy hierarchy,
PAG pag,
Set methodsNeedingInlining,
Set allocNodes,
List<List> inlineSites,
Map<SootMethod,String> synchObj,
Set multiRunAllocNodes,
Map<AllocNode,String> allocNodeToObj,
Body unitBody,
String threadName,
SootMethod sm,
boolean addExceEdge,
boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock)
Constructs a graph for the units found in the provided
Body instance.
|
PegGraph(CallGraph callGraph,
Hierarchy hierarchy,
PAG pag,
Set methodsNeedingInlining,
Set allocNodes,
List<List> inlineSites,
Map<SootMethod,String> synchObj,
Set multiRunAllocNodes,
Map<AllocNode,String> allocNodeToObj,
Body unitBody,
String threadName,
SootMethod sm,
boolean addExceEdge,
boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock)
Constructs a graph for the units found in the provided
Body instance.
|
Modifier and Type | Method and Description |
---|---|
Set<SootMethod> |
AllocNodesFinder.getMultiCalledMethods() |
Set<SootMethod> |
MultiCalledMethods.getMultiCalledMethods() |
Set<SootMethod> |
AllocNodesFinder.getMultiCalledMethods() |
Set<SootMethod> |
MultiCalledMethods.getMultiCalledMethods() |
Constructor and Description |
---|
MultiRunStatementsFinder(UnitGraph g,
SootMethod sm,
Set<SootMethod> multiCalledMethods,
CallGraph cg) |
MultiRunStatementsFinder(UnitGraph g,
SootMethod sm,
Set<SootMethod> multiCalledMethods,
CallGraph cg) |
Constructor and Description |
---|
MultiRunStatementsFinder(UnitGraph g,
SootMethod sm,
Set<SootMethod> multiCalledMethods,
CallGraph cg) |
MultiRunStatementsFinder(UnitGraph g,
SootMethod sm,
Set<SootMethod> multiCalledMethods,
CallGraph cg) |
Modifier and Type | Field and Description |
---|---|
protected SootMethod |
JPegStmt.sootMethod |
protected SootMethod |
JPegStmt.sootMethod |
Modifier and Type | Method and Description |
---|---|
SootMethod |
JPegStmt.getMethod() |
SootMethod |
JPegStmt.getMethod() |
Modifier and Type | Method and Description |
---|---|
protected RWSet |
CriticalSectionAwareSideEffectAnalysis.addValue(Value v,
SootMethod m,
Stmt s) |
protected RWSet |
CriticalSectionAwareSideEffectAnalysis.addValue(Value v,
SootMethod m,
Stmt s) |
RWSet |
CriticalSectionAwareSideEffectAnalysis.approximatedReadSet(SootMethod method,
Stmt stmt,
Value specialRead,
boolean allFields) |
RWSet |
CriticalSectionAwareSideEffectAnalysis.approximatedReadSet(SootMethod method,
Stmt stmt,
Value specialRead,
boolean allFields) |
RWSet |
CriticalSectionAwareSideEffectAnalysis.approximatedWriteSet(SootMethod method,
Stmt stmt,
Value v,
boolean allFields) |
RWSet |
CriticalSectionAwareSideEffectAnalysis.approximatedWriteSet(SootMethod method,
Stmt stmt,
Value v,
boolean allFields) |
void |
CriticalSectionAwareSideEffectAnalysis.findNTRWSets(SootMethod method) |
void |
CriticalSectionAwareSideEffectAnalysis.findNTRWSets(SootMethod method) |
RWSet |
CriticalSectionAwareSideEffectAnalysis.nonTransitiveReadSet(SootMethod method) |
RWSet |
CriticalSectionAwareSideEffectAnalysis.nonTransitiveReadSet(SootMethod method) |
RWSet |
CriticalSectionAwareSideEffectAnalysis.nonTransitiveWriteSet(SootMethod method) |
RWSet |
CriticalSectionAwareSideEffectAnalysis.nonTransitiveWriteSet(SootMethod method) |
RWSet |
CriticalSectionAwareSideEffectAnalysis.readSet(SootMethod method,
Stmt stmt,
soot.jimple.toolkits.thread.synchronization.CriticalSection tn,
Set uses) |
RWSet |
CriticalSectionAwareSideEffectAnalysis.readSet(SootMethod method,
Stmt stmt,
soot.jimple.toolkits.thread.synchronization.CriticalSection tn,
Set uses) |
RWSet |
CriticalSectionAwareSideEffectAnalysis.valueRWSet(Value v,
SootMethod m,
Stmt s,
soot.jimple.toolkits.thread.synchronization.CriticalSection tn) |
RWSet |
CriticalSectionAwareSideEffectAnalysis.valueRWSet(Value v,
SootMethod m,
Stmt s,
soot.jimple.toolkits.thread.synchronization.CriticalSection tn) |
RWSet |
CriticalSectionAwareSideEffectAnalysis.writeSet(SootMethod method,
Stmt stmt,
soot.jimple.toolkits.thread.synchronization.CriticalSection tn,
Set uses) |
RWSet |
CriticalSectionAwareSideEffectAnalysis.writeSet(SootMethod method,
Stmt stmt,
soot.jimple.toolkits.thread.synchronization.CriticalSection tn,
Set uses) |
Modifier and Type | Method and Description |
---|---|
Body |
ShimpleMethodSource.getBody(SootMethod m,
String phaseName) |
Body |
ShimpleMethodSource.getBody(SootMethod m,
String phaseName) |
ShimpleBody |
Shimple.newBody(SootMethod m)
Returns an empty ShimpleBody associated with method m, using
default phase options.
|
ShimpleBody |
Shimple.newBody(SootMethod m)
Returns an empty ShimpleBody associated with method m, using
default phase options.
|
ShimpleBody |
Shimple.newBody(SootMethod m,
Map<String,String> options)
Returns an empty ShimpleBody associated with method m, using
provided option map.
|
ShimpleBody |
Shimple.newBody(SootMethod m,
Map<String,String> options)
Returns an empty ShimpleBody associated with method m, using
provided option map.
|
Modifier and Type | Method and Description |
---|---|
void |
RegisterAllocator.asParameter(SootMethod sm,
Local l) |
void |
RegisterAllocator.asParameter(SootMethod sm,
Local l) |
static int |
SootToDexUtils.getDexAccessFlags(SootMethod m) |
static int |
SootToDexUtils.getDexAccessFlags(SootMethod m) |
Modifier and Type | Method and Description |
---|---|
protected ThrowableSet |
UnitThrowAnalysis.mightThrow(SootMethod sm)
Returns the set of types that might be thrown as a result of
calling the specified method.
|
protected ThrowableSet |
UnitThrowAnalysis.mightThrow(SootMethod sm)
Returns the set of types that might be thrown as a result of
calling the specified method.
|
Modifier and Type | Field and Description |
---|---|
protected SootMethod |
UnitGraph.method |
protected SootMethod |
UnitGraph.method |
Modifier and Type | Method and Description |
---|---|
void |
InteractionHandler.setNextMethod(SootMethod m) |
void |
InteractionHandler.setNextMethod(SootMethod m) |
Modifier and Type | Field and Description |
---|---|
protected SootMethod |
RegionAnalysis.m_method |
protected SootMethod |
RegionAnalysis.m_method |
Modifier and Type | Method and Description |
---|---|
SootMethod |
IRegion.getSootMethod() |
SootMethod |
PDGRegion.getSootMethod() |
SootMethod |
Region.getSootMethod() |
SootMethod |
Region.getSootMethod() |
SootMethod |
PDGRegion.getSootMethod() |
SootMethod |
IRegion.getSootMethod() |
Constructor and Description |
---|
PDGRegion(int id,
List<PDGNode> nodes,
SootMethod m,
SootClass c,
UnitGraph ug,
PDGNode node) |
PDGRegion(int id,
List<PDGNode> nodes,
SootMethod m,
SootClass c,
UnitGraph ug,
PDGNode node) |
PDGRegion(int id,
SootMethod m,
SootClass c,
UnitGraph ug,
PDGNode node) |
PDGRegion(int id,
SootMethod m,
SootClass c,
UnitGraph ug,
PDGNode node) |
Region(int id,
List<Block> blocks,
SootMethod m,
SootClass c,
UnitGraph ug) |
Region(int id,
List<Block> blocks,
SootMethod m,
SootClass c,
UnitGraph ug) |
Region(int id,
SootMethod m,
SootClass c,
UnitGraph ug) |
Region(int id,
SootMethod m,
SootClass c,
UnitGraph ug) |
RegionAnalysis(UnitGraph cfg,
SootMethod m,
SootClass c) |
RegionAnalysis(UnitGraph cfg,
SootMethod m,
SootClass c) |
Modifier and Type | Method and Description |
---|---|
void |
TagCollector.collectMethodTags(SootMethod sm) |
void |
TagCollector.collectMethodTags(SootMethod sm) |