| 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) |
| 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 | Field and Description |
|---|---|
protected BitVector |
HybridPointsToSet.bits |
| Modifier and Type | Method and Description |
|---|---|
protected BitVector |
PointsToSetInternal.getBitMask(PointsToSetInternal other,
PAG pag) |
| Modifier and Type | Method and Description |
|---|---|
BitVector |
TypeResolverBV.invalidIds()
Deprecated.
|
| Modifier and Type | Field and Description |
|---|---|
BitVector[] |
SharedBitSetCache.cache |
BitVector[] |
SharedBitSetCache.orAndAndNotCache |
| Modifier and Type | Method and Description |
|---|---|
static BitVector |
BitVector.and(BitVector set1,
BitVector set2) |
BitVector |
SharedBitSetCache.canonicalize(BitVector set) |
static BitVector |
BitVector.or(BitVector set1,
BitVector set2) |
| Modifier and Type | Method and Description |
|---|---|
void |
BitVector.and(BitVector other) |
static BitVector |
BitVector.and(BitVector set1,
BitVector set2) |
void |
BitVector.andNot(BitVector other) |
BitVector |
SharedBitSetCache.canonicalize(BitVector set) |
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.
|
void |
BitVector.or(BitVector other) |
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 |
SharedBitSet.orAndAndNot(SharedBitSet orset,
BitVector andset,
SharedBitSet andnotset) |
void |
BitVector.xor(BitVector other) |
| Constructor and Description |
|---|
BitVector(BitVector other)
Copy constructor
|
Copyright © 2020 Soot OSS. All rights reserved.