dk.brics.xact.analysis.soot
Class PutStringSources

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

public class PutStringSources
extends Object

Runs the string analysis and replaces the string sources of certain statements.

Constructor Summary

PutStringSources(FlowGraph g, TranslatorContext context, Configuration config)

Method Summary

void	analyzeStrings() Runs string analysis with hotspots that are relevant for XACT operations.
dk.brics.automaton.Automaton	getAutomatonFromObjectExp(ValueBox b)
dk.brics.automaton.Automaton	getAutomatonFromStringExp(ValueBox b, Origin origin)

Methods inherited from class java.lang.Object

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

Constructor Detail

PutStringSources

public PutStringSources(FlowGraph g,
                        TranslatorContext context,
                        Configuration config)

Method Detail

analyzeStrings

public void analyzeStrings()

Runs string analysis with hotspots that are relevant for XACT operations. This method is not thread-safe (because of Soot).

getAutomatonFromObjectExp

public dk.brics.automaton.Automaton getAutomatonFromObjectExp(ValueBox b)

getAutomatonFromStringExp

public dk.brics.automaton.Automaton getAutomatonFromStringExp(ValueBox b,
                                                              Origin origin)