| 程序包 | 说明 |
|---|---|
| soot.jimple.infoflow.problems | |
| soot.jimple.infoflow.solver.fastSolver | |
| soot.jimple.infoflow.solver.fastSolver.flowInsensitive | |
| soot.jimple.infoflow.solver.gcSolver |
| 限定符和类型 | 字段和说明 |
|---|---|
protected MyConcurrentHashMap<AbstractionAtSink,Abstraction> |
TaintPropagationResults.results |
| 限定符和类型 | 字段和说明 |
|---|---|
protected MyConcurrentHashMap<heros.solver.Pair<soot.SootMethod,D>,Map<heros.solver.Pair<N,D>,D>> |
IFDSSolver.endSummary |
protected MyConcurrentHashMap<heros.solver.Pair<soot.SootMethod,D>,MyConcurrentHashMap<N,Map<D,D>>> |
IFDSSolver.incoming |
protected MyConcurrentHashMap<heros.solver.PathEdge<N,D>,D> |
IFDSSolver.jumpFunctions |
| 限定符和类型 | 字段和说明 |
|---|---|
protected MyConcurrentHashMap<heros.solver.Pair<soot.SootMethod,D>,MyConcurrentHashMap<N,Map<D,D>>> |
IFDSSolver.incoming |
| 限定符和类型 | 字段和说明 |
|---|---|
protected MyConcurrentHashMap<heros.solver.Pair<soot.SootMethod,D>,Set<heros.solver.Pair<soot.Unit,D>>> |
FlowInsensitiveSolver.endSummary |
protected MyConcurrentHashMap<heros.solver.Pair<soot.SootMethod,D>,MyConcurrentHashMap<soot.Unit,Map<D,D>>> |
FlowInsensitiveSolver.incoming |
protected MyConcurrentHashMap<heros.solver.PathEdge<soot.SootMethod,D>,D> |
FlowInsensitiveSolver.jumpFunctions |
| 限定符和类型 | 字段和说明 |
|---|---|
protected MyConcurrentHashMap<heros.solver.Pair<soot.SootMethod,D>,MyConcurrentHashMap<soot.Unit,Map<D,D>>> |
FlowInsensitiveSolver.incoming |
| 限定符和类型 | 字段和说明 |
|---|---|
protected MyConcurrentHashMap<heros.solver.Pair<soot.SootMethod,D>,Map<heros.solver.Pair<N,D>,D>> |
IFDSSolver.endSummary |
Copyright © 2022 Fraunhofer SIT. All rights reserved.