コード例 #1
0
  /**
   * Instruments the Java Path Finder version of the program.
   *
   * @param mainclass
   */
  public static void transformJPFVersion(String mainclass) {
    sharedVars = new HashSet<String>();

    PackManager.v().getPack("wjtp").add(new Transform("wjtp.transformer", new SymbScenePass()));
    PackManager.v().getPack("jtp").add(new Transform("jtp.transformer", new SymbBodyPass()));
    setOptions(mainclass, true);
    Scene.v().loadClassAndSupport(jpfClass);

    try {

      // ** instrument JPF version
      JPF_MODE = true;
      String outpath = getOutputDir();
      sharedAccLogPath = outpath + mainclass + ".accesses";
      String[] args1 = getArgs(mainclass, outpath);

      soot.Main.main(args1);
      System.err.println("***** JPF version generated *****");
      saveSharedAccessesLog();

    } catch (Exception e) {
      System.err.println(">> Exception: " + e.getMessage());
      e.printStackTrace();
    }
  }
コード例 #2
0
  /**
   * Instruments the runtime version of the program.
   *
   * @param mainclass
   */
  public static void transformRuntimeVersion(String mainclass) {
    PackManager.v().getPack("jtp").add(new Transform("jtp.intrumenter", SymbBodyPass.v()));
    setOptions(mainclass, false);

    Scene.v()
        .setSootClassPath(
            System.getProperty("sun.boot.class.path")
                + File.pathSeparator
                + System.getProperty("java.class.path"));

    Scene.v().loadClassAndSupport(runtimeClass);

    try {

      // ** instrument runtime version
      String outpath = getOutputDir();
      String[] args1 = getArgs(mainclass, outpath);

      soot.Main.main(args1);
      System.err.println("***** Runtime version generated *****\n");

      // reset soot parameters
      soot.G.reset();
      bbIdCounter = 0;

    } catch (Exception e) {
      System.err.println(">> Exception: " + e.getMessage());
      e.printStackTrace();
    }
  }
コード例 #3
0
ファイル: Main.java プロジェクト: GeneBlue/JAADAS
 public static void main(String[] args) {
   soot.G
       .v()
       .PackManager()
       .getPack("tag")
       .add(new soot.Transform("tag.null", new NullTagAggregator()));
   soot.Main.main(args);
 }
コード例 #4
0
ファイル: Main.java プロジェクト: domainexpert/sootexamples
  public static void main(String[] args) {
    if (args.length == 0) {
      System.out.println("Syntax: java Main -app <main_classfile> [soot options]");
      System.exit(0);
    }

    PackManager.v().getPack("wjtp").add(new Transform("wjtp.profiler", Evaluator.v()));

    // For the transformer to be executed, as it was added as one of
    // whole-program analysis, we need to set whole-program analysis to true.
    soot.options.Options.v().set_whole_program(true);

    // This is to skip analyzing the bodies of excluded classes (e.g., JDK).
    soot.options.Options.v().set_no_bodies_for_excluded(true);

    soot.Main.main(args);
  }
コード例 #5
0
 public static void main(String[] args) {
   CFGViewer viewer = new CFGViewer();
   Transform printTransform = new Transform(phaseFullname, viewer);
   printTransform.setDeclaredOptions(
       "enabled "
           + altClassPathOptionName
           + ' '
           + graphTypeOptionName
           + ' '
           + irOptionName
           + ' '
           + multipageOptionName
           + ' '
           + briefLabelOptionName
           + ' ');
   printTransform.setDefaultOptions(
       "enabled "
           + altClassPathOptionName
           + ": "
           + graphTypeOptionName
           + ':'
           + defaultGraph
           + ' '
           + irOptionName
           + ':'
           + defaultIR
           + ' '
           + multipageOptionName
           + ":false "
           + ' '
           + briefLabelOptionName
           + ":false ");
   PackManager.v().getPack("jtp").add(printTransform);
   args = viewer.parse_options(args);
   if (args.length == 0) {
     usage();
   } else {
     soot.Main.main(args);
   }
 }