Package org.jakstab.analysis.location

Examples of org.jakstab.analysis.location.LocationAnalysis

169
170
171
172
173
174
175
176
177
178
179
180
181
      System.exit(1);
    }
   
    ConfigurableProgramAnalysis cpa;
    if (!addedUnderApproximation) {
      cpa = new CompositeProgramAnalysis(new LocationAnalysis(), cpas.toArray(new ConfigurableProgramAnalysis[cpas.size()]));
    } else {
      cpa = new DualCompositeAnalysis(new LocationAnalysis(), cpas.toArray(new ConfigurableProgramAnalysis[cpas.size()]));
    }

    // Init State transformer factory
    if (Options.basicBlocks.getValue()) {
     
View Full Code Here
59
60
61
62
63
64
65
66
   *
   * @param program The program object
   * @param cpas The list of analyses to be performed 
   */
  public static CPAAlgorithm createForwardAlgorithm(Program program, ConfigurableProgramAnalysis... cpas) {
    ConfigurableProgramAnalysis cpa = new CompositeProgramAnalysis(new LocationAnalysis(), cpas);
    return new CPAAlgorithm(program, cpa, new CFATransformerFactory(program.getCFA()), new FastSet<AbstractState>());
  }
View Full Code Here
TOP

Related Classes of org.jakstab.analysis.location.LocationAnalysis

  • org.jakstab.analysis.ControlFlowReconstruction
  • org.jakstab.analysis.CPAAlgorithm
    • 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.