public class XUtility extends Object
| Modifier and Type | Field and Description |
|---|---|
protected InterFlowAnalysis |
interfa |
protected Map<SootMethod,Set<AllocNode>> |
m2receiverObjects |
protected Map<AllocNode,Set<SparkField>> |
o2Fields |
protected Map<AllocNode,HeapContainerQuery> |
o2HCQ |
protected Map<AllocNode,Set<SootMethod>> |
o2InvokedMethods |
protected Map<AllocNode,Map<SparkField,Set<VarNode>>> |
o2nonThisFLoads |
protected Map<AllocNode,Map<SparkField,Set<VarNode>>> |
o2nonThisFStores |
protected PAG |
pag |
protected PTA |
pta |
protected Set<Type> |
rawOrPolyTypes |
protected Map<Type,Set<SparkField>> |
t2Fields |
protected Map<Type,Set<SootMethod>> |
t2InvokedMethods |
protected Map<Type,Map<SparkField,Set<VarNode>>> |
t2nonThisFLoads |
protected Map<Type,Map<SparkField,Set<VarNode>>> |
t2nonThisFStores |
protected XPAG |
xpag |
| Modifier and Type | Method and Description |
|---|---|
Set<SparkField> |
getFields() |
Set<SparkField> |
getFields(AllocNode heap) |
Set<SparkField> |
getFields(Type type) |
HeapContainerQuery |
getHCQ(AllocNode heap) |
InterFlowAnalysis |
getInterFlowAnalysis() |
Set<SootMethod> |
getInvokedMethods(AllocNode heap) |
PTA |
getPta() |
Set<AllocNode> |
getReceiverObjects(SootMethod method) |
XPAG |
getXpag() |
boolean |
hasNonThisLoadFromField(AllocNode heap,
SparkField field) |
boolean |
hasNonThisStoreOnField(AllocNode heap,
SparkField field) |
boolean |
isCoarseType(Type type) |
protected final PTA pta
protected final PAG pag
protected final Map<AllocNode,HeapContainerQuery> o2HCQ
protected final Map<AllocNode,Set<SparkField>> o2Fields
protected final Map<Type,Set<SparkField>> t2Fields
protected final Map<AllocNode,Set<SootMethod>> o2InvokedMethods
protected final Map<Type,Set<SootMethod>> t2InvokedMethods
protected final Map<SootMethod,Set<AllocNode>> m2receiverObjects
protected final XPAG xpag
protected final InterFlowAnalysis interfa
public XUtility(PTA pta)
public PTA getPta()
public XPAG getXpag()
public InterFlowAnalysis getInterFlowAnalysis()
public boolean isCoarseType(Type type)
public Set<AllocNode> getReceiverObjects(SootMethod method)
public Set<SootMethod> getInvokedMethods(AllocNode heap)
public HeapContainerQuery getHCQ(AllocNode heap)
public Set<SparkField> getFields()
public Set<SparkField> getFields(AllocNode heap)
public Set<SparkField> getFields(Type type)
public boolean hasNonThisStoreOnField(AllocNode heap, SparkField field)
public boolean hasNonThisLoadFromField(AllocNode heap, SparkField field)
Copyright © 2024 Soot OSS. All rights reserved.