| 程序包 | 说明 |
|---|---|
| soot.jimple.infoflow.data.pathBuilders | |
| soot.jimple.infoflow.handlers | |
| soot.jimple.infoflow.results | |
| soot.jimple.infoflow.results.xml |
| 限定符和类型 | 方法和说明 |
|---|---|
void |
IAbstractionPathBuilder.OnPathBuilderResultAvailable.onResultAvailable(ResultSourceInfo source,
ResultSinkInfo sink)
Method that is called when a new source-to-sink mapping is available
|
| 限定符和类型 | 方法和说明 |
|---|---|
boolean |
ResultsAvailableHandler2.onSingleResultAvailable(ResultSourceInfo source,
ResultSinkInfo sinks)
Notifies the handler that a new data flow result is available
|
| 限定符和类型 | 字段和说明 |
|---|---|
protected soot.util.MultiMap<ResultSinkInfo,ResultSourceInfo> |
InfoflowResults.results |
| 限定符和类型 | 方法和说明 |
|---|---|
ResultSourceInfo |
DataFlowResult.getSource() |
| 限定符和类型 | 方法和说明 |
|---|---|
heros.solver.Pair<ResultSourceInfo,ResultSinkInfo> |
InfoflowResults.addResult(ISourceSinkDefinition sinkDefinition,
AccessPath sink,
soot.jimple.Stmt sinkStmt,
ISourceSinkDefinition sourceDefinition,
AccessPath source,
soot.jimple.Stmt sourceStmt,
Object userData,
List<Abstraction> propagationPath) |
heros.solver.Pair<ResultSourceInfo,ResultSinkInfo> |
InfoflowResults.addResult(ISourceSinkDefinition sinkDefinition,
AccessPath sink,
soot.jimple.Stmt sinkStmt,
ISourceSinkDefinition sourceDefinition,
AccessPath source,
soot.jimple.Stmt sourceStmt,
Object userData,
List<soot.jimple.Stmt> propagationPath,
List<AccessPath> propagationAccessPath)
Adds the given result to this data structure
|
soot.util.MultiMap<ResultSinkInfo,ResultSourceInfo> |
InfoflowResults.getResults()
Gets all results in this object as a hash map from sinks to sets of sources.
|
| 限定符和类型 | 方法和说明 |
|---|---|
void |
InfoflowResults.addResult(ResultSinkInfo sink,
ResultSourceInfo source)
Adds the given result to this data structure
|
| 构造器和说明 |
|---|
DataFlowResult(ResultSourceInfo source,
ResultSinkInfo sink) |
| 限定符和类型 | 方法和说明 |
|---|---|
protected void |
InfoflowResultsSerializer.writeAdditionalSourceInfo(ResultSourceInfo source,
XMLStreamWriter writer)
Derived classes can override this method to write out additional information
about a data flow source
|
Copyright © 2022 Fraunhofer SIT. All rights reserved.