public interface ISourceSinkManager
| 限定符和类型 | 方法和说明 |
|---|---|
SinkInfo |
getSinkInfo(soot.jimple.Stmt sCallSite,
InfoflowManager manager,
AccessPath ap)
Checks if the given access path at this statement will leak.
|
SourceInfo |
getSourceInfo(soot.jimple.Stmt sCallSite,
InfoflowManager manager)
Determines if a method called by the Stmt is a source method or not.
|
void |
initialize()
Initialization method that is called after the Soot instance has been
created and before the actual data flow tracking is started.
|
void initialize()
SourceInfo getSourceInfo(soot.jimple.Stmt sCallSite, InfoflowManager manager)
sCallSite - a Stmt which should include an invokeExrp calling a methodmanager - The manager object for interacting with the solverSinkInfo getSinkInfo(soot.jimple.Stmt sCallSite, InfoflowManager manager, AccessPath ap)
sCallSite - The call site to checkmanager - The manager object for interacting with the solverap - The access path to check. Pass null to check whether the given
statement can be a sink for any given access path.Copyright © 2022 Fraunhofer SIT. All rights reserved.