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

Body.getDefBoxes介绍

[英]Returns the result of iterating through all Units in this body and querying them for ValueBoxes defined. All of the ValueBoxes found are then returned as a List.
[中]返回遍历此正文中的所有单元并查询它们以查找定义的ValueBox的结果。找到的所有ValueBox都将作为列表返回。

代码示例

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

@Override
/** Verifies that each Local of getUseAndDefBoxes() is in this body's locals Chain. */
public void validate(Body body, List<ValidationException> exception) {
 for (ValueBox vb : body.getUseBoxes()) {
  validateLocal(body, vb, exception);
 }
 for (ValueBox vb : body.getDefBoxes()) {
  validateLocal(body, vb, exception);
 }
}

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

for (ValueBox vb : getDefBoxes()) {
 if (vb.getValue() instanceof Local) {
  vb.setValue((Value) bindings.get(vb.getValue()));

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

final List<ValueBox> defs = body.getDefBoxes();
ArrayList<Local> sortedLocals = new ArrayList<Local>(locals);

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

/** Verifies that each Local of getUseAndDefBoxes() is in this body's locals Chain. */
public void validateLocals()
{
  Iterator<ValueBox> it = getUseBoxes().iterator();
  while(it.hasNext()){
    validateLocal( it.next() );
  }
  it = getDefBoxes().iterator();
  while(it.hasNext()){
    validateLocal( it.next() );
  }
}
private void validateLocal( ValueBox vb ) {

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

/** Verifies that each Local of getUseAndDefBoxes() is in this body's locals Chain. */
public void validateLocals()
{
  Iterator<ValueBox> it = getUseBoxes().iterator();
  while(it.hasNext()){
    validateLocal( it.next() );
  }
  it = getDefBoxes().iterator();
  while(it.hasNext()){
    validateLocal( it.next() );
  }
}
private void validateLocal( ValueBox vb ) {

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

vb.setValue((Value) bindings.get(vb.getValue()));
it = getDefBoxes().iterator();
while(it.hasNext()) {
  ValueBox vb = it.next();

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

vb.setValue((Value) bindings.get(vb.getValue()));
it = getDefBoxes().iterator();
while(it.hasNext()) {
  ValueBox vb = it.next();

代码示例来源：origin: jayhorn/jayhorn

for (ValueBox vb : staticInit.retrieveActiveBody().getDefBoxes()) {
  if (vb.getValue() instanceof StaticFieldRef) {
    staticFields.remove(((StaticFieldRef) vb.getValue()).getField());