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

Body.checkCopy介绍

暂无

代码示例

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

Type rightType=Type.toMachineType(astmt.getRightOp().getType());
      checkCopy(leftType,rightType,errorSuffix);
      if(astmt.getRightOp() instanceof InvokeExpr) 
        iexpr=(InvokeExpr) (astmt.getRightOp());
  checkCopy(called.declaringClass().getType(),
     iiexpr.getBase().getType(),
     " in receiver of call"+errorSuffix);
else 
  for(int i=0;i<iexpr.getArgCount();i++)
  checkCopy(Type.toMachineType(called.parameterType(i)),
     Type.toMachineType(iexpr.getArg(i).getType()),
     " in argument "+i+" of call"+errorSuffix);

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

Type rightType=Type.toMachineType(astmt.getRightOp().getType());
      checkCopy(leftType,rightType,errorSuffix);
      if(astmt.getRightOp() instanceof InvokeExpr) 
        iexpr=(InvokeExpr) (astmt.getRightOp());
  checkCopy(called.declaringClass().getType(),
     iiexpr.getBase().getType(),
     " in receiver of call"+errorSuffix);
else 
  for(int i=0;i<iexpr.getArgCount();i++)
  checkCopy(Type.toMachineType(called.parameterType(i)),
     Type.toMachineType(iexpr.getArg(i).getType()),
     " in argument "+i+" of call"+errorSuffix);