org.bdware.analysis.example

类 FieldSensitiveTaintAnalysis

java.lang.Object

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

org.bdware.analysis.example.FieldSensitiveTaintAnalysis

public class FieldSensitiveTaintAnalysis
extends BreadthFirstSearch<TaintResult,TaintBB>

字段概要

字段

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

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

results, toAnalysis

构造器概要

构造器

构造器和说明
FieldSensitiveTaintAnalysis(TaintCFG cfg)

方法概要

限定符和类型	方法和说明
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

构造器详细资料

FieldSensitiveTaintAnalysis

public FieldSensitiveTaintAnalysis(TaintCFG cfg)

方法详细资料

execute

public TaintResult execute(TaintBB t)

指定者:

execute 在类中 BreadthFirstSearch<TaintResult,TaintBB>

getSuc

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

指定者:

getSuc 在类中 BreadthFirstSearch<TaintResult,TaintBB>