| 接口 | 说明 |
|---|---|
| TaintPropagationResults.OnTaintPropagationResultAdded |
Handler interface that is invoked when new taint propagation results are
added to the result object
|
| 类 | 说明 |
|---|---|
| AbstractInfoflowProblem |
abstract super class which - concentrates functionality used by
InfoflowProblem and BackwardsInfoflowProblem - contains helper functions
which should not pollute the naturally large InfofflowProblems
|
| BackwardsInfoflowProblem |
class which contains the flow functions for the backwards solver.
|
| InfoflowProblem | |
| TaintPropagationResults |
Class for storing the results of the forward taint propagation
|
Copyright © 2022 Fraunhofer SIT. All rights reserved.