Package qilin.pta.toolkits.debloaterx

Class IntraFlowAnalysis

java.lang.Object

qilin.pta.toolkits.debloaterx.IntraFlowAnalysis

public class IntraFlowAnalysis
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected final Set<LocalVarNode>	params
protected final XPAG	xpag

Constructor Summary

Constructors

Constructor	Description
IntraFlowAnalysis(XUtility utility, SootMethod method)

Method Summary

Modifier and Type	Method	Description
protected void	collectParams()
boolean	isContentFromParam(AllocNode heap)
boolean	isDirectlyReturnedHeap(AllocNode heap)
Set<SparkField>	retrieveStoreFields(AllocNode heap)

Methods inherited from class java.lang.Object

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

Field Details

xpag

protected final XPAG xpag

params

protected final Set<LocalVarNode> params

Constructor Details

IntraFlowAnalysis

public IntraFlowAnalysis(XUtility utility,
 SootMethod method)

Method Details

collectParams

protected void collectParams()

isDirectlyReturnedHeap

public boolean isDirectlyReturnedHeap(AllocNode heap)

isContentFromParam

public boolean isContentFromParam(AllocNode heap)

retrieveStoreFields

public Set<SparkField> retrieveStoreFields(AllocNode heap)