qilin.pta.toolkits.conch

Class LeakAnalysis

java.lang.Object

qilin.pta.toolkits.conch.AbstractPAG

qilin.pta.toolkits.conch.LeakAnalysis

public class LeakAnalysis
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
LeakAnalysis(PTA prePTA)

Method Summary

Modifier and Type	Method and Description
protected void	addNewEdge(AllocNode from, LocalVarNode to)
protected void	addParamEdge(LocalVarNode param)
protected void	addReturnEdge(LocalVarNode mret)
protected void	addThrowEdge(Node throwNode)
boolean	isLeakObject(AllocNode heap)
protected void	solve()
protected void	submitInitialSeeds()

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

LeakAnalysis

public LeakAnalysis(PTA prePTA)

Method Detail

solve

protected void solve()

Overrides:

solve in class AbstractPAG

submitInitialSeeds

protected void submitInitialSeeds()

Specified by:

submitInitialSeeds in class AbstractPAG

addThrowEdge

protected void addThrowEdge(Node throwNode)

Overrides:

addThrowEdge in class AbstractPAG

addParamEdge

protected void addParamEdge(LocalVarNode param)

Overrides:

addParamEdge in class AbstractPAG

addReturnEdge

protected void addReturnEdge(LocalVarNode mret)

Overrides:

addReturnEdge in class AbstractPAG

addNewEdge

protected void addNewEdge(AllocNode from,
                          LocalVarNode to)

Overrides:

addNewEdge in class AbstractPAG

isLeakObject

public boolean isLeakObject(AllocNode heap)