Package | Description |
---|---|
soot.jimple.spark.fieldrw | |
soot.jimple.toolkits.annotation.tags |
Tags and aggregators to store and combine information about array bounds and null pointer checks.
|
soot.jimple.toolkits.pointer | |
soot.tagkit |
Classes supporting classfile annotation in Soot.
|
Modifier and Type | Class and Description |
---|---|
class |
FieldReadTagAggregator |
class |
FieldTagAggregator |
class |
FieldWriteTagAggregator |
Modifier and Type | Class and Description |
---|---|
class |
ArrayNullTagAggregator
The aggregator for ArrayNullCheckAttribute.
|
Modifier and Type | Class and Description |
---|---|
class |
DependenceTagAggregator |
Modifier and Type | Class and Description |
---|---|
class |
FirstTagAggregator
A tag aggregator that associates a tag with the first instruction
that is tagged with it.
|
class |
ImportantTagAggregator
A tag aggregator that associates a tag with the most important
instruction that is tagged with it.
|
class |
LineNumberTagAggregator
The aggregator for LineNumberTable attribute.
|