Package avrora.stack.isea

Examples of avrora.stack.isea.ISEState

370
371
372
373
374
375
376
377
378
379
380
    private void insertReturnEdge(StateCache.State caller, MutableState rstate, boolean reti) {
        int cpc = caller.getPC();
        int npc;

        if ( isea != null ) {
            ISEState rs = isea.getReturnSummary(rstate.getPC());
            if ( rs != null ) {
                mergeReturnStateIntoCaller(caller, rstate, rs);
            }
        }
View Full Code Here
661
662
663
664
665
666
667
668
669
670
671
         * @return null because the correct state transitions are inserted by the policy, and the abstract
         *         interpreter should not be concerned.
         */
        public MutableState call(MutableState s, int target_address) {
            if ( isea != null ) {
                ISEState rs = isea.getProcedureSummary(target_address);
                if ( rs != null )
                maskIrrelevantState(s, rs);
            }

            s.setPC(target_address);
View Full Code Here
TOP

Related Classes of avrora.stack.isea.ISEState

  • avrora.stack.Analyzer
  • avrora.stack.Analyzer$ContextSensitivePolicy
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.