| 程序包 | 说明 |
|---|---|
| soot.jimple.infoflow.data | |
| soot.jimple.infoflow.solver.fastSolver | |
| soot.jimple.infoflow.solver.fastSolver.flowInsensitive | |
| soot.jimple.infoflow.solver.gcSolver |
| 限定符和类型 | 类和说明 |
|---|---|
class |
Abstraction
The abstraction class contains all information that is necessary to track the
taint.
|
| 限定符和类型 | 类和说明 |
|---|---|
class |
IFDSSolver<N,D extends FastSolverLinkedNode<D,N>,I extends soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<N,soot.SootMethod>>
A solver for an
IFDSTabulationProblem. |
| 限定符和类型 | 字段和说明 |
|---|---|
protected D |
IFDSSolver.zeroValue |
| 限定符和类型 | 类和说明 |
|---|---|
class |
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. |
| 限定符和类型 | 字段和说明 |
|---|---|
protected D |
FlowInsensitiveSolver.zeroValue |
| 限定符和类型 | 类和说明 |
|---|---|
class |
IFDSSolver<N,D extends FastSolverLinkedNode<D,N>,I extends soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<N,soot.SootMethod>>
A solver for an
IFDSTabulationProblem. |
protected static class |
IFDSSolver.IncomingRecord<N,D extends FastSolverLinkedNode<D,N>> |
| 限定符和类型 | 字段和说明 |
|---|---|
D |
IFDSSolver.IncomingRecord.d1 |
D |
IFDSSolver.IncomingRecord.d2 |
D |
IFDSSolver.IncomingRecord.d3 |
protected D |
IFDSSolver.zeroValue |
| 限定符和类型 | 方法和说明 |
|---|---|
Set<soot.SootMethod> |
IGCReferenceProvider.getMethodReferences(soot.SootMethod method,
FastSolverLinkedNode<D,N> context)
Given a method and a context, gets the set of methods that in which the
solver can transitively spawn new analysis tasks
|
Set<soot.SootMethod> |
AheadOfTimeReferenceProvider.getMethodReferences(soot.SootMethod method,
FastSolverLinkedNode<D,N> context) |
Set<soot.SootMethod> |
OnDemandReferenceProvider.getMethodReferences(soot.SootMethod method,
FastSolverLinkedNode<D,N> context) |
Copyright © 2022 Fraunhofer SIT. All rights reserved.