Source file "org/apache/bcel/verifier/structurals/InstConstraintVisitor.java" was not found during generation of report.
Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
Total | 6,834 of 6,834 | 0% | 746 of 746 | 0% | 550 | 550 | 983 | 983 | 177 | 177 |
visitINVOKESPECIAL(INVOKESPECIAL) | ![]() | 0% | ![]() | 0% | 20 | 20 | 41 | 41 | 1 | 1 |
visitPUTFIELD(PUTFIELD) | ![]() | 0% | ![]() | 0% | 21 | 21 | 41 | 41 | 1 | 1 |
visitINVOKEINTERFACE(INVOKEINTERFACE) | ![]() | 0% | ![]() | 0% | 18 | 18 | 41 | 41 | 1 | 1 |
visitINVOKEVIRTUAL(INVOKEVIRTUAL) | ![]() | 0% | ![]() | 0% | 16 | 16 | 34 | 34 | 1 | 1 |
visitLoadInstruction(LoadInstruction) | ![]() | 0% | ![]() | 0% | 8 | 8 | 13 | 13 | 1 | 1 |
visitGETFIELD(GETFIELD) | ![]() | 0% | ![]() | 0% | 14 | 14 | 27 | 27 | 1 | 1 |
visitPUTSTATIC(PUTSTATIC) | ![]() | 0% | ![]() | 0% | 12 | 12 | 26 | 26 | 1 | 1 |
visitINVOKESTATIC(INVOKESTATIC) | ![]() | 0% | ![]() | 0% | 11 | 11 | 20 | 20 | 1 | 1 |
visitDUP2_X1(DUP2_X1) | ![]() | 0% | ![]() | 0% | 5 | 5 | 9 | 9 | 1 | 1 |
visitReturnInstruction(ReturnInstruction) | ![]() | 0% | ![]() | 0% | 10 | 10 | 15 | 15 | 1 | 1 |
visitAASTORE(AASTORE) | ![]() | 0% | ![]() | 0% | 5 | 5 | 13 | 13 | 1 | 1 |
visitDASTORE(DASTORE) | ![]() | 0% | ![]() | 0% | 5 | 5 | 11 | 11 | 1 | 1 |
visitFASTORE(FASTORE) | ![]() | 0% | ![]() | 0% | 5 | 5 | 11 | 11 | 1 | 1 |
visitIASTORE(IASTORE) | ![]() | 0% | ![]() | 0% | 5 | 5 | 11 | 11 | 1 | 1 |
visitLASTORE(LASTORE) | ![]() | 0% | ![]() | 0% | 5 | 5 | 11 | 11 | 1 | 1 |
visitSASTORE(SASTORE) | ![]() | 0% | ![]() | 0% | 5 | 5 | 11 | 11 | 1 | 1 |
_visitStackAccessor(Instruction) | ![]() | 0% | ![]() | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
visitStoreInstruction(StoreInstruction) | ![]() | 0% | ![]() | 0% | 7 | 7 | 11 | 11 | 1 | 1 |
visitDUP2_X2(DUP2_X2) | ![]() | 0% | ![]() | 0% | 7 | 7 | 13 | 13 | 1 | 1 |
visitDUP_X2(DUP_X2) | ![]() | 0% | ![]() | 0% | 4 | 4 | 7 | 7 | 1 | 1 |
visitFieldInstruction(FieldInstruction) | ![]() | 0% | ![]() | 0% | 4 | 4 | 11 | 11 | 1 | 1 |
visitATHROW(ATHROW) | ![]() | 0% | ![]() | 0% | 6 | 6 | 8 | 8 | 1 | 1 |
visitDALOAD(DALOAD) | ![]() | 0% | ![]() | 0% | 4 | 4 | 9 | 9 | 1 | 1 |
visitFALOAD(FALOAD) | ![]() | 0% | ![]() | 0% | 4 | 4 | 9 | 9 | 1 | 1 |
visitIALOAD(IALOAD) | ![]() | 0% | ![]() | 0% | 4 | 4 | 9 | 9 | 1 | 1 |
visitLALOAD(LALOAD) | ![]() | 0% | ![]() | 0% | 4 | 4 | 9 | 9 | 1 | 1 |
visitSALOAD(SALOAD) | ![]() | 0% | ![]() | 0% | 4 | 4 | 9 | 9 | 1 | 1 |
visitDUP_X1(DUP_X1) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitIF_ACMPEQ(IF_ACMPEQ) | ![]() | 0% | ![]() | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
visitIF_ACMPNE(IF_ACMPNE) | ![]() | 0% | ![]() | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
visitBASTORE(BASTORE) | ![]() | 0% | ![]() | 0% | 4 | 4 | 9 | 9 | 1 | 1 |
visitCASTORE(CASTORE) | ![]() | 0% | ![]() | 0% | 3 | 3 | 9 | 9 | 1 | 1 |
visitCHECKCAST(CHECKCAST) | ![]() | 0% | ![]() | 0% | 3 | 3 | 8 | 8 | 1 | 1 |
visitINSTANCEOF(INSTANCEOF) | ![]() | 0% | ![]() | 0% | 3 | 3 | 8 | 8 | 1 | 1 |
visitNEW(NEW) | ![]() | 0% | ![]() | 0% | 4 | 4 | 9 | 9 | 1 | 1 |
visitAALOAD(AALOAD) | ![]() | 0% | ![]() | 0% | 3 | 3 | 8 | 8 | 1 | 1 |
visitBALOAD(BALOAD) | ![]() | 0% | ![]() | 0% | 4 | 4 | 7 | 7 | 1 | 1 |
visitSWAP(SWAP) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitDADD(DADD) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitDCMPG(DCMPG) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitDCMPL(DCMPL) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitDDIV(DDIV) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitDMUL(DMUL) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitDREM(DREM) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitDSUB(DSUB) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitFADD(FADD) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitFCMPG(FCMPG) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitFCMPL(FCMPL) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitFDIV(FDIV) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitFMUL(FMUL) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitFREM(FREM) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitFSUB(FSUB) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitIADD(IADD) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitIAND(IAND) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitIDIV(IDIV) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitIF_ICMPEQ(IF_ICMPEQ) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitIF_ICMPGE(IF_ICMPGE) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitIF_ICMPGT(IF_ICMPGT) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitIF_ICMPLE(IF_ICMPLE) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitIF_ICMPLT(IF_ICMPLT) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitIF_ICMPNE(IF_ICMPNE) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitIMUL(IMUL) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitIOR(IOR) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitIREM(IREM) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitISHL(ISHL) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitISHR(ISHR) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitISUB(ISUB) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitIUSHR(IUSHR) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitIXOR(IXOR) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitLADD(LADD) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitLAND(LAND) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitLCMP(LCMP) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitLDIV(LDIV) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitLMUL(LMUL) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitLOR(LOR) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitLREM(LREM) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitLSHL(LSHL) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitLSHR(LSHR) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitLSUB(LSUB) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitLUSHR(LUSHR) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitLXOR(LXOR) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitLoadClass(LoadClass) | ![]() | 0% | ![]() | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
visitDUP2(DUP2) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitASTORE(ASTORE) | ![]() | 0% | ![]() | 0% | 4 | 4 | 5 | 5 | 1 | 1 |
visitRET(RET) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitIINC(IINC) | ![]() | 0% | ![]() | 0% | 3 | 3 | 4 | 4 | 1 | 1 |
visitARETURN(ARETURN) | ![]() | 0% | ![]() | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
visitMULTIANEWARRAY(MULTIANEWARRAY) | ![]() | 0% | ![]() | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
visitDUP(DUP) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitLDC(LDC) | ![]() | 0% | ![]() | 0% | 4 | 4 | 4 | 4 | 1 | 1 |
visitLDC_W(LDC_W) | ![]() | 0% | ![]() | 0% | 4 | 4 | 4 | 4 | 1 | 1 |
visitPOP(POP) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitPOP2(POP2) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitIFNONNULL(IFNONNULL) | ![]() | 0% | ![]() | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
visitIFNULL(IFNULL) | ![]() | 0% | ![]() | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
visitMONITORENTER(MONITORENTER) | ![]() | 0% | ![]() | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
visitMONITOREXIT(MONITOREXIT) | ![]() | 0% | ![]() | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
constraintViolated(Instruction, String) | ![]() | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
visitANEWARRAY(ANEWARRAY) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitLDC2_W(LDC2_W) | ![]() | 0% | ![]() | 0% | 3 | 3 | 4 | 4 | 1 | 1 |
visitCPInstruction(CPInstruction) | ![]() | 0% | ![]() | 0% | 3 | 3 | 4 | 4 | 1 | 1 |
arrayrefOfArrayType(Instruction, Type) | ![]() | 0% | ![]() | 0% | 3 | 3 | 3 | 3 | 1 | 1 |
visitLocalVariableInstruction(LocalVariableInstruction) | ![]() | 0% | ![]() | 0% | 3 | 3 | 3 | 3 | 1 | 1 |
visitRETURN(RETURN) | ![]() | 0% | ![]() | 0% | 4 | 4 | 4 | 4 | 1 | 1 |
visitD2F(D2F) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitD2I(D2I) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitD2L(D2L) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitDNEG(DNEG) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitDRETURN(DRETURN) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitF2D(F2D) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitF2I(F2I) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitF2L(F2L) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitFNEG(FNEG) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitFRETURN(FRETURN) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitI2B(I2B) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitI2C(I2C) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitI2D(I2D) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitI2F(I2F) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitI2L(I2L) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitI2S(I2S) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitIFEQ(IFEQ) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitIFGE(IFGE) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitIFGT(IFGT) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitIFLE(IFLE) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitIFLT(IFLT) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitIFNE(IFNE) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitINEG(INEG) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitIRETURN(IRETURN) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitL2D(L2D) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitL2F(L2F) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitL2I(L2I) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitLNEG(LNEG) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitLOOKUPSWITCH(LOOKUPSWITCH) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitLRETURN(LRETURN) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitNEWARRAY(NEWARRAY) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
visitCALOAD(CALOAD) | ![]() | 0% | n/a | 1 | 1 | 5 | 5 | 1 | 1 | |
indexOfInt(Instruction, Type) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
valueOfInt(Instruction, Type) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
referenceTypeIsInitialized(Instruction, ReferenceType) | ![]() | 0% | ![]() | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
InstConstraintVisitor() | ![]() | 0% | n/a | 1 | 1 | 4 | 4 | 1 | 1 | |
visitARRAYLENGTH(ARRAYLENGTH) | ![]() | 0% | n/a | 1 | 1 | 3 | 3 | 1 | 1 | |
visitTABLESWITCH(TABLESWITCH) | ![]() | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
static {...} | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
visitStackConsumer(StackConsumer) | ![]() | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
visitStackProducer(StackProducer) | ![]() | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 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 | |
stack() | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
locals() | ![]() | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
setFrame(Frame) | ![]() | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
setConstantPoolGen(ConstantPoolGen) | ![]() | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
setMethodGen(MethodGen) | ![]() | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
visitStackInstruction(StackInstruction) | ![]() | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
visitInvokeInstruction(InvokeInstruction) | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | ||
visitACONST_NULL(ACONST_NULL) | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | ||
visitALOAD(ALOAD) | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | ||
visitBIPUSH(BIPUSH) | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | ||
visitDCONST(DCONST) | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | ||
visitDLOAD(DLOAD) | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | ||
visitDSTORE(DSTORE) | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | ||
visitFCONST(FCONST) | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | ||
visitFLOAD(FLOAD) | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | ||
visitFSTORE(FSTORE) | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | ||
visitGETSTATIC(GETSTATIC) | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | ||
visitGOTO(GOTO) | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | ||
visitGOTO_W(GOTO_W) | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | ||
visitICONST(ICONST) | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | ||
visitILOAD(ILOAD) | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | ||
visitISTORE(ISTORE) | 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 | ||
visitLCONST(LCONST) | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | ||
visitLLOAD(LLOAD) | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | ||
visitLSTORE(LSTORE) | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | ||
visitNOP(NOP) | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | ||
visitSIPUSH(SIPUSH) | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 |