| 程序包 | 说明 |
|---|---|
| soot.jimple.infoflow | |
| soot.jimple.infoflow.codeOptimization | |
| soot.jimple.infoflow.sourcesSinks.manager |
| 限定符和类型 | 方法和说明 |
|---|---|
ISourceSinkManager |
InfoflowManager.getSourceSinkManager()
Gets the SourceSinkManager implementation
|
| 限定符和类型 | 方法和说明 |
|---|---|
void |
Infoflow.computeInfoflow(String appPath,
String libPath,
IEntryPointCreator entryPointCreator,
ISourceSinkManager sourcesSinks) |
void |
IInfoflow.computeInfoflow(String appPath,
String libPath,
IEntryPointCreator entryPointCreator,
ISourceSinkManager sourcesSinks)
Computes the information flow on a list of entry point methods.
|
void |
Infoflow.computeInfoflow(String appPath,
String libPath,
String entryPoint,
ISourceSinkManager sourcesSinks) |
void |
IInfoflow.computeInfoflow(String appPath,
String libPath,
String entryPoint,
ISourceSinkManager sourcesSinks)
Computes the information flow on a single method.
|
protected void |
Infoflow.eliminateDeadCode(ISourceSinkManager sourcesSinks)
Runs all code optimizers
|
protected InfoflowManager |
Infoflow.initializeInfoflowManager(ISourceSinkManager sourcesSinks,
IInfoflowCFG iCfg,
GlobalTaintManager globalTaintManager)
Initializes the data flow manager with which propagation rules can interact
with the data flow engine
|
protected void |
Infoflow.runAnalysis(ISourceSinkManager sourcesSinks)
Conducts a taint analysis on an already initialized callgraph
|
| 构造器和说明 |
|---|
InfoflowManager(InfoflowConfiguration config,
IInfoflowSolver forwardSolver,
IInfoflowCFG icfg,
ISourceSinkManager sourceSinkManager,
ITaintPropagationWrapper taintWrapper,
soot.FastHierarchy hierarchy,
AccessPathFactory accessPathFactory,
GlobalTaintManager globalTaintManager) |
| 限定符和类型 | 方法和说明 |
|---|---|
void |
DeadCodeEliminator.run(InfoflowManager manager,
Collection<soot.SootMethod> entryPoints,
ISourceSinkManager sourcesSinks,
ITaintPropagationWrapper taintWrapper) |
void |
ICodeOptimizer.run(InfoflowManager manager,
Collection<soot.SootMethod> entryPoints,
ISourceSinkManager sourcesSinks,
ITaintPropagationWrapper taintWrapper)
Runs the coe optimization
|
| 构造器和说明 |
|---|
InterproceduralConstantValuePropagator(InfoflowManager manager,
Collection<soot.SootMethod> excludedMethods,
ISourceSinkManager sourceSinkManager,
ITaintPropagationWrapper taintWrapper)
Creates a new instance of the
InterproceduralConstantValuePropagator
class |
| 限定符和类型 | 类和说明 |
|---|---|
class |
BaseSourceSinkManager |
class |
DefaultSourceSinkManager
A
ISourceSinkManager working on lists of source and sink methods |
class |
EmptySourceSinkManager
A
ISourceSinkManager that always returns false, i.e. one for which
there are no sources or sinks at all. |
class |
MethodBasedSourceSinkManager
Abstracts from the very generic statement-based SourceSinkManager so that
users can conveniently work on the called methods instead of having to
analyze the call statement every time
|
Copyright © 2022 Fraunhofer SIT. All rights reserved.