Package avrora.stack.isea

Examples of avrora.stack.isea.ISEAnalyzer


        program = p;
        graph = new StateTransitionGraph(p);
        policy = new ContextSensitivePolicy();
        interpreter = new AbstractInterpreter(program, policy);
        if ( USE_ISEA ) {
            isea = new ISEAnalyzer(program);
            isea.analyze();
        }
    }
View Full Code Here


        super("This action invokes the inter-procedural side-effect analysis tool.");
    }

    public void run(String[] args) throws Exception {
        Program p = Main.loadProgram(args);
        ISEAnalyzer a = new ISEAnalyzer(p);
        if ( !"".equals(START.get())) {
            SourceMapping.Location location = p.getSourceMapping().getLocation(START.get());
            if ( location == null )
                Avrora.userError("Cannot find program location "+START.get());
            a.analyze(location.address);
        } else {
            a.analyze();
        }
    }
View Full Code Here

TOP

Related Classes of avrora.stack.isea.ISEAnalyzer

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.