soot.options.Options.set_whole_program()方法的使用及代码示例

x33g5p2x  于2022-01-26 转载在 其他  
字(2.7k)|赞(0)|评价(0)|浏览(209)

本文整理了Java中soot.options.Options.set_whole_program()方法的一些代码示例,展示了Options.set_whole_program()的具体用法。这些代码示例主要来源于Github/Stackoverflow/Maven等平台,是从一些精选项目中提取出来的代码,具有较强的参考意义,能在一定程度帮忙到你。Options.set_whole_program()方法的具体详情如下:
包路径:soot.options.Options
类名称:Options
方法名:set_whole_program

Options.set_whole_program介绍

暂无

代码示例

代码示例来源:origin: Sable/soot

Options.v().set_whole_program(true);
PhaseOptions.v().setPhaseOption("cg", "off");

代码示例来源:origin: viadee/vPAV

Options.v().set_whole_program(true);
Options.v().set_allow_phantom_refs(true);

代码示例来源:origin: viadee/vPAV

System.setProperty("soot.class.path", sootPath);
Options.v().set_whole_program(true);
Options.v().set_allow_phantom_refs(true);

代码示例来源:origin: viadee/vPAV

Options.v().set_whole_program(true);
Options.v().set_allow_phantom_refs(true);

代码示例来源:origin: secure-software-engineering/FlowDroid

else
  Options.v().set_soot_classpath(classpath);
Options.v().set_whole_program(false);
Options.v().set_allow_phantom_refs(true);

代码示例来源:origin: secure-software-engineering/FlowDroid

Options.v().set_whole_program(true);
Options.v().setPhaseOption("cg", "trim-clinit:false");
if (config.getEnableReflection())

代码示例来源:origin: secure-software-engineering/FlowDroid

else
  Options.v().set_output_format(Options.output_format_none);
Options.v().set_whole_program(true);
Options.v().set_process_dir(Collections.singletonList(apkFileLocation));
if (forceAndroidJar)

代码示例来源:origin: edu.psu.cse.siis/coal

@Override
protected void initializeAnalysis(A commandLineArguments) {
 addSceneTransformer();
 Options.v().set_no_bodies_for_excluded(true);
 Options.v().set_allow_phantom_refs(true);
 Options.v().set_output_format(Options.output_format_none);
 Options.v().set_whole_program(true);
 Options.v().set_soot_classpath(
   commandLineArguments.getInput() + File.pathSeparator + commandLineArguments.getClasspath());
 Options.v().setPhaseOption("cg.spark", "on");
 // do not merge variables (causes problems with PointsToSets)
 Options.v().setPhaseOption("jb.ulp", "off");
 // Options.v().setPhaseOption("jb.ne", "off");
 Options.v().setPhaseOption("jb.uce", "remove-unreachable-traps:true");
 Options.v().setPhaseOption("cg", "trim-clinit:false");
 Options.v().set_prepend_classpath(true);
 Options.v().set_src_prec(Options.src_prec_java);
 for (String analysisClass : AnalysisParameters.v().getAnalysisClasses()) {
  SootClass sootClass = Scene.v().loadClassAndSupport(analysisClass);
  Scene.v().forceResolve(analysisClass, SootClass.BODIES);
  sootClass.setApplicationClass();
 }
 Scene.v().loadNecessaryClasses();
 Scene.v().setMainClassFromOptions();
 Scene.v().setEntryPoints(EntryPoints.v().application());
}

相关文章