dk.brics.xact.analysis.soot
Class Jimple2FlowGraph

java.lang.Object
  dk.brics.xact.analysis.soot.Jimple2FlowGraph

public class Jimple2FlowGraph
extends Object

Produces flow graphs from Soot Jimple code.

Constructor Summary

Jimple2FlowGraph()
Constructs a new flow graph producer.

Method Summary

Map<String,Origin>	findSchemas() Locates schemas in application classes.
FlowGraph	run(StringAnalysis sa) Produces a flow graph for the current Soot scene using the given string analysis results.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Jimple2FlowGraph

public Jimple2FlowGraph()

Constructs a new flow graph producer.

Method Detail

findSchemas

public Map<String,Origin> findSchemas()

Locates schemas in application classes. Recognizes the pattern XML.loadXMLSchema("foo").

Returns:

map from schema URLs to origins

run

public FlowGraph run(StringAnalysis sa)

Produces a flow graph for the current Soot scene using the given string analysis results. Uses TranslatorContext, TranslatorUtil, StatementBuilder, and StmtSwitch.