Exemplo n.º 1
0
 protected void checkCov(String methodName) {
   MethodFlow flow = getFlow(methodName);
   if (flow == null) return;
   ArrayList<BasicBlock> bbs = flow.getBasicBlocks();
   // Verify that all instructions are covered and that the only ones that
   // aren't are labelnodes. Also verify that there are no overlaps.
   int size = flow.instructions.size();
   boolean coverage[] = new boolean[size];
   for (int i = 0; i < size; i++) {
     coverage[i] = false;
   }
   for (BasicBlock bb : bbs) {
     /*
      * if (bb.startFrame == null) { fail("BB doesn't have a starting
      * frame"); return; }
      */
     int end = bb.endPos;
     for (int i = bb.startPos; i <= end; i++) {
       if (coverage[i]) {
         fail("BasicBlock overlap");
         return;
       }
       coverage[i] = true;
     }
   }
   for (int i = 0; i < size; i++) {
     if (!coverage[i]) {
       fail("Instruction " + i + " not covered");
       return;
     }
   }
 }
  private static void reportFlow(MethodFlow method, String className) {
    resetIndentation();
    pn("Method : " + className + '.' + method.name);

    pn("MaxStack: " + method.maxStack);
    pn("MaxLocals: " + method.maxLocals);
    ArrayList<BasicBlock> bbs = method.getBasicBlocks();
    Collections.sort(bbs);
    indent(2);
    for (BasicBlock bb : bbs) {
      AbstractInsnNode ainode = bb.getInstruction(bb.startPos);
      if (ainode instanceof MethodInsnNode) {
        MethodInsnNode m = (MethodInsnNode) ainode;
        int n = getNumArgs(m); // This many will get consumed from stack
        pn("Call(" + n + "): " + m.owner + "." + m.name + m.desc);
        indent(2);
        pn("Inframe: ");
        indent(2);
        Frame f = bb.startFrame;
        pn(f.toString());
        dedent(2);
        pn("Live locals:");
        indent(2);
        Usage u = bb.getVarUsage();
        pn(u.toString());
        dedent(2);
        pn("Actual usage: " + uniqueItems(bb, f, u, n));
        dedent(2);
      }
    }
    dedent(2);
  }
Exemplo n.º 3
0
 /** Returns the first basic block in the flow that has a method invocation of <methodName> */
 protected BasicBlock getBBForMethod(MethodFlow flow, String methodName) {
   for (BasicBlock bb : flow.getBasicBlocks()) {
     AbstractInsnNode ainode = bb.getInstruction(bb.startPos);
     if (ainode instanceof MethodInsnNode && ((MethodInsnNode) ainode).name.equals(methodName)) {
       return bb;
     }
   }
   fail("No method invocation found for " + methodName);
   return null;
 }