org.bdware.analysis.example

类 MultiSourceTaintAnalysis

java.lang.Object

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

org.bdware.analysis.example.MultiSourceTaintAnalysis

public class MultiSourceTaintAnalysis
extends BreadthFirstSearch<TaintResult,TaintBB>

字段概要

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

results, toAnalysis

构造器概要

构造器

构造器和说明
MultiSourceTaintAnalysis(TaintCFG cfg)

方法概要

限定符和类型	方法和说明
static java.util.Map<java.lang.Integer,java.util.List<java.lang.Integer>>	depAnalysis(TaintCFG cfg)
TaintResult	execute(TaintBB t)
java.util.Collection<TaintBB>	getSuc(TaintBB t)
static boolean	isArrival(TaintCFG cfg, BasicBlock suc, BasicBlock bb)

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

analysis, getListLength, setToAnalysis

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

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

构造器详细资料

MultiSourceTaintAnalysis

public MultiSourceTaintAnalysis(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>

depAnalysis

public static java.util.Map<java.lang.Integer,java.util.List<java.lang.Integer>> depAnalysis(TaintCFG cfg)

isArrival

public static boolean isArrival(TaintCFG cfg,
                                BasicBlock suc,
                                BasicBlock bb)