Examples of avrora.stack.Analyzer$ContextSensitivePolicy

avrora.stack.Analyzer
The ContextSensitive class implements the context-sensitive analysis similar to 1-CFA. It is an implementation of the Analyzer.Policy interface that determines what should be done in the case of a call, return, push, pop, indirect call, etc. The context-sensitive analysis does not model the contents of the stack, so pushes and pops essentially only modify the height of the stack. @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$ContextSensitivePolicy

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.