qilin.pta.toolkits.conch

Class AbstractPAG

java.lang.Object

qilin.pta.toolkits.conch.AbstractPAG

Direct Known Subclasses:

DepOnParamAnalysis, LeakAnalysis

public abstract class AbstractPAG
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected OnFlyCallGraph	callGraph
protected heros.solver.CountingThreadPoolExecutor	executor
protected Map<Node,Set<TranEdge>>	outEdges
protected PAG	prePAG
protected PTA	prePTA
protected Map<Node,Set<TranEdge>>	sumEdges
protected Map<SootMethod,Map<Stmt,AllocNode>>	symbolicHeaps

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractPAG(PTA prePTA)

Method Summary

Modifier and Type	Method and Description
protected void	addAssignEdge(LocalVarNode from, LocalVarNode to)
protected void	addLoadEdge(LocalVarNode base, LocalVarNode to)
protected void	addNewEdge(AllocNode from, LocalVarNode to)
protected void	addNormalEdge(TranEdge edge)
protected void	addParamEdge(LocalVarNode param)
protected void	addReturnEdge(LocalVarNode mret)
protected void	addStoreEdge(LocalVarNode from, LocalVarNode base)
protected void	addThrowEdge(Node throwNode)
protected void	awaitCompletionComputeValuesAndShutdown()
protected void	build()
protected AllocNode	getSymbolicHeapOf(SootMethod method, Stmt invokeStmt)
protected Collection<TranEdge>	outAndSummaryEdges(Node node)
protected void	solve()
protected abstract void	submitInitialSeeds()

Methods inherited from class java.lang.Object

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

Field Detail

symbolicHeaps

protected final Map<SootMethod,Map<Stmt,AllocNode>> symbolicHeaps

outEdges

protected final Map<Node,Set<TranEdge>> outEdges

sumEdges

protected final Map<Node,Set<TranEdge>> sumEdges

executor

protected heros.solver.CountingThreadPoolExecutor executor

prePTA

protected final PTA prePTA

prePAG

protected final PAG prePAG

callGraph

protected final OnFlyCallGraph callGraph

Constructor Detail

AbstractPAG

protected AbstractPAG(PTA prePTA)

Method Detail

build

protected void build()

addNormalEdge

protected void addNormalEdge(TranEdge edge)

addThrowEdge

protected void addThrowEdge(Node throwNode)

addParamEdge

protected void addParamEdge(LocalVarNode param)

addReturnEdge

protected void addReturnEdge(LocalVarNode mret)

addNewEdge

protected void addNewEdge(AllocNode from,
                          LocalVarNode to)

addAssignEdge

protected void addAssignEdge(LocalVarNode from,
                             LocalVarNode to)

addStoreEdge

protected void addStoreEdge(LocalVarNode from,
                            LocalVarNode base)

addLoadEdge

protected void addLoadEdge(LocalVarNode base,
                           LocalVarNode to)

solve

protected void solve()

outAndSummaryEdges

protected Collection<TranEdge> outAndSummaryEdges(Node node)

submitInitialSeeds

protected abstract void submitInitialSeeds()

awaitCompletionComputeValuesAndShutdown

protected void awaitCompletionComputeValuesAndShutdown()

getSymbolicHeapOf

protected AllocNode getSymbolicHeapOf(SootMethod method,
                                      Stmt invokeStmt)