| 类 | 说明 |
|---|---|
| FlowInsensitiveSolver<N extends soot.Unit,D extends FastSolverLinkedNode<D,N>,I extends soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>> |
A solver for an
IFDSTabulationProblem. |
| InfoflowSolver |
We are subclassing the JimpleIFDSSolver because we need the same executor for
both the forward and the backward analysis Also we need to be able to insert
edges containing new taint information
|
Copyright © 2022 Fraunhofer SIT. All rights reserved.