org.bdware.analysis.dynamic

类 FieldSensitiveDynamicTaintAnalysis

java.lang.Object

org.bdware.analysis.BreadthFirstSearch<TaintResult,TaintBB>

org.bdware.analysis.dynamic.FieldSensitiveDynamicTaintAnalysis

public class FieldSensitiveDynamicTaintAnalysis
extends BreadthFirstSearch<TaintResult,TaintBB>

字段概要

字段

限定符和类型	字段和说明
static boolean	isDebug

从类继承的字段 org.bdware.analysis.BreadthFirstSearch

results, toAnalysis

构造器概要

构造器

构造器和说明
FieldSensitiveDynamicTaintAnalysis(TaintCFG cfg, TracedFile tf)

方法概要

限定符和类型	方法和说明
TaintResult	execute(TaintBB t)
java.util.Collection<TaintBB>	getSuc(TaintBB t)

从类继承的方法 org.bdware.analysis.BreadthFirstSearch

analysis, getListLength, setToAnalysis

从类继承的方法 java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

字段详细资料

isDebug

public static boolean isDebug

构造器详细资料

FieldSensitiveDynamicTaintAnalysis

public FieldSensitiveDynamicTaintAnalysis(TaintCFG cfg,
                                          TracedFile tf)

方法详细资料

execute

public TaintResult execute(TaintBB t)

指定者:

execute 在类中 BreadthFirstSearch<TaintResult,TaintBB>

getSuc

public java.util.Collection<TaintBB> getSuc(TaintBB t)

指定者:

getSuc 在类中 BreadthFirstSearch<TaintResult,TaintBB>