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 and Description
protected Map<SparkField,Set<LocalVarNode>>	field2InParams
protected Map<SparkField,Set<LocalVarNode>>	field2OutParams
protected XUtility	utility
protected XPAG	xpag

Constructor Summary

Constructors

Constructor and Description
InterFlowAnalysis(XUtility utility)

Method Summary

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

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 Detail

InterFlowAnalysis

public InterFlowAnalysis(XUtility utility)

Method Detail

reachabilityAnalysis

public void reachabilityAnalysis()

getParamsStoredInto

public Set<LocalVarNode> getParamsStoredInto(SparkField field)

getOutMethodsWithRetOrParamValueFrom

public Set<SootMethod> getOutMethodsWithRetOrParamValueFrom(SparkField field)