Package qilin.pta.toolkits.debloaterx

Class InterFlowAnalysis

java.lang.Object

qilin.pta.toolkits.debloaterx.InterFlowAnalysis

public class InterFlowAnalysis
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected final Map<SparkField,Set<LocalVarNode>>	field2InParams
protected final Map<SparkField,Set<LocalVarNode>>	field2OutParams
protected final XUtility	utility
protected final XPAG	xpag

Constructor Summary

Constructors

Constructor	Description
InterFlowAnalysis(XUtility utility)

Method Summary

Modifier and Type	Method	Description
Set<SootMethod>	getOutMethodsWithRetOrParamValueFrom(SparkField field)
Set<LocalVarNode>	getParamsStoredInto(SparkField field)
void	reachabilityAnalysis()

Methods inherited from class java.lang.Object

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

Field Details

utility

protected final XUtility utility

xpag

protected final XPAG xpag

field2InParams

protected final Map<SparkField,Set<LocalVarNode>> field2InParams

field2OutParams

protected final Map<SparkField,Set<LocalVarNode>> field2OutParams

Constructor Details

InterFlowAnalysis

public InterFlowAnalysis(XUtility utility)

Method Details

reachabilityAnalysis

public void reachabilityAnalysis()

getParamsStoredInto

public Set<LocalVarNode> getParamsStoredInto(SparkField field)

getOutMethodsWithRetOrParamValueFrom

public Set<SootMethod> getOutMethodsWithRetOrParamValueFrom(SparkField field)