本文整理了Java中soot.options.Options.set_output_format()
方法的一些代码示例,展示了Options.set_output_format()
的具体用法。这些代码示例主要来源于Github
/Stackoverflow
/Maven
等平台,是从一些精选项目中提取出来的代码,具有较强的参考意义,能在一定程度帮忙到你。Options.set_output_format()
方法的具体详情如下:
包路径:soot.options.Options
类名称:Options
方法名:set_output_format
暂无
代码示例来源:origin: secure-software-engineering/FlowDroid
options.set_allow_phantom_refs(true);
options.set_include(includeList);
options.set_output_format(Options.output_format_none);
options.setPhaseOption("jb", "use-original-names:true");
options.set_ignore_classpath_errors(true);
代码示例来源:origin: secure-software-engineering/FlowDroid
@Override
public void setSootOptions(Options options, InfoflowConfiguration config) {
// explicitly include packages for shorter runtime:
List<String> includeList = new LinkedList<String>();
includeList.add("java.lang.*");
includeList.add("java.util.*");
includeList.add("java.io.*");
includeList.add("sun.misc.*");
includeList.add("java.net.*");
includeList.add("org.apache.http.*");
includeList.add("de.test.*");
includeList.add("soot.*");
includeList.add("securibench.*");
includeList.add("javax.servlet.*");
includeList.add("com.oreilly.servlet.*");
// includeList.add("java.security.");
// includeList.add("javax.crypto.");
options.set_include(includeList);
options.set_output_format(Options.output_format_none);
}
代码示例来源:origin: secure-software-engineering/FlowDroid
@Override
public void setSootOptions(Options options, InfoflowConfiguration config) {
// explicitly include packages for shorter runtime:
List<String> includeList = new LinkedList<String>();
includeList.add("java.lang.*");
includeList.add("java.util.*");
includeList.add("java.io.*");
includeList.add("sun.misc.*");
includeList.add("java.net.*");
includeList.add("javax.servlet.*");
includeList.add("javax.crypto.*");
includeList.add("android.*");
includeList.add("org.apache.http.*");
includeList.add("de.test.*");
includeList.add("soot.*");
includeList.add("com.example.*");
includeList.add("libcore.icu.*");
includeList.add("securibench.*");
Options.v().set_no_bodies_for_excluded(true);
Options.v().set_allow_phantom_refs(true);
options.set_include(includeList);
options.set_output_format(Options.output_format_none);
Options.v().setPhaseOption("jb", "use-original-names:true");
// Options.v().setPhaseOption("cg.spark", "string-constants:true");
Options.v().set_ignore_classpath_errors(true);
}
代码示例来源:origin: secure-software-engineering/FlowDroid
Options.v().set_output_format(Options.output_format_none);
if (hasWildcard || config.getLoadFullJAR())
Options.v().set_process_dir(Arrays.asList(classpath.split(File.pathSeparator)));
代码示例来源:origin: jayhorn/jayhorn
sootOpt.set_prepend_classpath(true); // -pp
sootOpt.set_output_format(soot.options.Options.output_format_none);
代码示例来源:origin: secure-software-engineering/FlowDroid
Options.v().set_allow_phantom_refs(true);
if (config.getWriteOutputFiles())
Options.v().set_output_format(Options.output_format_jimple);
else
Options.v().set_output_format(Options.output_format_none);
代码示例来源:origin: secure-software-engineering/FlowDroid
Options.v().set_allow_phantom_refs(true);
if (config.getWriteOutputFiles())
Options.v().set_output_format(Options.output_format_jimple);
else
Options.v().set_output_format(Options.output_format_none);
Options.v().set_whole_program(true);
Options.v().set_process_dir(Collections.singletonList(apkFileLocation));
代码示例来源: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());
}
内容来源于网络,如有侵权,请联系作者删除!