Package soot

Examples of soot.Transform

315
316
317
318
319
320
321
322
323
324
325
        }
      }
     
      if(!registeredTransformation) {
        registeredTransformation=true;
        PackManager.v().getPack("wjap").add(new Transform("wjap.guards",new SceneTransformer() {
         
          @Override
          protected void internalTransform(String phaseName, Map options) {
            for (Guard g : guards) {
              insertGuard(g);
View Full Code Here
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
    /** Add a new transform to the given pack, dealing properly with
     *  options specified in the transformer.
     */
    public static void addTransform(Pack pack, String name,
            Transformer transformer, String defaultOptions) {
        Transform t = new Transform(name, transformer);

        if (transformer instanceof HasPhaseOptions) {
            HasPhaseOptions options = (HasPhaseOptions) transformer;

            // Note: First appearance of an option has precendence
            t
                    .setDefaultOptions(defaultOptions + " "
                            + options.getDefaultOptions() + " "
                            + t.getDefaultOptions());
            t.setDeclaredOptions(options.getDeclaredOptions() + " "
                    + t.getDeclaredOptions());
        } else {
            t.setDefaultOptions(defaultOptions + " " + t.getDefaultOptions());
        }

        pack.add(t);
    }
View Full Code Here
52
53
54
55
56
57
58
59
60
61
62
    sootArgs.addAll(classFinder.getClassFiles());
    String[] sootArrayArgs = sootArgs.toArray(new String[0]);
   
    //Add JSA phase to Soot
    Transformer.v().reset();
    PackManager.v().getPack("jtp").add(new
        Transform("jtp." + Transformer.PHASE_NAME,
            Transformer.v()));
   
    //Run Soot
    soot.Main.main(sootArrayArgs);
View Full Code Here
TOP

Related Classes of soot.Transform

  • dk.brics.string.annotation.AnnotationChecker
  • ptolemy.copernicus.kernel.KernelMain
  • soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder$TraceBasedReflectionModel
    • 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.