An analysis that maps each local and field to the set of locals and fields that alias that value.
A transformer that remove unnecessary casts and instanceof checks.
Write all of the application classes out to class files.
A Standalone application that generates code using the Ptolemy II code generation system.
Collect all the classes that a set of classes depends on.
Abstract class that provides the fixed point iteration functionality required by all ForwardFlowAnalyses.
This is an attribute that stores the configuration of a code generator.
A Transformer that creates a GrimpBody from the active body.
Uses the Scene's currently-active InvokeGraph to statically bind monomorphic call sites.
A transformer that writes Jimple text.
Base class that provides common functionality to be used by various code generators.
A Transformer that reports reachable methods in the Java libraries.
A transformer that writes a makefile that can be used to run a model that has been code generated.
An analysis that can determine, at any point in the code, if a local variable points to null.
This class consists of ptolemy-specific static utility methods for use with Soot.
An analysis that determines which methods in a given call graph have no side effects.
This class consists of static utility methods for use with Soot
An adapter that turns a body transformer into a scene transformer.
A Transformer that removes any private fields from a class that are never read.
A transformer that calls System.exit() after a certain amount of time.