Package org.jakstab.analysis

Examples of org.jakstab.analysis.ControlFlowReconstruction$RandomizedWorklist


    logger.info("Testing " + peFile);
   
    Program program = Program.createProgram(arch);
    program.loadMainModule(peFile);
    program.installHarness(new DefaultHarness());
    ControlFlowReconstruction cfr = new ControlFlowReconstruction(program);
    cfr.run();

    assertEquals(numInstructions, program.getAssemblyMap().size());
    assertEquals(numStatements, program.getStatements().size());
    assertTrue("Not enough edges!", numEdges <= program.getCFA().size());
    if (checkCompleteness)
      assertTrue("Analysis timed out when it should not!", cfr.isCompleted());
  }
View Full Code Here

TOP

Related Classes of org.jakstab.analysis.ControlFlowReconstruction$RandomizedWorklist

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.