| Package Name | Comment |
| ashes.examples.addattributes | |
| ashes.examples.countgotos | |
| ca.mcgill.sable.graph | |
| ca.mcgill.sable.graph.actions | |
| ca.mcgill.sable.graph.editparts | |
| ca.mcgill.sable.graph.editpolicies | |
| ca.mcgill.sable.graph.figures | |
| ca.mcgill.sable.graph.model | |
| ca.mcgill.sable.graph.testing | |
| ca.mcgill.sable.soot | |
| ca.mcgill.sable.soot.attributes | |
| ca.mcgill.sable.soot.callgraph | |
| ca.mcgill.sable.soot.cfg | |
| ca.mcgill.sable.soot.cfg.actions | |
| ca.mcgill.sable.soot.cfg.editParts | |
| ca.mcgill.sable.soot.cfg.editpolicies | |
| ca.mcgill.sable.soot.cfg.figures | |
| ca.mcgill.sable.soot.cfg.model | |
| ca.mcgill.sable.soot.editors | |
| ca.mcgill.sable.soot.editors.parser | |
| ca.mcgill.sable.soot.interaction | |
| ca.mcgill.sable.soot.launching | |
| ca.mcgill.sable.soot.resources | |
| ca.mcgill.sable.soot.testing | |
| ca.mcgill.sable.soot.ui | |
| ca.mcgill.sable.soot.util | |
| dk.brics.paddle | |
| dk.brics.soot | |
| dk.brics.soot.analyses | |
| dk.brics.soot.annotations | |
| dk.brics.soot.callgraphs | |
| dk.brics.soot.flowsets | |
| dk.brics.soot.intermediate.foo | |
| dk.brics.soot.intermediate.foonalasys | |
| dk.brics.soot.intermediate.main | |
| dk.brics.soot.intermediate.representation | |
| dk.brics.soot.intermediate.translation | |
| dk.brics.soot.transformations | |
| olhotak.liveness | |
| soot | Base Soot classes
Base Soot classes, shared by different intermediate representations.
|
| soot.baf | Baf classes
Public classes for the Baf intermediate representation.
Baf is a low-level representation, similar to Java bytecode.
|
| soot.baf.internal | Baf classes
Internal, messy, implementation-specific classes for the Baf intermediate representation.
Baf is a low-level representation, similar to Java bytecode.
|
| soot.baf.toolkits.base |
Baf optimization toolkit
A toolkit to optimize the Baf IR. Includes a
store/load optimizer for eliminating redundent store and load
instructions, as well as peepholes and the infrastructure required to
add new ones.
|
| soot.coffi | Coffi classes
Contains classes from the Coffi tool, by Clark Verbrugge.
They are used by Soot to parse classfiles. (Note that Baf is currently
used only for output from Soot; conceivably, Coffi could create Baf bodies,
but it doesn't.)
|
| 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.interProcedural | |
| soot.dava.toolkits.base.AST.structuredAnalysis | |
| soot.dava.toolkits.base.AST.transformations | |
| soot.dava.toolkits.base.AST.traversals | |
| soot.dava.toolkits.base.DavaMonitor | |
| soot.dava.toolkits.base.finders | |
| soot.dava.toolkits.base.misc | |
| soot.dava.toolkits.base.renamer | |
| soot.grimp | Grimp classes
Public classes for the Grimp intermediate representation.
Grimp is aggregated code, and is the representation of choice for reading Soot output.
|
| soot.grimp.internal | Grimp classes
Internal, messy, implementation-specific classes for the Grimp intermediate representation.
Grimp is aggregated code, and is the representation of choice for reading Soot output.
|
| soot.grimp.toolkits.base |
Grimp optimization toolkit
A toolkit to optimize the Grimp IR. Includes a
constructor folder.
|
| 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.jbco | |
| soot.jbco.bafTransformations | |
| soot.jbco.gui | |
| soot.jbco.jimpleTransformations | |
| soot.jbco.util | |
| soot.jimple | Jimple classes
Public classes for the Jimple intermediate representation.
Jimple is 3-address code, and is the representation of choice for Java analyses.
|
| soot.jimple.internal | Jimple classes
Internal, messy, implementation-specific classes for the Jimple intermediate representation.
Jimple is 3-address code, and is the representation of choice for Java analyses.
|
| soot.jimple.paddle | |
| soot.jimple.parser | 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.ondemand | |
| soot.jimple.spark.ondemand.genericutil | |
| soot.jimple.spark.ondemand.pautil | |
| soot.jimple.spark.pag | |
| soot.jimple.spark.sets | |
| soot.jimple.spark.solver | |
| soot.jimple.toolkits.annotation | Jimple array and null bounds check annotation classes
A toolkit to annotate classfiles with array and null bounds check information.
|
| soot.jimple.toolkits.annotation.arraycheck | Jimple array bounds check analysis classes
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 | Jimple null pointer check annotation classes
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 | Jimple array bounds and null check annotation classes
Tags and aggregators to store and combine information about array bounds and null pointer checks.
|
| soot.jimple.toolkits.base |
Jimple base optimization toolkit
A toolkit to optimize the Jimple IR. Includes an
aggregator (also applicable to Grimp) and support classes.
|
| soot.jimple.toolkits.callgraph | |
| soot.jimple.toolkits.graph | Jimple optimization utility classes
A set of utility classes for program transformation and optimizations.
|
| soot.jimple.toolkits.infoflow | |
| soot.jimple.toolkits.invoke |
Jimple invoke toolkit
A toolkit to deal with Jimple and invoke statements.
Includes a whole bevy of classes useful for whole-program analysis.
|
| soot.jimple.toolkits.pointer | |
| soot.jimple.toolkits.pointer.nativemethods | |
| soot.jimple.toolkits.pointer.representations | |
| soot.jimple.toolkits.pointer.util | |
| soot.jimple.toolkits.scalar |
Jimple scalar toolkit
A toolkit for scalar optimization of Jimple.
Includes a number of simple optimizations:
ConditionalBranchFolder, ConstantPropagatorAndFolder, CopyPropagator,
DeadAssignmentEliminator, Evaluator, LocalNameStandardizer, NopEliminator,
UnconditionalBranchFolder, UnreachableCodeEliminator.
|
| soot.jimple.toolkits.scalar.pre |
Jimple PRE optimizations
Particial redundency elimination.
|
| soot.jimple.toolkits.thread | |
| soot.jimple.toolkits.thread.mhp | |
| soot.jimple.toolkits.thread.mhp.findobject | |
| soot.jimple.toolkits.thread.mhp.pegcallgraph | |
| soot.jimple.toolkits.thread.mhp.stmt | |
| soot.jimple.toolkits.thread.transaction | |
| soot.jimple.toolkits.typing | Jimple typing toolkit
Implements a typing algorithm for Jimple.
|
| soot.jimple.toolkits.typing.integer | |
| soot.options | |
| soot.shimple | Shimple classes
Public classes for the SSA Shimple intermediate representation.
Basic support for an SSA version of Jimple, dubbed Shimple. The idea
is that Shimple can be treated almost identically to Jimple with the
added benefit of SSA form.
The public API is described in soot.shimple.Shimple,
soot.shimple.ShimpleBody and soot.shimple.PhiExpr.
Use/Definition and Definition/Use chains for Shimple can be obtained
with ShimpleLocalDefs and ShimpleLocalUses in
soot.shimple.toolkits.scalar.
Available example analyses for Shimple currently include:
soot.shimple.toolkits.scalar.{ShimpleLocalDefs,SEvaluator,SConstantPropagatorAndFolder}
|
| soot.shimple.internal | Shimple classes
Shimple internal messy stuff.
|
| soot.shimple.toolkits.graph | |
| soot.shimple.toolkits.scalar | Shimple classes
Some analyses based on Shimple.
|
| soot.tagkit | Soot annotation-kit classes
Classes supporting classfile annotation in Soot.
|
| soot.toolkits.astmetrics | |
| soot.toolkits.astmetrics.DataHandlingApplication | |
| soot.toolkits.exceptions | |
| soot.toolkits.graph |
Toolkit to produce and manipulate various types of control flow
graphs. While the CFG classes do not impose restrictions on the types
of graph nodes, the nodes are typically instances of {@link Unit}
or {@link Block}. The latter corresponds to basic blocks of
Units. Some of the CFG classes include the control
flow corresponding to thrown exceptions, while others
abstract away exception-related edges.
|
| soot.toolkits.graph.interaction | |
| soot.toolkits.purity | |
| soot.toolkits.scalar | Soot scalar toolkit
A number of scalar optimizations, and the flow analysis framework.
|
| soot.tools | Soot front-ends
Various extensions to Soot that can be executed instead of soot.Main.
|
| soot.util | Soot utility classes
Generally useful utility classes for Soot.
|
| soot.util.cfgcmd | |
| soot.util.dot | Dot graph drawing classes
Classes for creating graphs as input to Dot.
|
| soot.util.queue | Soot queue classes
An efficient queue implementation to be used generally within Soot.
|
| soot.xml | |