| 限定符和类型 | 字段和说明 |
|---|---|
protected ISourceSinkDefinition |
SourceContext.definition |
| 限定符和类型 | 方法和说明 |
|---|---|
ISourceSinkDefinition |
SourceContext.getDefinition() |
ISourceSinkDefinition |
AbstractionAtSink.getSinkDefinition()
Gets the original definition of the sink that has been reached
|
| 构造器和说明 |
|---|
Abstraction(ISourceSinkDefinition definition,
AccessPath sourceVal,
soot.jimple.Stmt sourceStmt,
Object userData,
boolean exceptionThrown,
boolean isImplicit) |
AbstractionAtSink(ISourceSinkDefinition sinkDefinition,
Abstraction abstraction,
soot.jimple.Stmt sinkStmt)
Creates a new instance of the
AbstractionAtSink class |
SourceContext(ISourceSinkDefinition definition,
AccessPath accessPath,
soot.jimple.Stmt stmt) |
SourceContext(ISourceSinkDefinition definition,
AccessPath accessPath,
soot.jimple.Stmt stmt,
Object userData) |
SourceContextAndPath(ISourceSinkDefinition definition,
AccessPath value,
soot.jimple.Stmt stmt) |
SourceContextAndPath(ISourceSinkDefinition definition,
AccessPath value,
soot.jimple.Stmt stmt,
Object userData) |
| 限定符和类型 | 字段和说明 |
|---|---|
protected static ISourceSinkDefinition |
SwingPasswordField.UI_PASSWORD_SOURCE_DEF |
protected static ISourceSinkDefinition |
SwingTextField.UI_SOURCE_DEF |
| 限定符和类型 | 方法和说明 |
|---|---|
abstract ISourceSinkDefinition |
LayoutControl.getSourceDefinition()
If this control shall be treated as a source, this method is called to obtain
the precise definition of the source
|
ISourceSinkDefinition |
SwingTextField.getSourceDefinition() |
ISourceSinkDefinition |
SwingPasswordField.getSourceDefinition() |
| 限定符和类型 | 字段和说明 |
|---|---|
protected ISourceSinkDefinition |
AbstractResultSourceSinkInfo.definition |
| 限定符和类型 | 方法和说明 |
|---|---|
ISourceSinkDefinition |
AbstractResultSourceSinkInfo.getDefinition() |
| 限定符和类型 | 方法和说明 |
|---|---|
void |
InfoflowResults.addResult(ISourceSinkDefinition sinkDefinition,
AccessPath sink,
soot.jimple.Stmt sinkStmt,
ISourceSinkDefinition sourceDefinition,
AccessPath source,
soot.jimple.Stmt sourceStmt) |
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
|
| 构造器和说明 |
|---|
AbstractResultSourceSinkInfo(ISourceSinkDefinition definition,
AccessPath accessPath,
soot.jimple.Stmt stmt) |
AbstractResultSourceSinkInfo(ISourceSinkDefinition definition,
AccessPath accessPath,
soot.jimple.Stmt stmt,
Object userData) |
ResultSinkInfo(ISourceSinkDefinition definition,
AccessPath sink,
soot.jimple.Stmt context) |
ResultSourceInfo(ISourceSinkDefinition definition,
AccessPath source,
soot.jimple.Stmt context) |
ResultSourceInfo(ISourceSinkDefinition definition,
AccessPath source,
soot.jimple.Stmt context,
Object userData,
List<soot.jimple.Stmt> path,
List<AccessPath> pathAPs) |
| 限定符和类型 | 方法和说明 |
|---|---|
Set<ISourceSinkDefinition> |
RIFLSourceSinkDefinitionProvider.getAllMethods() |
Set<ISourceSinkDefinition> |
RIFLSourceSinkDefinitionProvider.getSinks() |
Set<ISourceSinkDefinition> |
RIFLSourceSinkDefinitionProvider.getSources() |
| 限定符和类型 | 接口和说明 |
|---|---|
interface |
IAccessPathBasedSourceSinkDefinition
Common interface for all source/sink definitions based on access paths
|
| 限定符和类型 | 类和说明 |
|---|---|
class |
AbstractSourceSinkDefinition
A class to handle all access paths of sources and sinks for a certain method.
|
class |
FieldSourceSinkDefinition
Class for defining fields as sources or sinks
|
class |
MethodSourceSinkDefinition
A class to handle all access paths of sources and sinks for a certain method.
|
class |
StatementSourceSinkDefinition
A source/sink definition that corresponds to a concrete statement in the
Jimple code
|
| 限定符和类型 | 方法和说明 |
|---|---|
ISourceSinkDefinition |
ISourceSinkDefinition.getSinkOnlyDefinition()
Creates a definition which is a subset of this definition that only contains
the sinks
|
ISourceSinkDefinition |
ISourceSinkDefinition.getSourceOnlyDefinition()
Creates a definition which is a subset of this definition that only contains
the sources
|
| 限定符和类型 | 方法和说明 |
|---|---|
Set<ISourceSinkDefinition> |
NullSourceSinkDefinitionProvider.getAllMethods() |
Collection<? extends ISourceSinkDefinition> |
ISourceSinkDefinitionProvider.getAllMethods()
Gets all methods for which there are source/sink definitions
|
Set<ISourceSinkDefinition> |
FilteringSourceSinkDefinitionProvider.getAllMethods() |
Set<ISourceSinkDefinition> |
NullSourceSinkDefinitionProvider.getSinks() |
Collection<? extends ISourceSinkDefinition> |
ISourceSinkDefinitionProvider.getSinks()
Gets a set of all sinks registered in the provider
|
Set<ISourceSinkDefinition> |
FilteringSourceSinkDefinitionProvider.getSinks() |
Set<ISourceSinkDefinition> |
NullSourceSinkDefinitionProvider.getSources() |
Collection<? extends ISourceSinkDefinition> |
ISourceSinkDefinitionProvider.getSources()
Gets a set of all sources registered in the provider
|
Set<ISourceSinkDefinition> |
FilteringSourceSinkDefinitionProvider.getSources() |
| 限定符和类型 | 方法和说明 |
|---|---|
boolean |
FilteringSourceSinkDefinitionProvider.ISourceSinkFilter.accepts(ISourceSinkDefinition def)
Checks whether the filter accepts the given source/sink definition
|
void |
FieldSourceSinkDefinition.merge(ISourceSinkDefinition other) |
void |
StatementSourceSinkDefinition.merge(ISourceSinkDefinition other) |
void |
MethodSourceSinkDefinition.merge(ISourceSinkDefinition other) |
void |
ISourceSinkDefinition.merge(ISourceSinkDefinition other)
Merges the source and sink definitions of the given definition object into
this definition object
|
| 限定符和类型 | 字段和说明 |
|---|---|
protected soot.util.MultiMap<String,ISourceSinkDefinition> |
BaseSourceSinkManager.sinkDefs |
protected Map<soot.SootField,ISourceSinkDefinition> |
BaseSourceSinkManager.sinkFields |
protected Map<soot.SootMethod,ISourceSinkDefinition> |
BaseSourceSinkManager.sinkMethods |
protected Map<soot.SootMethod,ISourceSinkDefinition> |
BaseSourceSinkManager.sinkReturnMethods |
protected Map<soot.jimple.Stmt,ISourceSinkDefinition> |
BaseSourceSinkManager.sinkStatements |
protected soot.util.MultiMap<String,ISourceSinkDefinition> |
BaseSourceSinkManager.sourceDefs |
protected Map<soot.SootField,ISourceSinkDefinition> |
BaseSourceSinkManager.sourceFields |
protected Map<soot.SootMethod,ISourceSinkDefinition> |
BaseSourceSinkManager.sourceMethods |
protected Map<soot.jimple.Stmt,ISourceSinkDefinition> |
BaseSourceSinkManager.sourceStatements |
| 限定符和类型 | 方法和说明 |
|---|---|
protected ISourceSinkDefinition |
BaseSourceSinkManager.checkCallbackParamSource(soot.jimple.Stmt sCallSite,
IInfoflowCFG cfg)
Checks whether the given statement obtains data from a callback source
|
protected ISourceSinkDefinition |
BaseSourceSinkManager.getSinkDefinition(soot.jimple.Stmt sCallSite,
InfoflowManager manager,
AccessPath ap)
Gets the sink definition for the given call site and tainted access path
|
protected ISourceSinkDefinition |
BaseSourceSinkManager.getSource(soot.jimple.Stmt sCallSite,
IInfoflowCFG cfg)
Checks whether the given statement is a source, i.e. introduces new
information into the application.
|
protected ISourceSinkDefinition |
BaseSourceSinkManager.getSourceDefinition(soot.SootMethod method)
Checks whether the given method is registered as a source method
|
protected ISourceSinkDefinition |
BaseSourceSinkManager.getSourceMethod(soot.SootMethod method)
Checks whether the given method is registered as a source method.
|
protected ISourceSinkDefinition |
BaseSourceSinkManager.getUISourceDefinition(soot.jimple.Stmt sCallSite,
IInfoflowCFG cfg)
Checks whether the given call site indicates a UI source, e.g. a password
input.
|
| 限定符和类型 | 方法和说明 |
|---|---|
protected SourceInfo |
BaseSourceSinkManager.createSourceInfo(soot.jimple.Stmt sCallSite,
InfoflowManager manager,
ISourceSinkDefinition def) |
| 构造器和说明 |
|---|
SinkInfo(ISourceSinkDefinition definition)
Creates a new instance of the
AbstractSourceSinkInfo class. |
SinkInfo(ISourceSinkDefinition definition,
Object userData)
Creates a new instance of the
AbstractSourceSinkInfo class. |
SourceInfo(ISourceSinkDefinition definition,
AccessPath ap)
Creates a new instance of the
SourceInfo class. |
SourceInfo(ISourceSinkDefinition definition,
AccessPath ap,
Object userData)
Creates a new instance of the
AbstractSourceSinkInfo class. |
SourceInfo(ISourceSinkDefinition definition,
Set<AccessPath> bundle)
Creates a new instance of the
SourceInfo class |
SourceInfo(ISourceSinkDefinition definition,
Set<AccessPath> bundle,
Object userData)
Creates a new instance of the
SourceInfo class |
| 构造器和说明 |
|---|
BaseSourceSinkManager(Collection<? extends ISourceSinkDefinition> sources,
Collection<? extends ISourceSinkDefinition> sinks,
InfoflowConfiguration config)
Creates a new instance of the
BaseSourceSinkManager class with either
strong or weak matching. |
BaseSourceSinkManager(Collection<? extends ISourceSinkDefinition> sources,
Collection<? extends ISourceSinkDefinition> sinks,
InfoflowConfiguration config)
Creates a new instance of the
BaseSourceSinkManager class with either
strong or weak matching. |
BaseSourceSinkManager(Collection<? extends ISourceSinkDefinition> sources,
Collection<? extends ISourceSinkDefinition> sinks,
Set<? extends CallbackDefinition> callbackMethods,
InfoflowConfiguration config)
Creates a new instance of the
BaseSourceSinkManager class with strong
matching, i.e. the methods in the code must exactly match those in the list. |
BaseSourceSinkManager(Collection<? extends ISourceSinkDefinition> sources,
Collection<? extends ISourceSinkDefinition> sinks,
Set<? extends CallbackDefinition> callbackMethods,
InfoflowConfiguration config)
Creates a new instance of the
BaseSourceSinkManager class with strong
matching, i.e. the methods in the code must exactly match those in the list. |
Copyright © 2022 Fraunhofer SIT. All rights reserved.