|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages | |
soot | Base Soot classes, shared by different intermediate representations. |
soot.baf | Public classes for the Baf intermediate representation. |
soot.baf.internal | Internal, messy, implementation-specific classes for the Baf intermediate representation. |
soot.baf.toolkits.base | A toolkit to optimize the Baf IR. |
soot.coffi | Contains classes from the Coffi tool, by Clark Verbrugge. |
soot.dava | |
soot.dava.internal.asg | |
soot.dava.internal.AST | |
soot.dava.internal.javaRep | |
soot.dava.internal.SET | |
soot.dava.toolkits.base.AST | |
soot.dava.toolkits.base.AST.analysis | |
soot.dava.toolkits.base.AST.structuredAnalysis | |
soot.dava.toolkits.base.AST.transformations | |
soot.dava.toolkits.base.DavaMonitor | |
soot.dava.toolkits.base.finders | |
soot.dava.toolkits.base.misc | |
soot.dava.toolkits.base.renamer | |
soot.grimp | Public classes for the Grimp intermediate representation. |
soot.grimp.internal | Internal, messy, implementation-specific classes for the Grimp intermediate representation. |
soot.grimp.toolkits.base | A toolkit to optimize the Grimp IR. |
soot.javaToJimple | |
soot.javaToJimple.jj | Jjeton language extension. |
soot.javaToJimple.jj.ast | AST nodes for the jjeton language extension. |
soot.javaToJimple.jj.types | Type objects for the jjeton language extension. |
soot.javaToJimple.toolkits | |
soot.jimple | Public classes for the Jimple intermediate representation. |
soot.jimple.internal | Internal, messy, implementation-specific classes for the Jimple intermediate representation. |
soot.jimple.paddle | |
soot.jimple.parser | An interface to the Jimple parser. |
soot.jimple.spark | |
soot.jimple.spark.builder | |
soot.jimple.spark.fieldrw | |
soot.jimple.spark.internal | |
soot.jimple.spark.pag | |
soot.jimple.spark.sets | |
soot.jimple.spark.solver | |
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.defs | |
soot.jimple.toolkits.annotation.fields | |
soot.jimple.toolkits.annotation.liveness | |
soot.jimple.toolkits.annotation.logic | |
soot.jimple.toolkits.annotation.methods | |
soot.jimple.toolkits.annotation.nullcheck | Classes that carry out an analysis to determine whether or not null pointer checks are necessary. |
soot.jimple.toolkits.annotation.parity | |
soot.jimple.toolkits.annotation.profiling | |
soot.jimple.toolkits.annotation.purity | |
soot.jimple.toolkits.annotation.qualifiers | |
soot.jimple.toolkits.annotation.tags | Tags and aggregators to store and combine information about array bounds and null pointer checks. |
soot.jimple.toolkits.base | A toolkit to optimize the Jimple IR. |
soot.jimple.toolkits.callgraph | |
soot.jimple.toolkits.graph | A set of utility classes for program transformation and optimizations. |
soot.jimple.toolkits.invoke | A toolkit to deal with Jimple and invoke statements. |
soot.jimple.toolkits.pointer | |
soot.jimple.toolkits.pointer.nativemethods | |
soot.jimple.toolkits.pointer.representations | |
soot.jimple.toolkits.pointer.util | |
soot.jimple.toolkits.scalar | A toolkit for scalar optimization of Jimple. |
soot.jimple.toolkits.scalar.pre | Particial redundency elimination. |
soot.jimple.toolkits.typing | Implements a typing algorithm for Jimple. |
soot.jimple.toolkits.typing.integer | |
soot.shimple | Public classes for the SSA Shimple intermediate representation. |
soot.shimple.internal | Shimple internal messy stuff. |
soot.shimple.toolkits.graph | |
soot.shimple.toolkits.scalar | Some analyses based on Shimple. |
soot.tagkit | Classes supporting classfile annotation in Soot. |
soot.toolkits.exceptions | |
soot.toolkits.graph | Toolkit to produce and manipulate various types of control flow graphs. |
soot.toolkits.graph.interaction | |
soot.toolkits.scalar | A number of scalar optimizations, and the flow analysis framework. |
soot.tools | Various extensions to Soot that can be executed instead of soot.Main. |
soot.util | Generally useful utility classes for Soot. |
soot.util.cfgcmd | |
soot.util.dot | Classes for creating graphs as input to Dot. |
soot.util.queue | An efficient queue implementation to be used generally within Soot. |
soot.xml |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |