예제 #1
0
  public static void writeReport() {
    // make sure collapsed call graph has been run
    CollaspedCallGraph.v();

    FileWriter fw;
    try {
      String name = "";
      if ("".equals(Config.v().appName)) {
        name += "android-app";
      } else {
        name += Config.v().appName;
      }

      String additionalInfo = Config.v().additionalInfo;
      if (!"".equals(additionalInfo)) {
        additionalInfo = "_" + additionalInfo.replaceAll(" ", "_");
      }

      String fileName =
          name + "_" + getConfiguration().replaceAll(" ", "_") + additionalInfo + "_pta-report.txt";

      fw = new FileWriter(Project.v().getOutputDir() + File.separator + fileName);

      // write configuration details
      fw.write("App Name: " + name + "\n");
      fw.write("Config: " + getConfiguration() + "\n");
      fw.write("Cmdline supplied extra info: " + Config.v().additionalInfo + "\n");

      fw.write(refinementStats.toString());

      // write final run of pta
      fw.write(SparkEvaluator.v().toString());

      // write total lines of code
      fw.write("\nTotal Reachable LOC: " + getReachableLines() + "\n\n");

      // write information flow
      fw.write(infoFlowResults());

      // fw.write(finegrainedFlowResults());

      fw.close();
    } catch (IOException e) {

    }
  }
예제 #2
0
  @Override
  protected void runInternal() {
    // don't print crap to screen!
    G.v().out = new PrintStream(NullOutputStream.NULL_OUTPUT_STREAM);
    Scene.v().loadDynamicClasses();

    setSparkPointsToAnalysis();

    // other passes can print crap now
    G.v().out = System.out;

    ptsProvider = (PAG) Scene.v().getPointsToAnalysis();

    typeManager = ptsProvider.getTypeManager();

    // cache the call graph
    callGraph = Scene.v().getCallGraph();

    createNewToAllocMap();

    /*
    for (SootMethod method : getReachableMethods()) {
        Set<MethodOrMethodContext> mcs = getMethodContexts(method);
        if (mcs.size() > 30)
            System.out.println(method + " " + mcs.size());
    }
     */

    // dumpReachablesAndAllocNodes();
    // dumpCallGraphReachablesCSV();
    // dumpOutdegreesCSV();

    if (Config.v().dumpPta) {
      dumpPTA(Project.v().getOutputDir() + File.separator + "pta.txt");
    }

    if (Config.v().dumpCallGraph) {
      // dumpCallGraph(Project.v().getOutputDir() + File.separator + "callgraph.dot");
      String fileName = String.format("callgraph%d.txt", runCount++);
      dumpTextGraph(Project.v().getOutputDir() + File.separator + fileName);
    }

    // System.out.println(SparkEvaluator.v().toString());
  }
예제 #3
0
  private static String getConfiguration() {
    StringBuffer buf = new StringBuffer();

    buf.append(Config.v().kobjsens + "-");

    if (Config.v().ignoreNoContextFlows) buf.append("ignore-no-context-flows ");

    if (Config.v().fullContextForStrings) buf.append("full-context-for-strings ");

    if (Config.v().fullContextForGUI) buf.append("full-context-for-gui ");

    if (Config.v().staticinitcontext) buf.append("static-init-context ");

    if (!Config.v().cloneStaticCalls) {
      buf.append("noclonestatics ");
    }

    if (!Config.v().addFallbackModeling) {
      buf.append("nofallback ");
    }

    return buf.toString();
  }
예제 #4
0
  /** Run context insensitive spark analysis. */
  void setSparkPointsToAnalysis() {
    logger.info("[spark] Starting analysis ...");

    HashMap<String, String> opt = new HashMap<String, String>();
    opt.put("enabled", "true");
    opt.put("verbose", "false");
    opt.put("ignore-types", "false");
    opt.put("force-gc", "false");
    opt.put("pre-jimplify", "false");
    opt.put("vta", "false");
    opt.put("rta", "false");
    opt.put("field-based", "false");

    opt.put("simulate-natives", "false");
    opt.put("simple-edges-bidirectional", "false");
    opt.put("on-fly-cg", "true");
    opt.put("simplify-offline", "false");
    opt.put("simplify-sccs", "false");
    opt.put("ignore-types-for-sccs", "false");
    opt.put("propagator", "worklist");
    opt.put("set-impl", "double");
    opt.put("double-set-old", "hybrid");
    opt.put("double-set-new", "hybrid");
    opt.put("dump-html", "false");
    opt.put("dump-pag", "false");
    opt.put("dump-solution", "false");
    opt.put("topo-sort", "false");
    opt.put("dump-types", "true");
    opt.put("class-method-var", "true");
    opt.put("dump-answer", "false");
    opt.put("add-tags", "false");
    opt.put("set-mass", "false");
    opt.put("types-for-sites", "false");

    opt.put("merge-stringbuffer", Boolean.toString(Config.v().impreciseStrings));
    opt.put("string-constants", "true");

    opt.put("kobjsens", Integer.toString(Config.v().kobjsens));

    opt.put("kobjsens-context-for-static-inits", Boolean.toString(Config.v().staticinitcontext));

    opt.put("kobjsens-no-context-list", buildNoContextList());

    opt.put("kobjsens-types-for-context", Boolean.toString(Config.v().typesForContext));

    opt.put("kobjsens-important-allocators", "");

    if (Config.v().extraArrayContext) opts.put("kobjsens-extra-array-context", "true");

    StringBuffer limitHeapContext = new StringBuffer();

    if (!Config.v().fullContextForGUI) {
      addGUIClasses(limitHeapContext);
    }

    if (!Config.v().fullContextForStrings) {
      addStringClasses(limitHeapContext);
    }

    logger.info("limit heap context list: {}", limitHeapContext.toString());
    opt.put("kobjsens-limit-heap-context", limitHeapContext.toString());

    // now overwrite options with options that are passed in
    for (Map.Entry<String, String> entry : opts.entrySet()) {
      opt.put(entry.getKey(), entry.getValue());
    }

    /*
    //some context sensitivity
    opt.put("cs-demand", "false");
    opt.put("lazy-pts", "true");
    opt.put("passes", "10");
    opt.put("traversal", "75000");
     */

    // set k for the run...
    k = Integer.parseInt(opt.get("kobjsens"));

    SparkTransformer.v().transform("", opt);

    logger.info("[spark] Done!");
  }