| heros |
|
| heros.edgefunc |
|
| heros.fieldsens |
|
| heros.fieldsens.structs |
|
| heros.flowfunc |
|
| heros.solver |
|
| heros.template |
|
| heros.util |
|
| heros.utilities |
|
| soot |
Base Soot classes, shared by different intermediate representations.
|
| soot.asm |
|
| 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.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.dexpler |
|
| soot.dexpler.instructions |
|
| soot.dexpler.tags |
|
| soot.dexpler.typing |
|
| 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.jbco |
|
| soot.jbco.bafTransformations |
|
| soot.jbco.gui |
|
| soot.jbco.jimpleTransformations |
|
| soot.jbco.name |
|
| soot.jbco.util |
|
| 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.geom |
This package contains a context-sensitive points-to analysis using
geometric encoding.
|
| soot.jimple.spark.geom.dataMgr |
|
| soot.jimple.spark.geom.dataRep |
|
| soot.jimple.spark.geom.geomE |
|
| soot.jimple.spark.geom.geomPA |
|
| soot.jimple.spark.geom.heapinsE |
|
| soot.jimple.spark.geom.helper |
|
| soot.jimple.spark.geom.ptinsE |
|
| soot.jimple.spark.geom.utils |
|
| 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 |
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.j5anno |
|
| 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.ide |
|
| soot.jimple.toolkits.ide.exampleproblems |
|
| soot.jimple.toolkits.ide.icfg |
|
| soot.jimple.toolkits.ide.icfg.dotexport |
|
| soot.jimple.toolkits.ide.libsumm |
|
| soot.jimple.toolkits.infoflow |
|
| 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.reflection |
|
| soot.jimple.toolkits.scalar |
A toolkit for scalar optimization of Jimple.
|
| soot.jimple.toolkits.scalar.pre |
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.synchronization |
|
| soot.jimple.toolkits.typing |
Implements a typing algorithm for Jimple.
|
| soot.jimple.toolkits.typing.fast |
|
| soot.jimple.toolkits.typing.integer |
|
| soot.jimple.validation |
|
| soot.options |
|
| soot.plugins |
|
| soot.plugins.internal |
|
| soot.plugins.model |
|
| soot.rtlib.tamiflex |
This package contains classes that may be emitted into a program during code generation.
|
| 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.sootify |
|
| soot.tagkit |
Classes supporting classfile annotation in Soot.
|
| soot.toDex |
|
| soot.toDex.instructions |
|
| soot.toolkits.astmetrics |
|
| soot.toolkits.astmetrics.DataHandlingApplication |
|
| soot.toolkits.exceptions |
|
| soot.toolkits.graph |
Toolkit to produce and manipulate various types of control flow
graphs.
|
| soot.toolkits.graph.interaction |
|
| soot.toolkits.graph.pdg |
|
| 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.annotations |
|
| soot.util.backend |
|
| 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.validation |
|
| soot.xml |
|