|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| EngineRegistrar | Registers taint analysis with analysis cache |
| Taint | Representation of taint dataflow facts (dataflow values) for each slot
in TaintFrame |
| TaintAnalysis | Implements taint dataflow operations, in particular meeting facts, transfer
function is delegated to TaintFrameModelingVisitor |
| TaintDataflow | Analysis object storing the result of taint analysis on a method |
| TaintDataflowEngine | Requests or creates needed objects and execute taint analysis |
| TaintFrame | Representation of the dataflow value (fact) modeling taint state of local
variables and values on stack, consists of Taint values |
| TaintFrameModelingVisitor | Visitor to make instruction transfer of taint values easier |
| TaintMethodSummary | Summary of information about a method related to taint analysis |
| TaintMethodSummaryMap | Map of taint summaries for all known methods |
| Enum Summary | |
|---|---|
| Taint.State | |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||