|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Immediate | |
|---|---|
| soot | Base Soot classes, shared by different intermediate representations. |
| soot.baf.internal | Internal, messy, implementation-specific classes for the Baf intermediate representation. |
| soot.dava.internal.javaRep | |
| soot.jimple | Public classes for the Jimple intermediate representation. |
| soot.jimple.internal | Internal, messy, implementation-specific classes for the Jimple intermediate representation. |
| 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.shimple.toolkits.scalar | Some analyses based on Shimple. |
| Uses of Immediate in soot |
|---|
| Subinterfaces of Immediate in soot | |
|---|---|
interface |
Local
A local variable, used within Body classes. |
| Uses of Immediate in soot.baf.internal |
|---|
| Classes in soot.baf.internal that implement Immediate | |
|---|---|
class |
BafLocal
|
| Uses of Immediate in soot.dava.internal.javaRep |
|---|
| Classes in soot.dava.internal.javaRep that implement Immediate | |
|---|---|
class |
DIntConstant
|
| Uses of Immediate in soot.jimple |
|---|
| Classes in soot.jimple that implement Immediate | |
|---|---|
class |
ArithmeticConstant
|
class |
ClassConstant
|
class |
Constant
|
class |
DoubleConstant
|
class |
FloatConstant
|
class |
IntConstant
|
class |
LongConstant
|
class |
NullConstant
|
class |
NumericConstant
|
class |
RealConstant
|
class |
StringConstant
|
| Uses of Immediate in soot.jimple.internal |
|---|
| Classes in soot.jimple.internal that implement Immediate | |
|---|---|
class |
JimpleLocal
|
| Uses of Immediate in soot.jimple.toolkits.annotation.nullcheck |
|---|
| Methods in soot.jimple.toolkits.annotation.nullcheck with parameters of type Immediate | |
|---|---|
boolean |
NullnessAnalysis.isAlwaysNonNullBefore(Unit s,
Immediate i)
Returns true if the analysis could determine that i is always non-null
before the statement s. |
boolean |
NullnessAnalysis.isAlwaysNonNullBefore(Unit s,
Immediate i)
Returns true if the analysis could determine that i is always non-null
before the statement s. |
boolean |
NullnessAnalysis.isAlwaysNullBefore(Unit s,
Immediate i)
Returns true if the analysis could determine that i is always null
before the statement s. |
boolean |
NullnessAnalysis.isAlwaysNullBefore(Unit s,
Immediate i)
Returns true if the analysis could determine that i is always null
before the statement s. |
boolean |
NullnessAssumptionAnalysis.isAssumedNonNullBefore(Unit s,
Immediate i)
Returns true if the analysis could determine that i is always treated as non-null
after and including the statement s. |
boolean |
NullnessAssumptionAnalysis.isAssumedNonNullBefore(Unit s,
Immediate i)
Returns true if the analysis could determine that i is always treated as non-null
after and including the statement s. |
boolean |
NullnessAssumptionAnalysis.isAssumedNullBefore(Unit s,
Immediate i)
Returns true if the analysis could determine that i is always treated as null
after and including the statement s. |
boolean |
NullnessAssumptionAnalysis.isAssumedNullBefore(Unit s,
Immediate i)
Returns true if the analysis could determine that i is always treated as null
after and including the statement s. |
| Uses of Immediate in soot.jimple.toolkits.infoflow |
|---|
| Classes in soot.jimple.toolkits.infoflow that implement Immediate | |
|---|---|
class |
FakeJimpleLocal
|
| Uses of Immediate in soot.shimple.toolkits.scalar |
|---|
| Classes in soot.shimple.toolkits.scalar that implement Immediate | |
|---|---|
static class |
SEvaluator.BottomConstant
Bottom i.e. |
static class |
SEvaluator.MetaConstant
Head of a new hierarchy of constants -- Top and Bottom. |
static class |
SEvaluator.TopConstant
Top i.e. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||