Examples of dk.brics.xact.analysis.soot.TranslationResult

dk.brics.xact.analysis.soot.TranslationResult
The result of translating a soot program to XACT's flow graph representation. Contains the flow graph, and a map from hotspot expressions to their flow graph representations. @author Asger

   * Builds the flow graph and finds schema URLs.
   * This method is <i>not</i> thread-safe (because of Soot).
   */
  public TranslationResult buildFlowGraph() {
    startPhase("Building flow graph...");
    TranslationResult tr = new Jimple2FlowGraph(config, errors).run();
    FlowGraph g = tr.getGraph();
    Debug.println(2, true, "Flow graph nodes: " + g.getNodes().size() 
        + ", edges: " + g.getNumberOfEdges() 
        + ", entries: " + g.getEntries().size());
    dumpFlowGraph(g, "fg1.dot");
    endPhase();

View Full Code Here

        }


        analysis.setConfiguration(new JWIGConfiguration(hotspots));


        // run xact
        TranslationResult result = analysis.buildFlowGraph();


        analysis.transformFlowGraph(result.getGraph());


        final FlowGraph graph = result.getGraph();
        XMLGraphBuilder xmlGraphs = analysis.buildXMLGraphs(graph);


        int counter = 0;
        for (Map.Entry<ValueBox, AnalyzeStm> en : result.getHotspots()
                .entrySet()) {
            ValueBox value = en.getKey();
            AnalyzeStm stm = en.getValue();
            XMLGraph g = xmlGraphs.getIn(stm, stm.getBase());
            List<Automaton> findInputNameValues = findInputNameValues(g);

View Full Code Here

        System.setProperty("dk.brics.xact.analysis.ignore-non-constant-string",
                true + "");
        XMLAnalysis analysis = new XMLAnalysis(null, classes);
        analysis.loadClasses();
        analysis.setConfiguration(new JWIGConfiguration(stmt2box.values()));
        TranslationResult result = analysis.buildFlowGraph();


        analysis.transformFlowGraph(result.getGraph());


        final FlowGraph graph = result.getGraph();
        XMLGraphBuilder xmlGraphs = analysis.buildXMLGraphs(graph);
        log.info("xact analysis done");


        Map<ChoiceNode, Set<Plugging>> gap2plug = linkGapsToPluggings(
                pluggings, stmt2box, result, xmlGraphs);

View Full Code Here

TOP

Related Classes of dk.brics.xact.analysis.soot.TranslationResult

dk.brics.jwig.analysis.jaive.FormChecker

dk.brics.jwig.analysis.xact.HotspotTest2Analyzer

dk.brics.xact.analysis.XMLAnalysis

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.