Examples of avrora.stack.Analyzer

avrora.stack.Analyzer
The Analyzer class implements the analysis phase that determines the transition relation between the states in the abstract state space. It is modelled on the simulator, but only does abstract interpretation rather than executing the entire program. @author Ben L. Titzer

        Analyzer.MONITOR_STATES = MONITOR_STATES.get();
        Analyzer.TRACE = TRACE.get();
        Analyzer.USE_ISEA = USE_ISEA.get();
        Analyzer.SHOW_PATH = SHOW_PATH.get();
        Analyzer.reserve = new byte[(int)(RESERVE.get() * MEGABYTES)];
        Analyzer a = new Analyzer(p);


        a.run();
        a.report();


        if (DUMP_STATE_SPACE.get())
            a.dump();
    }

View Full Code Here

TOP

Related Classes of avrora.stack.Analyzer

avrora.actions.AnalyzeStackAction

avrora.core.Instr

avrora.core.Register

avrora.stack.isea.ISEAnalyzer

avrora.stack.isea.ISEState

avrora.util.profiling.Distribution

java.util.HashMap

java.util.List

java.util.Iterator

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.