org.bdware.analysis

类 FrontCF

java.lang.Object

org.bdware.analysis.FrontCF

public class FrontCF
extends java.lang.Object

嵌套类概要

嵌套类

限定符和类型	类和说明
static class	FrontCF.EdgeLabel
static class	FrontCF.FrontBB
static class	FrontCF.FrontEdge

字段概要

字段

限定符和类型	字段和说明
java.util.List<FrontCF.FrontBB>	blocks
java.util.List<FrontCF.FrontEdge>	edges
java.lang.String	finalRet
java.lang.String	ret

构造器概要

构造器

构造器和说明
FrontCF(CFGraph graph)

方法概要

限定符和类型	方法和说明
void	addBB(BasicBlock bb, java.lang.String original, java.util.List<java.lang.Integer> ids, TaintCFG cfg)
void	addEdge(BasicBlock bb, BasicBlock suc)

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

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

字段详细资料

blocks

public java.util.List<FrontCF.FrontBB> blocks

edges

public java.util.List<FrontCF.FrontEdge> edges

ret

public java.lang.String ret

finalRet

public java.lang.String finalRet

构造器详细资料

FrontCF

public FrontCF(CFGraph graph)

方法详细资料

addBB

public void addBB(BasicBlock bb,
                  java.lang.String original,
                  java.util.List<java.lang.Integer> ids,
                  TaintCFG cfg)

addEdge

public void addEdge(BasicBlock bb,
                    BasicBlock suc)