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

Options.debug介绍

暂无

代码示例

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

public SPatchingChain(Body aBody, Chain<Unit> aChain) {
 super(aChain);
 this.body = aBody;
 this.debug = Options.v().debug();
 if (aBody instanceof ShimpleBody) {
  debug |= ((ShimpleBody) aBody).getOptions().debug();
 }
}

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

rectarray = takeRectArray;
if (Options.v().debug()) {
 logger.debug("Enter ArrayIndexLivenessAnalysis");
if (Options.v().debug()) {
 logger.debug("Leave ArrayIndexLivenessAnalysis");

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

if (Options.v().debug()) {
 logger.debug("Rectangular Array :");

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

private void doAnalysis() {
 Date start = new Date();
 if (Options.v().debug()) {
  logger.debug("Building PseudoTopological order list on " + start);
 if (Options.v().debug()) {
  long runtime = finish.getTime() - start.getTime();
  long mins = runtime / 60000;
 if (Options.v().debug()) {
  long runtime = finish.getTime() - start.getTime();
  long mins = runtime / 60000;

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

boolean debug = Options.v().debug();
if (body instanceof ShimpleBody) {
 debug |= ((ShimpleBody) body).getOptions().debug();

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

/**
 * Validates this SootClass for logical errors. Note that this does not validate the method bodies, only the class
 * structure. All found errors are saved into the given list.
 */
public void validate(List<ValidationException> exceptionList) {
 final boolean runAllValidators = Options.v().debug() || Options.v().validate();
 for (ClassValidator validator : getValidators()) {
  if (!validator.isBasicValidator() && !runAllValidators) {
   continue;
  }
  validator.validate(this, exceptionList);
 }
}

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

/**
 * Validates the jimple body and saves a list of all validation errors
 *
 * @param exceptionList
 *          the list of validation errors
 */
public void validate(List<ValidationException> exceptionList) {
 final boolean runAllValidators = Options.v().debug() || Options.v().validate();
 for (BodyValidator validator : getValidators()) {
  if (!validator.isBasicValidator() && !runAllValidators) {
   continue;
  }
  validator.validate(this, exceptionList);
 }
}

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

if (Options.v().debug()) {
 logger.debug("ArrayBoundsCheckerAnalysis started on  " + thismethod.getName());
if (Options.v().debug()) {
 logger.debug("ArrayBoundsCheckerAnalysis finished.");

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

/**
 * Validates the jimple body and saves a list of all validation errors
 *
 * @param exceptionList
 *          the list of validation errors
 */
@Override
public void validate(List<ValidationException> exceptionList) {
 super.validate(exceptionList);
 final boolean runAllValidators = Options.v().debug() || Options.v().validate();
 for (BodyValidator validator : getValidators()) {
  if (!validator.isBasicValidator() && !runAllValidators) {
   continue;
  }
  validator.validate(this, exceptionList);
 }
}

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

usestmt = (DefinitionStmt) defs.get(0);
if (Options.v().debug()) {
 logger.debug("        " + usestmt);

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

if (Options.v().debug()) {
 if (!vgraph.makeShortestPathGraph()) {
  logger.debug("" + stmt + " :");

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

protected void internalTransform(Body b, String phaseName, Map<String, String> options) {
 if (!(b instanceof ShimpleBody)) {
  throw new RuntimeException("SConstantPropagatorAndFolder requires a ShimpleBody.");
 }
 this.sb = (ShimpleBody) b;
 if (!sb.isSSA()) {
  throw new RuntimeException("ShimpleBody is not in proper SSA form as required by SConstantPropagatorAndFolder."
    + "You may need to rebuild it or use ConstantPropagatorAndFolder instead.");
 }
 boolean pruneCFG = PhaseOptions.getBoolean(options, "prune-cfg");
 debug = Options.v().debug();
 debug |= sb.getOptions().debug();
 if (Options.v().verbose()) {
  logger.debug("[" + sb.getMethod().getName() + "] Propagating and folding constants (SSA)...");
 }
 // *** FIXME: What happens when Shimple is built with another UnitGraph?
 SCPFAnalysis scpf = new SCPFAnalysis(new ExceptionalUnitGraph(sb));
 propagateResults(scpf.getResults());
 if (pruneCFG) {
  removeStmts(scpf.getDeadStmts());
  replaceStmts(scpf.getStmtsToReplace());
 }
}

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

rectarray = takeRectArray;
if (Options.v().debug()) 
  G.v().out.println("Enter ArrayIndexLivenessAnalysis");
if (Options.v().debug()) 
  G.v().out.println("Leave ArrayIndexLivenessAnalysis");

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

rectarray = takeRectArray;
if (Options.v().debug()) 
  G.v().out.println("Enter ArrayIndexLivenessAnalysis");
if (Options.v().debug()) 
  G.v().out.println("Leave ArrayIndexLivenessAnalysis");

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

if (Options.v().debug()) 
  G.v().out.println("ArrayBoundsCheckerAnalysis started on  "+thismethod.getName());
if (Options.v().debug()) 
  G.v().out.println("ArrayBoundsCheckerAnalysis finished.");

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

if (Options.v().debug()) 
  G.v().out.println("ArrayBoundsCheckerAnalysis started on  "+thismethod.getName());
if (Options.v().debug()) 
  G.v().out.println("ArrayBoundsCheckerAnalysis finished.");

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

if (Options.v().debug())

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

if (Options.v().debug())

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

/** Verifies a few sanity conditions on the contents on this body. */
public void validate()
{
  //System.out.println("body: "+this.getUnits());
  validateLocals();
  validateTraps();
  validateUnitBoxes();
  validateLocalVariables(); // RoboVM note: Added
  if (Options.v().debug() || Options.v().validate()) {
    validateUses();
    validateValueBoxes();
    checkInit();
    checkTypes();
    checkLocals();
  }
}

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

/** Verifies a few sanity conditions on the contents on this body. */
public void validate()
{
  //System.out.println("body: "+this.getUnits());
  validateLocals();
  validateTraps();
  validateUnitBoxes();
  validateLocalVariables(); // RoboVM note: Added
  if (Options.v().debug() || Options.v().validate()) {
    validateUses();
    validateValueBoxes();
    checkInit();
    checkTypes();
    checkLocals();
  }
}