| visitLoadInstruction(LoadInstruction) |   | 38% | | 64% | 5 | 8 | 7 | 14 | 0 | 1 |
| visitINVOKEINTERFACE(INVOKEINTERFACE) | | 58% | | 58% | 13 | 18 | 10 | 39 | 0 | 1 |
| visitINVOKESPECIAL(INVOKESPECIAL) | | 47% | | 55% | 7 | 10 | 10 | 26 | 0 | 1 |
| visitGETFIELD(GETFIELD) | | 45% | | 55% | 7 | 10 | 7 | 23 | 0 | 1 |
| visitPUTFIELD(PUTFIELD) | | 44% | | 60% | 7 | 11 | 8 | 23 | 0 | 1 |
| visitFieldInstructionInternals(FieldInstruction) | | 51% | | 66% | 6 | 10 | 4 | 21 | 0 | 1 |
| visitINVOKEVIRTUAL(INVOKEVIRTUAL) | | 44% | | 75% | 3 | 7 | 5 | 19 | 0 | 1 |
| visitDUP2_X1(DUP2_X1) | | 36% | | 62% | 3 | 5 | 6 | 14 | 0 | 1 |
| visitInvokeInternals(InvokeInstruction) | | 64% | | 81% | 4 | 12 | 3 | 24 | 0 | 1 |
| visitATHROW(ATHROW) | | 32% | | 30% | 5 | 6 | 5 | 13 | 0 | 1 |
| visitStackAccessor(Instruction) | | 38% | | 75% | 1 | 3 | 3 | 8 | 0 | 1 |
| visitNEW(NEW) | | 28% | | 50% | 3 | 4 | 5 | 12 | 0 | 1 |
| visitSWAP(SWAP) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| visitDUP2_X2(DUP2_X2) | | 41% | | 25% | 6 | 7 | 6 | 12 | 0 | 1 |
| visitDUP_X2(DUP_X2) | | 42% | | 50% | 3 | 4 | 4 | 11 | 0 | 1 |
| visitDUP_X1(DUP_X1) | | 33% | | 50% | 2 | 3 | 3 | 8 | 0 | 1 |
| visitFieldInstruction(FieldInstruction) | | 47% | | 66% | 2 | 4 | 2 | 11 | 0 | 1 |
| checkArrayElementType(BasicType, Instruction, Type) | | 27% | | 66% | 2 | 4 | 3 | 7 | 0 | 1 |
| visitRET(RET) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| visitLDC_W(LDC_W) | | 0% | | 0% | 5 | 5 | 4 | 4 | 1 | 1 |
| visitIF_ACMPEQ(IF_ACMPEQ) | | 27% | | 50% | 2 | 3 | 2 | 5 | 0 | 1 |
| visitIF_ACMPNE(IF_ACMPNE) | | 27% | | 50% | 2 | 3 | 2 | 5 | 0 | 1 |
| visitDUP2(DUP2) | | 24% | | 25% | 2 | 3 | 5 | 8 | 0 | 1 |
| visitCHECKCAST(CHECKCAST) | | 40% | | 50% | 2 | 3 | 2 | 7 | 0 | 1 |
| visitINSTANCEOF(INSTANCEOF) | | 40% | | 50% | 2 | 3 | 2 | 7 | 0 | 1 |
| visitReturnInstruction(ReturnInstruction) | | 77% | | 90% | 2 | 12 | 3 | 19 | 0 | 1 |
| visitStoreInstruction(StoreInstruction) | | 64% | | 60% | 3 | 6 | 2 | 10 | 0 | 1 |
| visitLoadClass(LoadClass) | | 46% | | 75% | 1 | 3 | 2 | 8 | 0 | 1 |
| visitPOP(POP) | | 24% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| visitPOP2(POP2) | | 24% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| checkTypeConstraint(Type, Instruction, int) | | 32% | | 50% | 1 | 2 | 1 | 4 | 0 | 1 |
| visitDUP(DUP) | | 33% | | 50% | 1 | 2 | 2 | 5 | 0 | 1 |
| visitANEWARRAY(ANEWARRAY) | | 34% | | 50% | 1 | 2 | 1 | 4 | 0 | 1 |
| visitASTORE(ASTORE) | | 33% | | 25% | 2 | 3 | 1 | 4 | 0 | 1 |
| visitIFNONNULL(IFNONNULL) | | 46% | | 50% | 1 | 2 | 1 | 4 | 0 | 1 |
| visitIFNULL(IFNULL) | | 46% | | 50% | 1 | 2 | 1 | 4 | 0 | 1 |
| visitMONITORENTER(MONITORENTER) | | 28% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| visitMONITOREXIT(MONITOREXIT) | | 28% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| visitAASTORE(AASTORE) | | 77% | | 83% | 1 | 4 | 1 | 10 | 0 | 1 |
| visitCPInstruction(CPInstruction) | | 44% | | 50% | 2 | 3 | 1 | 4 | 0 | 1 |
| visitINVOKESTATIC(INVOKESTATIC) | | 30% | | n/a | 0 | 1 | 2 | 5 | 0 | 1 |
| visitPUTSTATIC(PUTSTATIC) | | 30% | | n/a | 0 | 1 | 2 | 5 | 0 | 1 |
| visitLDC(LDC) | | 62% | | 100% | 0 | 6 | 1 | 4 | 0 | 1 |
| visitMULTIANEWARRAY(MULTIANEWARRAY) | | 56% | | 75% | 1 | 3 | 1 | 5 | 0 | 1 |
| visitARETURN(ARETURN) | | 50% | | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| visitLDC2_W(LDC2_W) | | 50% | | 75% | 1 | 3 | 1 | 4 | 0 | 1 |
| getObjectType(FieldInstruction) | | 45% | | 50% | 1 | 2 | 2 | 5 | 0 | 1 |
| arrayrefOfArrayType(Instruction, Type) | | 43% | | 75% | 1 | 3 | 1 | 3 | 0 | 1 |
| indexOfInt(Instruction, Type) | | 27% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| valueOfInt(Instruction, Type) | | 27% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| referenceTypeIsInitialized(Instruction, ReferenceType) | | 23% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| visitRETURN(RETURN) | | 45% | | 50% | 2 | 4 | 1 | 3 | 0 | 1 |
| visitDASTORE(DASTORE) | | 55% | | n/a | 0 | 1 | 2 | 4 | 0 | 1 |
| visitFASTORE(FASTORE) | | 55% | | n/a | 0 | 1 | 2 | 4 | 0 | 1 |
| visitSASTORE(SASTORE) | | 55% | | n/a | 0 | 1 | 2 | 4 | 0 | 1 |
| visitIINC(IINC) | | 74% | | 50% | 2 | 3 | 1 | 4 | 0 | 1 |
| visitBREAKPOINT(BREAKPOINT) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| visitIMPDEP1(IMPDEP1) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| visitIMPDEP2(IMPDEP2) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| visitINVOKEDYNAMIC(INVOKEDYNAMIC) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| visitLocalVariableInstruction(LocalVariableInstruction) | | 82% | | 75% | 1 | 3 | 1 | 3 | 0 | 1 |
| visitBASTORE(BASTORE) | | 98% | | 66% | 2 | 4 | 0 | 10 | 0 | 1 |
| visitCASTORE(CASTORE) | | 97% | | 75% | 1 | 3 | 0 | 9 | 0 | 1 |
| visitBALOAD(BALOAD) | | 97% | | 83% | 1 | 4 | 0 | 8 | 0 | 1 |
| visitAALOAD(AALOAD) | | 97% | | 75% | 1 | 3 | 0 | 7 | 0 | 1 |
| visitCALOAD(CALOAD) | | 97% | | 75% | 1 | 3 | 0 | 7 | 0 | 1 |
| visitGOTO_W(GOTO_W) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| visitJSR(JSR) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| visitJSR_W(JSR_W) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| constraintViolated(Instruction, String) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitIASTORE(IASTORE) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| visitLASTORE(LASTORE) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| visitDALOAD(DALOAD) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitFALOAD(FALOAD) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitIALOAD(IALOAD) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitLALOAD(LALOAD) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitSALOAD(SALOAD) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitARRAYLENGTH(ARRAYLENGTH) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitDADD(DADD) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitDCMPG(DCMPG) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitDCMPL(DCMPL) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitDDIV(DDIV) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitDMUL(DMUL) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitDREM(DREM) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitDSUB(DSUB) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitFADD(FADD) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitFCMPG(FCMPG) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitFCMPL(FCMPL) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitFDIV(FDIV) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitFMUL(FMUL) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitFREM(FREM) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitFSUB(FSUB) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitIADD(IADD) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitIAND(IAND) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitIDIV(IDIV) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitIF_ICMPEQ(IF_ICMPEQ) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitIF_ICMPGE(IF_ICMPGE) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitIF_ICMPGT(IF_ICMPGT) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitIF_ICMPLE(IF_ICMPLE) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitIF_ICMPLT(IF_ICMPLT) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitIF_ICMPNE(IF_ICMPNE) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitIMUL(IMUL) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitIOR(IOR) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitIREM(IREM) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitISHL(ISHL) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitISHR(ISHR) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitISUB(ISUB) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitIUSHR(IUSHR) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitIXOR(IXOR) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitLADD(LADD) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitLAND(LAND) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitLCMP(LCMP) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitLDIV(LDIV) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitLMUL(LMUL) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitLOR(LOR) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitLREM(LREM) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitLSHL(LSHL) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitLSHR(LSHR) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitLSUB(LSUB) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitLUSHR(LUSHR) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitLXOR(LXOR) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| visitTABLESWITCH(TABLESWITCH) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| checkTypeDoubleConstraint(Instruction, int) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| checkTypeFloatConstraint(Instruction, int) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| checkTypeIntConstraint(Instruction, int) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| checkTypeLongConstraint(Instruction, int) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitD2F(D2F) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitD2I(D2I) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitD2L(D2L) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitDNEG(DNEG) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitDRETURN(DRETURN) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitF2D(F2D) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitF2I(F2I) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitF2L(F2L) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitFNEG(FNEG) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitFRETURN(FRETURN) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitI2B(I2B) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitI2C(I2C) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitI2D(I2D) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitI2F(I2F) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitI2L(I2L) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitI2S(I2S) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitIFEQ(IFEQ) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitIFGE(IFGE) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitIFGT(IFGT) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitIFLE(IFLE) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitIFLT(IFLT) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitIFNE(IFNE) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitINEG(INEG) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitIRETURN(IRETURN) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitL2D(L2D) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitL2F(L2F) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitL2I(L2I) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitLNEG(LNEG) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitLOOKUPSWITCH(LOOKUPSWITCH) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitLRETURN(LRETURN) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitNEWARRAY(NEWARRAY) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitStackConsumer(StackConsumer) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitStackProducer(StackProducer) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| locals() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| setConstantPoolGen(ConstantPoolGen) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setFrame(Frame) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setMethodGen(MethodGen) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| stack() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| visitStackInstruction(StackInstruction) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| InstConstraintVisitor() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| visitACONST_NULL(ACONST_NULL) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| visitALOAD(ALOAD) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| visitBIPUSH(BIPUSH) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| visitDCONST(DCONST) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| visitDLOAD(DLOAD) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| visitDSTORE(DSTORE) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| visitFCONST(FCONST) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| visitFLOAD(FLOAD) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| visitFSTORE(FSTORE) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| visitGETSTATIC(GETSTATIC) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| visitGOTO(GOTO) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| visitICONST(ICONST) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| visitILOAD(ILOAD) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| visitInvokeInstruction(InvokeInstruction) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| visitISTORE(ISTORE) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| visitLCONST(LCONST) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| visitLLOAD(LLOAD) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| visitLSTORE(LSTORE) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| visitNOP(NOP) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| visitSIPUSH(SIPUSH) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |