|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use EquivalentValue | |
---|---|
soot.jimple.toolkits.annotation.nullcheck | Classes that carry out an analysis to determine whether or not null pointer checks are necessary. |
soot.jimple.toolkits.infoflow | |
soot.jimple.toolkits.scalar.pre | Particial redundency elimination. |
soot.jimple.toolkits.thread.synchronization |
Uses of EquivalentValue in soot.jimple.toolkits.annotation.nullcheck |
---|
Fields in soot.jimple.toolkits.annotation.nullcheck with type parameters of type EquivalentValue | |
---|---|
protected List<EquivalentValue> |
BranchedRefVarsAnalysis.refTypeInstFieldBases
Deprecated. |
protected List<EquivalentValue> |
BranchedRefVarsAnalysis.refTypeInstFieldBases
Deprecated. |
protected List<EquivalentValue> |
BranchedRefVarsAnalysis.refTypeInstFields
Deprecated. |
protected List<EquivalentValue> |
BranchedRefVarsAnalysis.refTypeInstFields
Deprecated. |
protected List<EquivalentValue> |
BranchedRefVarsAnalysis.refTypeLocals
Deprecated. |
protected List<EquivalentValue> |
BranchedRefVarsAnalysis.refTypeLocals
Deprecated. |
protected List<EquivalentValue> |
BranchedRefVarsAnalysis.refTypeStaticFields
Deprecated. |
protected List<EquivalentValue> |
BranchedRefVarsAnalysis.refTypeStaticFields
Deprecated. |
protected List<EquivalentValue> |
BranchedRefVarsAnalysis.refTypeValues
Deprecated. |
protected List<EquivalentValue> |
BranchedRefVarsAnalysis.refTypeValues
Deprecated. |
Methods in soot.jimple.toolkits.annotation.nullcheck that return EquivalentValue | |
---|---|
EquivalentValue |
BranchedRefVarsAnalysis.getEquivalentValue(Value v)
Deprecated. |
EquivalentValue |
BranchedRefVarsAnalysis.getEquivalentValue(Value v)
Deprecated. |
EquivalentValue |
RefIntPair.ref()
Deprecated. |
EquivalentValue |
RefIntPair.ref()
Deprecated. |
Methods in soot.jimple.toolkits.annotation.nullcheck with parameters of type EquivalentValue | |
---|---|
RefIntPair |
BranchedRefVarsAnalysis.getKRefIntPair(EquivalentValue r,
int v)
Deprecated. |
RefIntPair |
BranchedRefVarsAnalysis.getKRefIntPair(EquivalentValue r,
int v)
Deprecated. |
protected int |
BranchedRefVarsAnalysis.refInfo(EquivalentValue r,
FlowSet fs)
Deprecated. |
protected int |
BranchedRefVarsAnalysis.refInfo(EquivalentValue r,
FlowSet fs)
Deprecated. |
Uses of EquivalentValue in soot.jimple.toolkits.infoflow |
---|
Subclasses of EquivalentValue in soot.jimple.toolkits.infoflow | |
---|---|
class |
CachedEquivalentValue
An EquivalentValue with cached hash code and equals-relation. |
Methods in soot.jimple.toolkits.infoflow that return EquivalentValue | |
---|---|
static EquivalentValue |
InfoFlowAnalysis.getNodeForFieldRef(SootMethod sm,
SootField sf)
Returns an unmodifiable list of EquivalentValue wrapped Refs that sink flows from when method sm is called. |
static EquivalentValue |
InfoFlowAnalysis.getNodeForFieldRef(SootMethod sm,
SootField sf)
Returns an unmodifiable list of EquivalentValue wrapped Refs that sink flows from when method sm is called. |
static EquivalentValue |
InfoFlowAnalysis.getNodeForFieldRef(SootMethod sm,
SootField sf,
Local realLocal)
|
static EquivalentValue |
InfoFlowAnalysis.getNodeForFieldRef(SootMethod sm,
SootField sf,
Local realLocal)
|
static EquivalentValue |
InfoFlowAnalysis.getNodeForParameterRef(SootMethod sm,
int i)
|
static EquivalentValue |
InfoFlowAnalysis.getNodeForParameterRef(SootMethod sm,
int i)
|
static EquivalentValue |
InfoFlowAnalysis.getNodeForReturnRef(SootMethod sm)
|
static EquivalentValue |
InfoFlowAnalysis.getNodeForReturnRef(SootMethod sm)
|
static EquivalentValue |
InfoFlowAnalysis.getNodeForThisRef(SootMethod sm)
|
static EquivalentValue |
InfoFlowAnalysis.getNodeForThisRef(SootMethod sm)
|
Methods in soot.jimple.toolkits.infoflow that return types with arguments of type EquivalentValue | |
---|---|
List<EquivalentValue> |
SmartMethodInfoFlowAnalysis.sinksOf(EquivalentValue node)
|
List<EquivalentValue> |
SmartMethodInfoFlowAnalysis.sinksOf(EquivalentValue node)
|
List<EquivalentValue> |
SmartMethodInfoFlowAnalysis.sourcesOf(EquivalentValue node)
|
List<EquivalentValue> |
SmartMethodInfoFlowAnalysis.sourcesOf(EquivalentValue node)
|
Methods in soot.jimple.toolkits.infoflow with parameters of type EquivalentValue | |
---|---|
boolean |
CallLocalityContext.containsField(EquivalentValue fieldRef)
|
boolean |
CallLocalityContext.containsField(EquivalentValue fieldRef)
|
boolean |
CallLocalityContext.isFieldLocal(EquivalentValue fieldRef)
|
protected boolean |
ClassLocalObjectsAnalysis.isFieldLocal(EquivalentValue fieldRef)
|
protected boolean |
ClassLocalObjectsAnalysis.isFieldLocal(EquivalentValue fieldRef)
|
boolean |
CallLocalityContext.isFieldLocal(EquivalentValue fieldRef)
|
boolean |
ClassLocalObjectsAnalysis.parameterIsLocal(SootMethod method,
EquivalentValue parameterRef)
|
boolean |
ClassLocalObjectsAnalysis.parameterIsLocal(SootMethod method,
EquivalentValue parameterRef)
|
protected boolean |
ClassLocalObjectsAnalysis.parameterIsLocal(SootMethod method,
EquivalentValue parameterRef,
boolean includePrimitiveDataFlowIfAvailable)
|
protected boolean |
ClassLocalObjectsAnalysis.parameterIsLocal(SootMethod method,
EquivalentValue parameterRef,
boolean includePrimitiveDataFlowIfAvailable)
|
void |
CallLocalityContext.setFieldLocal(EquivalentValue fieldRef)
|
void |
CallLocalityContext.setFieldLocal(EquivalentValue fieldRef)
|
void |
CallLocalityContext.setFieldShared(EquivalentValue fieldRef)
|
void |
CallLocalityContext.setFieldShared(EquivalentValue fieldRef)
|
List<EquivalentValue> |
SmartMethodInfoFlowAnalysis.sinksOf(EquivalentValue node)
|
List<EquivalentValue> |
SmartMethodInfoFlowAnalysis.sinksOf(EquivalentValue node)
|
List<EquivalentValue> |
SmartMethodInfoFlowAnalysis.sourcesOf(EquivalentValue node)
|
List<EquivalentValue> |
SmartMethodInfoFlowAnalysis.sourcesOf(EquivalentValue node)
|
protected boolean |
ClassLocalObjectsAnalysis.thisIsLocal(SootMethod method,
EquivalentValue thisRef)
|
protected boolean |
ClassLocalObjectsAnalysis.thisIsLocal(SootMethod method,
EquivalentValue thisRef)
|
Uses of EquivalentValue in soot.jimple.toolkits.scalar.pre |
---|
Methods in soot.jimple.toolkits.scalar.pre that return EquivalentValue | |
---|---|
static EquivalentValue |
SootFilter.equiVal(Value val)
wraps a value into a EquivalentValue. |
static EquivalentValue |
SootFilter.equiVal(Value val)
wraps a value into a EquivalentValue. |
Uses of EquivalentValue in soot.jimple.toolkits.thread.synchronization |
---|
Methods in soot.jimple.toolkits.thread.synchronization that return EquivalentValue | |
---|---|
EquivalentValue |
LockableReferenceAnalysis.baseFor(Ref ref)
|
EquivalentValue |
LockableReferenceAnalysis.baseFor(Ref ref)
|
EquivalentValue |
LockableReferenceAnalysis.indexFor(Ref ref)
|
EquivalentValue |
LockableReferenceAnalysis.indexFor(Ref ref)
|
Methods in soot.jimple.toolkits.thread.synchronization that return types with arguments of type EquivalentValue | |
---|---|
List<EquivalentValue> |
LockableReferenceAnalysis.getLocksetOf(CriticalSectionAwareSideEffectAnalysis tasea,
RWSet contributingRWSet,
soot.jimple.toolkits.thread.synchronization.CriticalSection tn)
|
List<EquivalentValue> |
LockableReferenceAnalysis.getLocksetOf(CriticalSectionAwareSideEffectAnalysis tasea,
RWSet contributingRWSet,
soot.jimple.toolkits.thread.synchronization.CriticalSection tn)
|
Methods in soot.jimple.toolkits.thread.synchronization with parameters of type EquivalentValue | |
---|---|
static Value |
LockAllocationBodyTransformer.getLockFor(EquivalentValue lockEqVal)
|
static Value |
LockAllocationBodyTransformer.getLockFor(EquivalentValue lockEqVal)
|
Method parameters in soot.jimple.toolkits.thread.synchronization with type arguments of type EquivalentValue | |
---|---|
static String |
LockAllocator.locksetToLockNumString(List<EquivalentValue> lockset,
Map<Value,Integer> lockToLockNum)
|
static String |
LockAllocator.locksetToLockNumString(List<EquivalentValue> lockset,
Map<Value,Integer> lockToLockNum)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |