qilin.pta.toolkits.conch

Class DepOnParamAnalysis

java.lang.Object

qilin.pta.toolkits.conch.AbstractPAG

qilin.pta.toolkits.conch.DepOnParamAnalysis

public class DepOnParamAnalysis
extends AbstractPAG

Field Summary

Fields inherited from class qilin.pta.toolkits.conch.AbstractPAG

callGraph, executor, outEdges, prePAG, prePTA, sumEdges, symbolicHeaps

Constructor Summary

Constructors

Constructor and Description
DepOnParamAnalysis(PTA prePTA)

Method Summary

Modifier and Type	Method and Description
protected void	addNewEdge(AllocNode from, LocalVarNode to)
protected void	addParamEdge(LocalVarNode param)
Set<Node>	fetchReachableParamsOf(Node node)
protected void	solve()
protected void	submitInitialSeeds()

Methods inherited from class qilin.pta.toolkits.conch.AbstractPAG

addAssignEdge, addLoadEdge, addNormalEdge, addReturnEdge, addStoreEdge, addThrowEdge, awaitCompletionComputeValuesAndShutdown, build, getSymbolicHeapOf, outAndSummaryEdges

Methods inherited from class java.lang.Object

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

Constructor Detail

DepOnParamAnalysis

public DepOnParamAnalysis(PTA prePTA)

Method Detail

solve

protected void solve()

Overrides:

solve in class AbstractPAG

addParamEdge

protected void addParamEdge(LocalVarNode param)

Overrides:

addParamEdge in class AbstractPAG

addNewEdge

protected void addNewEdge(AllocNode from,
                          LocalVarNode to)

Overrides:

addNewEdge in class AbstractPAG

submitInitialSeeds

protected void submitInitialSeeds()

Specified by:

submitInitialSeeds in class AbstractPAG

fetchReachableParamsOf

public Set<Node> fetchReachableParamsOf(Node node)