Package | Description |
---|---|
soot.jimple.spark.internal | |
soot.jimple.spark.sets | |
soot.jimple.toolkits.typing |
Implements a typing algorithm for Jimple.
|
soot.util |
Generally useful utility classes for Soot.
|
Modifier and Type | Method and Description |
---|---|
BitVector |
TypeManager.get(Type type) |
BitVector |
TypeManager.get(Type type) |
Modifier and Type | Class and Description |
---|---|
class |
PointsToBitVector
An extension of a bit vector which is convenient to use to represent
points-to sets.
|
Modifier and Type | Method and Description |
---|---|
protected BitVector |
PointsToSetInternal.getBitMask(PointsToSetInternal other,
PAG pag) |
protected BitVector |
PointsToSetInternal.getBitMask(PointsToSetInternal other,
PAG pag) |
Modifier and Type | Method and Description |
---|---|
BitVector |
TypeResolverBV.invalidIds()
Deprecated.
|
BitVector |
TypeResolverBV.invalidIds()
Deprecated.
|
Modifier and Type | Field and Description |
---|---|
BitVector[] |
SharedBitSetCache.cache |
BitVector[] |
SharedBitSetCache.cache |
BitVector[] |
SharedBitSetCache.orAndAndNotCache |
BitVector[] |
SharedBitSetCache.orAndAndNotCache |
Modifier and Type | Method and Description |
---|---|
static BitVector |
BitVector.and(BitVector set1,
BitVector set2) |
static BitVector |
BitVector.and(BitVector set1,
BitVector set2) |
BitVector |
SharedBitSetCache.canonicalize(BitVector set) |
BitVector |
SharedBitSetCache.canonicalize(BitVector set) |
static BitVector |
BitVector.or(BitVector set1,
BitVector set2) |
static BitVector |
BitVector.or(BitVector set1,
BitVector set2) |
Modifier and Type | Method and Description |
---|---|
void |
BitVector.and(BitVector other) |
void |
BitVector.and(BitVector other) |
static BitVector |
BitVector.and(BitVector set1,
BitVector set2) |
static BitVector |
BitVector.and(BitVector set1,
BitVector set2) |
void |
BitVector.andNot(BitVector other) |
void |
BitVector.andNot(BitVector other) |
BitVector |
SharedBitSetCache.canonicalize(BitVector set) |
BitVector |
SharedBitSetCache.canonicalize(BitVector set) |
void |
BitVector.copyFrom(BitVector other) |
void |
BitVector.copyFrom(BitVector other) |
boolean |
BitVector.intersects(BitVector other)
Returns true if the both the current and the specified
bitvectors have at least one bit set in common.
|
boolean |
BitVector.intersects(BitVector other)
Returns true if the both the current and the specified
bitvectors have at least one bit set in common.
|
void |
BitVector.or(BitVector other) |
void |
BitVector.or(BitVector other) |
static BitVector |
BitVector.or(BitVector set1,
BitVector set2) |
static BitVector |
BitVector.or(BitVector set1,
BitVector set2) |
boolean |
BitVector.orAndAndNot(BitVector orset,
BitVector andset,
BitVector andnotset)
Computes this = this OR ((orset AND andset ) AND (NOT andnotset))
Returns true iff this is modified.
|
boolean |
BitVector.orAndAndNot(BitVector orset,
BitVector andset,
BitVector andnotset)
Computes this = this OR ((orset AND andset ) AND (NOT andnotset))
Returns true iff this is modified.
|
boolean |
SharedBitSet.orAndAndNot(SharedBitSet orset,
BitVector andset,
SharedBitSet andnotset) |
boolean |
SharedBitSet.orAndAndNot(SharedBitSet orset,
BitVector andset,
SharedBitSet andnotset) |
void |
BitVector.xor(BitVector other) |
void |
BitVector.xor(BitVector other) |
Constructor and Description |
---|
BitVector(BitVector other)
Copy constructor
|
BitVector(BitVector other)
Copy constructor
|