Package 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	Description
DepOnParamAnalysis(PTA prePTA)

Method Summary

Modifier and Type	Method	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 Details

DepOnParamAnalysis

public DepOnParamAnalysis(PTA prePTA)

Method Details

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)