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

Options.no_bodies_for_excluded介绍

暂无

代码示例

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

public void autoSetOptions() {
  // when no-bodies-for-excluded is enabled, also enable phantom refs
  if (Options.v().no_bodies_for_excluded()) {
   Options.v().set_allow_phantom_refs(true);
  }

  // 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
  if (Options.v().allow_phantom_refs()) {
   Options.v().set_wrong_staticness(Options.wrong_staticness_fix);
  }
 }
}

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

SootClass sc = worklist[i].pop();
if (resolveEverything()) { // Whole program mode
 boolean onlySignatures = sc.isPhantom() || (Options.v().no_bodies_for_excluded() && Scene.v().isExcluded(sc)
   && !Scene.v().getBasicClasses().contains(sc.getName()));
 if (onlySignatures) {

代码示例来源：origin: com.bugvm/bugvm-soot

if( resolveEverything() ) {
  boolean onlySignatures = sc.isPhantom() || (
      Options.v().no_bodies_for_excluded() &&
      Scene.v().isExcluded(sc) &&
      !Scene.v().getBasicClasses().contains(sc.getName())

代码示例来源：origin: ibinti/bugvm

if( resolveEverything() ) {
  boolean onlySignatures = sc.isPhantom() || (
      Options.v().no_bodies_for_excluded() &&
      Scene.v().isExcluded(sc) &&
      !Scene.v().getBasicClasses().contains(sc.getName())