Examples of avrora.stack.Analyzer$MonitorThread

avrora.stack.Analyzer
The MonitorThread class represents a thread instance that constantly monitors the progress of the stack analysis and reports on the number of states explored, edges inserted, states on the frontier, as well statistics about the propagation phase.

        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$MonitorThread

avrora.actions.AnalyzeStackAction

avrora.core.Instr

avrora.core.Register

avrora.stack.isea.ISEAnalyzer

avrora.stack.isea.ISEState

avrora.util.profiling.Distribution

org.apache.hadoop.hbase.client.Delete

org.apache.hadoop.hbase.client.Get

org.apache.hadoop.hbase.client.HTableInterface

org.apache.hadoop.hbase.client.Put

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.