org.bdware.sc.analysis.dynamic

类 FSAnalysis

java.lang.Object

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

org.bdware.sc.analysis.dynamic.FSAnalysis

public class FSAnalysis
extends org.bdware.analysis.BreadthFirstSearch<org.bdware.analysis.taint.TaintResult,org.bdware.analysis.taint.TaintBB>

字段概要

字段

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

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

results, toAnalysis

构造器概要

构造器

构造器和说明
FSAnalysis(org.bdware.analysis.taint.TaintCFG cfg)

方法概要

限定符和类型	方法和说明
org.bdware.analysis.taint.TaintResult	execute(org.bdware.analysis.taint.TaintBB t)
java.util.Collection<org.bdware.analysis.taint.TaintBB>	getSuc(org.bdware.analysis.taint.TaintBB t)
static java.lang.String	staticVerify(org.bdware.sc.bean.Contract c)

从类继承的方法 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

构造器详细资料

FSAnalysis

public FSAnalysis(org.bdware.analysis.taint.TaintCFG cfg)

方法详细资料

execute

public org.bdware.analysis.taint.TaintResult execute(org.bdware.analysis.taint.TaintBB t)

指定者:

execute 在类中 org.bdware.analysis.BreadthFirstSearch<org.bdware.analysis.taint.TaintResult,org.bdware.analysis.taint.TaintBB>

getSuc

public java.util.Collection<org.bdware.analysis.taint.TaintBB> getSuc(org.bdware.analysis.taint.TaintBB t)

指定者:

getSuc 在类中 org.bdware.analysis.BreadthFirstSearch<org.bdware.analysis.taint.TaintResult,org.bdware.analysis.taint.TaintBB>

staticVerify

public static java.lang.String staticVerify(org.bdware.sc.bean.Contract c)