public class NaiveDynamicTaintAnalysis extends BreadthFirstSearch<TaintResult,TaintBB>
| 限定符和类型 | 字段和说明 |
|---|---|
static java.util.HashMap<java.lang.String,java.util.HashMap<java.lang.Integer,java.lang.Integer>> |
branchCount |
static boolean |
isDebug |
results, toAnalysis| 构造器和说明 |
|---|
NaiveDynamicTaintAnalysis(TaintCFG cfg,
TracedFile tf) |
| 限定符和类型 | 方法和说明 |
|---|---|
TaintResult |
execute(TaintBB t) |
java.util.Collection<TaintBB> |
getSuc(TaintBB t) |
analysis, getListLength, setToAnalysispublic static boolean isDebug
public static java.util.HashMap<java.lang.String,java.util.HashMap<java.lang.Integer,java.lang.Integer>> branchCount
public NaiveDynamicTaintAnalysis(TaintCFG cfg, TracedFile tf)
public TaintResult execute(TaintBB t)
execute 在类中 BreadthFirstSearch<TaintResult,TaintBB>public java.util.Collection<TaintBB> getSuc(TaintBB t)
getSuc 在类中 BreadthFirstSearch<TaintResult,TaintBB>