| Package | Description |
|---|---|
| soot.jimple.toolkits.annotation |
A toolkit to annotate classfiles with array and null bounds check information.
|
| soot.jimple.toolkits.annotation.arraycheck |
Classes that carry out an analysis to determine whether or not array bounds
checks are necessary.
|
| soot.jimple.toolkits.annotation.callgraph | |
| soot.jimple.toolkits.annotation.fields | |
| soot.jimple.toolkits.annotation.methods | |
| soot.jimple.toolkits.annotation.purity | |
| soot.jimple.toolkits.annotation.qualifiers | |
| soot.jimple.toolkits.callgraph | |
| soot.tagkit |
Classes supporting classfile annotation in Soot.
|
| Modifier and Type | Class and Description |
|---|---|
class |
LineNumberAdder |
| Modifier and Type | Class and Description |
|---|---|
class |
RectangularArrayFinder
Interprocedural analysis to identify rectangular multi-dimension array
locals.
|
| Modifier and Type | Class and Description |
|---|---|
class |
CallGraphGrapher
A scene transformer that creates a graphical callgraph.
|
| Modifier and Type | Class and Description |
|---|---|
class |
UnreachableFieldsTagger
A scene transformer that adds tags to unused fields.
|
| Modifier and Type | Class and Description |
|---|---|
class |
UnreachableMethodsTagger
A scene transformer that adds tags to unused methods.
|
| Modifier and Type | Class and Description |
|---|---|
class |
PurityAnalysis
TODO:
- test, test, and test (and correct the potentially infinite bugs)
- optimise PurityGraph, especially methodCall)
- find a better abstraction for exceptions (throw & catch)
- output nicer graphs (especially clusters!)
|
| Modifier and Type | Class and Description |
|---|---|
class |
TightestQualifiersTagger
a scene transformer that add tags to indicate the tightest qualifies
possible for fields and methods (ie: private, protected or public)
|
| Modifier and Type | Class and Description |
|---|---|
class |
CHATransformer
Builds an invoke graph using Class Hierarchy Analysis.
|
| Modifier and Type | Class and Description |
|---|---|
class |
InnerClassTagAggregator
The aggregator for LineNumberTable attribute.
|
Copyright © 2012-2019 RoboVM AB. All Rights Reserved.