Package soot.options

Examples of soot.options.CGOptions

397
398
399
400
401
402
403
404
405
406
407
    public OnFlyCallGraphBuilder( ContextManager cm, ReachableMethods rm ) {
        this.cm = cm;
        this.rm = rm;
        worklist = rm.listener();
        options = new CGOptions( PhaseOptions.v().getPhaseOptions("cg") );
        if( !options.verbose() ) {
            G.v().out.println( "[Call Graph] For information on where the call graph may be incomplete, use the verbose option to the cg phase." );
        }
       
        if(options.reflection_log()==null || options.reflection_log().length()==0) {
View Full Code Here
57
58
59
60
61
62
63
64
65
66
67
  super( pag, t );
        this.method = m;
        if( t instanceof RefType ) {
            RefType rt = (RefType) t;
            if( rt.getSootClass().isAbstract()) {
        boolean usesReflectionLog = new CGOptions(PhaseOptions.v().getPhaseOptions("cg")).reflection_log()!=null;
        if (!usesReflectionLog) {
            throw new RuntimeException( "Attempt to create allocnode with abstract type "+t );
        }
      }
        }
View Full Code Here
960
961
962
963
964
965
966
967
968
969
970
971
        }
    }
    }

    private void addReflectionTraceClasses() {
      CGOptions options = new CGOptions( PhaseOptions.v().getPhaseOptions("cg") );
      String log = options.reflection_log();
     
      Set<String> classNames = new HashSet<String>();
      if(log!=null && log.length()>0) {
      BufferedReader reader;
      String line="";
View Full Code Here
225
226
227
228
229
230
231
232
233
234
235
236
    }
   
  private void autoSetOptions() {
    //when reflection log is enabled, also enable phantom refs 
      CGOptions cgOptions = new CGOptions( PhaseOptions.v().getPhaseOptions("cg") );
      String log = cgOptions.reflection_log();
      if(log!=null && log.length()>0) {
        Options.v().set_allow_phantom_refs(true);
      }
     
      //if phantom refs enabled,  ignore wrong staticness in type assigner
View Full Code Here
TOP

Related Classes of soot.options.CGOptions

  • soot.jimple.spark.pag.AllocNode
  • soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder
  • soot.Main
  • soot.Scene
    • 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.