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

Body.checkInit介绍

暂无

代码示例

代码示例来源：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();
  }
}