Examples of CGOptions


Examples of soot.options.CGOptions

    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

Examples of soot.options.CGOptions

  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

Examples of soot.options.CGOptions

        }
    }
    }

    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

Examples of soot.options.CGOptions

    }
   
  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
Copyright © 2018 www.massapi.com. 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.