Package dk.brics.xact.analysis.soot

Construction of flow graphs via Soot.

See:
Description

Class Summary

ArrayConstantAnalysis	Determines for each program point the arrays whose exact contents are known in terms of other local variables.
ArrayConstantInfo
ControlFlowBuilder	Utility class assisting in the construction of method bodies.
ExprAnswerVisitor<Q,A>	Jimple visitor pattern that takes an auxillary parameter and has a return value.
Jimple2FlowGraph	Produces flow graphs from Soot Jimple code.
PutStringSources	Runs the string analysis and replaces the string sources of certain statements.
StatementPair
StringConstantAnalysis	Determines for each program point the locals with a constant string value and their corresponding string constants.
TranslationResult	The result of translating a soot program to XACT's flow graph representation.
Translator
TranslatorContext	Context for producing flow graph statements.

Package dk.brics.xact.analysis.soot Description

Construction of flow graphs via Soot.

Author:

Anders Møller <amoeller@cs.au.dk>, Asger Feldthaus <asf@cs.au.dk>, Christian Kirkegaard <ck@cs.au.dk>, Aske Simon Christensen <aske@cs.au.dk>