| 程序包 | 说明 |
|---|---|
| soot.jimple.infoflow | |
| soot.jimple.infoflow.codeOptimization | |
| soot.jimple.infoflow.problems | |
| soot.jimple.infoflow.taintWrappers |
| 类和说明 |
|---|
| ITaintPropagationWrapper
This interface declares methods to define classes and methods which should not
be analyzed directly.
|
| ITaintWrapperDataFlowAnalysis
Common interface for all data flow analyses that support taint wrappers
|
| 类和说明 |
|---|
| ITaintPropagationWrapper
This interface declares methods to define classes and methods which should not
be analyzed directly.
|
| 类和说明 |
|---|
| ITaintPropagationWrapper
This interface declares methods to define classes and methods which should not
be analyzed directly.
|
| 类和说明 |
|---|
| AbstractTaintWrapper
Abstract base class for all taint propagation wrappers
|
| EasyTaintWrapper
A list of methods is passed which contains signatures of instance methods
that taint their base objects if they are called with a tainted parameter.
|
| IReversibleTaintWrapper
While a normal
ITaintPropagationWrapper answers the question which
taints are valid after a given statement has been called with a given
incoming taint abstraction, a IReversibleTaintWrapper can also
identify those taint that were possibly tainted before a given statement if
the result of that statement is a given taint. |
| ITaintPropagationWrapper
This interface declares methods to define classes and methods which should not
be analyzed directly.
|
Copyright © 2022 Fraunhofer SIT. All rights reserved.