Package org.jakstab.analysis.composite

Examples of org.jakstab.analysis.composite.CompositeProgramAnalysis

169
170
171
172
173
174
175
176
177
178
179
      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
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
72
73
74
75
76
77
78
79
   *
   * @param program The program object
   * @param cpas The list of backward analyses to be performed 
   */
  public static CPAAlgorithm createBackwardAlgorithm(Program program, ConfigurableProgramAnalysis... cpas) {
    ConfigurableProgramAnalysis cpa = new CompositeProgramAnalysis(new BackwardLocationAnalysis(), cpas);
    return new CPAAlgorithm(program, cpa, new ReverseCFATransformerFactory(program.getCFA()), new FastSet<AbstractState>());
  }
View Full Code Here
TOP

Related Classes of org.jakstab.analysis.composite.CompositeProgramAnalysis

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