DismantleBytecode.java

Index Score
edu.umd.cs.findbugs.visitclass
FindBugs

View: Reasons, Metrics, Source Code

These are the metrics that contribute to the Enerjy Score for this file, ranked by impact. So the metrics listed at the top influence the score to a greater extent that the metrics listed at the bottom.

MetricDescription
JAVA0034JAVA0034 Missing braces in if statement
CYCLOMATICCyclomatic complexity
ELOCEffective lines of code
JAVA0119JAVA0119 Control variable changed within body of for loop
OPERATORSNumber of operators
LOGICAL_LINESNumber of statements
JAVA0117JAVA0117 Missing javadoc: method 'method'
PROGRAM_LENGTHHalstead program length
COMPARISONSNumber of comparison operators
LOCLines of code
JAVA0071JAVA0071 Strings compared with ==
RETURNSNumber of return points from functions
JAVA0173JAVA0173 Unused method parameter
OPERANDSNumber of operands
SIZESize of the file in bytes
FUNCTIONSNumber of function declarations
LINESNumber of lines in the source file
UNIQUE_OPERANDSNumber of unique operands
PROGRAM_VOCABHalstead program vocabulary
JAVA0145JAVA0145 Tab character used in source file
JAVA0266JAVA0266 Use of System.out
JAVA0110JAVA0110 Incorrect javadoc: no @return tag
INTERFACE_COMPLEXITYInterface complexity
JAVA0068JAVA0068 Modifiers not declared in recommended order
LOOPSNumber of loops
JAVA0049JAVA0049 Nested block at depth N (maximum: M)
EXITSProcedure exits
JAVA0032JAVA0032 Switch statement missing default
BLOCKSNumber of blocks
JAVA0144JAVA0144 Line exceeds maximum M characters
JAVA0036JAVA0036 Missing braces in while statement
UNIQUE_OPERATORSNumber of unique operators
JAVA0116JAVA0116 Missing javadoc: field 'field'
JAVA0040JAVA0040 Switch statement contains N cases (maximum: M)
JAVA0031JAVA0031 Case statement not properly closed
NEST_DEPTHMaximum nesting depth
JAVA0075JAVA0075 Method parameter hides field
PROGRAM_VOLUMEHalstead program volume
JAVA0259JAVA0259 Return of collection/array field
JAVA0136JAVA0136 N methods defined in class (maximum: M)
JAVA0035JAVA0035 Missing braces in for statement
JAVA0126JAVA0126 Method declares unchecked exception in throws
JAVA0123JAVA0123 Use all three components of for loop
JAVA0100JAVA0100 Class contains N non-final fields (maximum: M)
DOC_COMMENTNumber of javadoc comment lines
WHITESPACENumber of whitespace lines
COMMENTSComment lines
/* * FindBugs - Find bugs in Java programs * Copyright (C) 2003,2004 University of Maryland * * This library is free software; you can redistribute it and/or * modify it under the terms of the GNU Lesser General Public * License as published by the Free Software Foundation; either * version 2.1 of the License, or (at your option) any later version. * * This library is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public * License along with this library; if not, write to the Free Software * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA */ package edu.umd.cs.findbugs.visitclass; import java.io.ByteArrayInputStream; import java.io.DataInputStream; import java.io.IOException; import java.text.NumberFormat; import org.apache.bcel.classfile.Code; import org.apache.bcel.classfile.CodeException; import org.apache.bcel.classfile.Constant; import org.apache.bcel.classfile.ConstantCP; import org.apache.bcel.classfile.ConstantClass; import org.apache.bcel.classfile.ConstantDouble; import org.apache.bcel.classfile.ConstantFieldref; import org.apache.bcel.classfile.ConstantFloat; import org.apache.bcel.classfile.ConstantInteger; import org.apache.bcel.classfile.ConstantInterfaceMethodref; import org.apache.bcel.classfile.ConstantLong; import org.apache.bcel.classfile.ConstantMethodref; import org.apache.bcel.classfile.ConstantNameAndType; import org.apache.bcel.classfile.ConstantString; import org.apache.bcel.classfile.LineNumberTable; import edu.umd.cs.findbugs.annotations.CheckForNull; import edu.umd.cs.findbugs.annotations.SuppressWarnings; import edu.umd.cs.findbugs.ba.AnalysisContext; import edu.umd.cs.findbugs.ba.XClass; import edu.umd.cs.findbugs.ba.XField; import edu.umd.cs.findbugs.ba.XMethod; import edu.umd.cs.findbugs.classfile.CheckedAnalysisException; import edu.umd.cs.findbugs.classfile.ClassDescriptor; import edu.umd.cs.findbugs.classfile.DescriptorFactory; import edu.umd.cs.findbugs.classfile.FieldDescriptor; import edu.umd.cs.findbugs.classfile.Global; import edu.umd.cs.findbugs.classfile.MethodDescriptor; import edu.umd.cs.findbugs.internalAnnotations.SlashedClassName; abstract public class DismantleBytecode extends AnnotationVisitor { private int opcode; private boolean opcodeIsWide; private int PC,nextPC; private int branchOffset; private int branchTarget; private int branchFallThrough; private int[] switchOffsets; private int[] switchLabels; private int[] prevOpcode = new int[32]; private int currentPosInPrevOpcodeBuffer; private int sizePrevOpcodeBuffer; private int defaultSwitchOffset; private @SlashedClassName String classConstantOperand; private ClassDescriptor referencedClass; private XClass referencedXClass; private MethodDescriptor referencedMethod; private XMethod referencedXMethod; private FieldDescriptor referencedField; private XField referencedXField; private String dottedClassConstantOperand; private String nameConstantOperand; private String sigConstantOperand; private String dottedSigConstantOperand; private String stringConstantOperand; private String refConstantOperand; private boolean refFieldIsStatic; private Constant constantRefOperand; private int intConstant; private long longConstant; private float floatConstant; private double doubleConstant; private int registerOperand; private boolean isRegisterLoad; private boolean isRegisterStore; private static final int INVALID_OFFSET = Integer.MIN_VALUE; private static final String NOT_AVAILABLE = "none"; static String replaceSlashesWithDots(String c) { return c.replace('/', '.'); } /** * Meaning of bytecode operands */ public static final byte M_INT = 1; public static final byte M_UINT = 2; public static final byte M_CP = 3; public static final byte M_R = 4; public static final byte M_BR = 5; public static final byte M_PAD = 6; /** * Meaning of bytecode operands */ static final byte[][] MEANING_OF_OPERANDS = { // 0 1 2 3 4 5 6 7 8 9 {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {M_INT}, {M_INT}, {M_CP}, {M_CP}, {M_CP}, {M_R}, {M_R}, {M_R}, {M_R}, {M_R}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {M_R}, {M_R}, {M_R}, {M_R}, {M_R}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, // 130 1 2 3 4 5 6 7 8 9 {}, {}, {M_R, M_INT}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {M_BR}, {M_BR}, {M_BR}, {M_BR}, {M_BR}, {M_BR}, {M_BR}, {M_BR}, {M_BR}, {M_BR}, {M_BR}, {M_BR}, {M_BR}, {M_BR}, {M_BR}, {M_BR}, {M_R}, // 170 1 2 3 4 5 6 7 8 9 {}, {}, {}, {}, {}, {}, {}, {}, {M_CP}, {M_CP}, {M_CP}, {M_CP}, {M_CP}, {M_CP}, {M_CP}, {M_CP, M_PAD, M_PAD}, {}, {M_CP}, {M_UINT}, {M_CP}, // 190 1 2 3 4 5 6 7 8 9 {}, {}, {M_CP}, {M_CP}, {}, {}, {M_PAD}, {M_CP, M_UINT}, {M_BR}, {M_BR}, {M_BR}, {M_BR}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {}, {} }; protected byte[] codeBytes; protected LineNumberTable lineNumberTable; // Accessors public ClassDescriptor getClassDescriptorOperand() { if (dottedClassConstantOperand == NOT_AVAILABLE) throw new IllegalStateException("getClassDescriptorOperand called but value not available"); return referencedClass; } public @CheckForNull XClass getXClassOperand() { return referencedXClass; } public MethodDescriptor getMethodDescriptorOperand() { if (nameConstantOperand == NOT_AVAILABLE) throw new IllegalStateException("getMethodDescriptorOperand called but value not available"); if (referencedMethod == null) { referencedMethod = DescriptorFactory.instance().getMethodDescriptor(classConstantOperand, nameConstantOperand, sigConstantOperand, opcode == INVOKESTATIC); } return referencedMethod; } public @CheckForNull XMethod getXMethodOperand() { if (referencedXClass != null && referencedXMethod == null) referencedXMethod = referencedXClass.findMethod(nameConstantOperand, sigConstantOperand, opcode == INVOKESTATIC); return referencedXMethod; } public FieldDescriptor getFieldDescriptorOperand() { if (nameConstantOperand == NOT_AVAILABLE) throw new IllegalStateException("getFieldDescriptorOperand called but value not available"); if (referencedField == null) { referencedField = DescriptorFactory.instance().getFieldDescriptor(classConstantOperand, nameConstantOperand, sigConstantOperand, opcode == GETSTATIC || opcode == PUTSTATIC); } return referencedField; } public @CheckForNull XField getXFieldOperand() { if (referencedXClass != null && referencedXField == null) referencedXField = referencedXClass.findField(nameConstantOperand, sigConstantOperand, opcode == GETSTATIC || opcode == PUTSTATIC); return referencedXField; } /** If the current opcode has a class operand, get the associated class constant, dot-formatted */ public String getDottedClassConstantOperand() { if (dottedClassConstantOperand == NOT_AVAILABLE) throw new IllegalStateException("getDottedClassConstantOperand called but value not available"); return dottedClassConstantOperand; } /** If the current opcode has a reference constant operand, get its string representation */ public String getRefConstantOperand() { if (refConstantOperand == NOT_AVAILABLE) throw new IllegalStateException("getRefConstantOperand called but value not available"); if (refConstantOperand == null) { StringBuilder ref = new StringBuilder(dottedClassConstantOperand.length() + nameConstantOperand.length() + dottedSigConstantOperand.length() + 5); ref.append(dottedClassConstantOperand) .append(".") .append(nameConstantOperand) .append(" : ") .append(dottedSigConstantOperand); refConstantOperand = ref.toString(); } return refConstantOperand; } /** If the current opcode has a reference constant operand, get its name */ public String getNameConstantOperand() { if (nameConstantOperand == NOT_AVAILABLE) throw new IllegalStateException("getNameConstantOperand called but value not available"); return nameConstantOperand; } /** If the current opcode has a reference constant operand, get its signature, dot-formatted */ @Deprecated public String getDottedSigConstantOperand() { if (dottedSigConstantOperand == NOT_AVAILABLE) throw new IllegalStateException("getDottedSigConstantOperand called but value not available"); return dottedSigConstantOperand; } /** If the current opcode has a reference constant operand, get its signature, slash-formatted */ public String getSigConstantOperand() { if (sigConstantOperand == NOT_AVAILABLE) throw new IllegalStateException("getSigConstantOperand called but value not available"); return sigConstantOperand; } /** * If the current opcode has a class constant operand, get the classname, slash-formatted. */ public @SlashedClassName String getClassConstantOperand() { if (classConstantOperand == NOT_AVAILABLE) throw new IllegalStateException("getClassConstantOperand called but value not available"); return classConstantOperand; } /** If the current opcode has a string constant operand, get its name */ public String getStringConstantOperand() { if (stringConstantOperand == NOT_AVAILABLE) throw new IllegalStateException("getStringConstantOperand called but value not available"); return stringConstantOperand; } public Constant getConstantRefOperand() { if (constantRefOperand == null) throw new IllegalStateException("getConstantRefOperand called but value not available"); return constantRefOperand; } public boolean isRegisterLoad() { return isRegisterLoad; } public boolean isRegisterStore() { return isRegisterStore; } public int getRegisterOperand() { if (registerOperand == -1) throw new IllegalStateException("getRegisterOperand called but value not available"); return registerOperand; } public int getIntConstant() { return intConstant; } public int getBranchOffset() { if (branchOffset == INVALID_OFFSET) throw new IllegalStateException("getBranchOffset called but value not available"); return branchOffset; } public int getBranchTarget() { if (branchTarget == INVALID_OFFSET) throw new IllegalStateException("getBranchTarget called but value not available"); return branchTarget; } public int getBranchFallThrough() { if (branchFallThrough == INVALID_OFFSET) throw new IllegalStateException("getBranchFallThrough called but value not available"); return branchFallThrough; } public int getDefaultSwitchOffset() { if (defaultSwitchOffset == INVALID_OFFSET) throw new IllegalStateException("getDefaultSwitchOffset called but value not available"); return defaultSwitchOffset; } public boolean getRefFieldIsStatic() { return refFieldIsStatic; } public int getPC() { return PC; } /** * return previous opcode; * @param offset 0 for current opcode, 1 for one before that, etc. */ public int getPrevOpcode(int offset) { if (offset < 0) throw new IllegalArgumentException("offset ("+offset+") must be nonnegative"); if (offset >= prevOpcode.length || offset > sizePrevOpcodeBuffer) return NOP; int pos = currentPosInPrevOpcodeBuffer - offset; if (pos < 0) pos += prevOpcode.length; return prevOpcode[pos]; } public boolean isWideOpcode() { return opcodeIsWide; } /** * Return whether or not given opcode is a branch instruction. * * @param opcode the opcode * @return true if instruction is a branch, false if not */ public static boolean isBranch(int opcode) { byte[] operands = MEANING_OF_OPERANDS[opcode]; return operands.length > 0 && operands[0] == M_BR; } /** * Return whether or not given opcode is a switch instruction. * * @param opcode the opcode * @return true if instruction is a switch, false if not */ public static boolean isSwitch(int opcode) { return opcode == LOOKUPSWITCH || opcode == TABLESWITCH; } @SuppressWarnings("EI") public int[] getSwitchOffsets() { if (switchOffsets == null) throw new IllegalStateException("getSwitchOffsets called but value not available"); return switchOffsets; } @SuppressWarnings("EI") public int[] getSwitchLabels() { if (switchLabels == null) throw new IllegalStateException("getSwitchOffsets called but value not available"); return switchLabels; } private void resetState() { dottedClassConstantOperand = classConstantOperand = nameConstantOperand = sigConstantOperand = dottedSigConstantOperand = stringConstantOperand = refConstantOperand = NOT_AVAILABLE; refFieldIsStatic = false; constantRefOperand = null; registerOperand = -1; isRegisterLoad = false; isRegisterStore = false; branchOffset = branchTarget = branchFallThrough = defaultSwitchOffset = INVALID_OFFSET; switchOffsets = switchLabels = null; referencedClass = null; referencedXClass = null; referencedMethod = null; referencedXMethod = null; referencedField = null; referencedXField = null; } private static void sortByOffset(int[] switchOffsets, int[] switchLabels) { int npairs = switchOffsets.length; // Sort by offset for (int j = 0; j < npairs; j++) { int min = j; for (int k = j + 1; k < npairs; k++) if (switchOffsets[min] > switchOffsets[k]) min = k; if (min > j) { int tmp = switchOffsets[min]; switchOffsets[min] = switchOffsets[j]; switchOffsets[j] = tmp; tmp = switchLabels[min]; switchLabels[min] = switchLabels[j]; switchLabels[j] = tmp; } } } public int getMaxPC() { return codeBytes.length-1; } public int getCodeByte(int offset) { return 0xff & codeBytes[offset]; } public int getOpcode() { return opcode; } public boolean atCatchBlock() { for(CodeException e : getCode().getExceptionTable()) if (e.getHandlerPC() == getPC()) return true; return false; } @Override public void visit(Code obj) { sizePrevOpcodeBuffer = 0; currentPosInPrevOpcodeBuffer = prevOpcode.length-1; int switchLow = 1000000; int switchHigh = -1000000; codeBytes = obj.getCode(); DataInputStream byteStream = new DataInputStream(new ByteArrayInputStream(codeBytes)); lineNumberTable = obj.getLineNumberTable(); try { for (int i = 0; i < codeBytes.length;) { resetState(); PC = i; opcodeIsWide = false; opcode = byteStream.readUnsignedByte(); sizePrevOpcodeBuffer++; currentPosInPrevOpcodeBuffer++; if (currentPosInPrevOpcodeBuffer >= prevOpcode.length) currentPosInPrevOpcodeBuffer = 0; prevOpcode[currentPosInPrevOpcodeBuffer] = opcode; i++; // System.out.println(OPCODE_NAMES[opCode]); int byteStreamArgCount = NO_OF_OPERANDS[opcode]; if (byteStreamArgCount == UNPREDICTABLE) { if (opcode == LOOKUPSWITCH) { int pad = 4 - (i & 3); if (pad == 4) pad = 0; int count = pad; while (count > 0) count -= byteStream.skipBytes(count); i += pad; defaultSwitchOffset = byteStream.readInt(); branchOffset = defaultSwitchOffset; branchTarget = branchOffset + PC; i += 4; int npairs = byteStream.readInt(); i += 4; switchOffsets = new int[npairs]; switchLabels = new int[npairs]; for (int o = 0; o < npairs; o++) { switchLabels[o] = byteStream.readInt(); switchOffsets[o] = byteStream.readInt(); i += 8; } sortByOffset(switchOffsets, switchLabels); } else if (opcode == TABLESWITCH) { int pad = 4 - (i & 3); if (pad == 4) pad = 0; int count = pad; while (count > 0) count -= byteStream.skipBytes(count); i += pad; defaultSwitchOffset = byteStream.readInt(); branchOffset = defaultSwitchOffset; branchTarget = branchOffset + PC; i += 4; switchLow = byteStream.readInt(); i += 4; switchHigh = byteStream.readInt(); i += 4; int npairs = switchHigh - switchLow + 1; switchOffsets = new int[npairs]; switchLabels = new int[npairs]; for (int o = 0; o < npairs; o++) { switchLabels[o] = o + switchLow; switchOffsets[o] = byteStream.readInt(); i += 4; } sortByOffset(switchOffsets, switchLabels); } else if (opcode == WIDE) { opcodeIsWide = true; opcode = byteStream.readUnsignedByte(); i++; switch (opcode) { case ILOAD: case FLOAD: case ALOAD: case LLOAD: case DLOAD: case ISTORE: case FSTORE: case ASTORE: case LSTORE: case DSTORE: case RET: registerOperand = byteStream.readUnsignedShort(); i += 2; break; case IINC: registerOperand = byteStream.readUnsignedShort(); i += 2; intConstant = byteStream.readShort(); i += 2; break; default: throw new IllegalStateException("bad wide bytecode: " + OPCODE_NAMES[opcode]); } } else throw new IllegalStateException("bad unpredicatable bytecode: " + OPCODE_NAMES[opcode]); } else { if (byteStreamArgCount < 0) throw new IllegalStateException("bad length for bytecode: " + OPCODE_NAMES[opcode]); for (int k = 0; k < TYPE_OF_OPERANDS[opcode].length; k++) { int v; int t = TYPE_OF_OPERANDS[opcode][k]; int m = MEANING_OF_OPERANDS[opcode][k]; boolean unsigned = (m == M_CP || m == M_R || m == M_UINT); switch (t) { case T_BYTE: if (unsigned) v = byteStream.readUnsignedByte(); else v = byteStream.readByte(); /* System.out.print("Read byte " + v); System.out.println(" with meaning" + m); */ i++; break; case T_SHORT: if (unsigned) v = byteStream.readUnsignedShort(); else v = byteStream.readShort(); i += 2; break; case T_INT: v = byteStream.readInt(); i += 4; break; default: throw new IllegalStateException(); } switch (m) { case M_BR: branchOffset = v; branchTarget = v + PC; branchFallThrough = i; break; case M_CP: constantRefOperand = getConstantPool().getConstant(v); if (constantRefOperand instanceof ConstantClass) { ConstantClass clazz = (ConstantClass) constantRefOperand; classConstantOperand = getStringFromIndex(clazz.getNameIndex()); dottedClassConstantOperand = replaceSlashesWithDots(classConstantOperand); referencedClass = DescriptorFactory.createClassDescriptor(classConstantOperand); try { referencedXClass = Global.getAnalysisCache().getClassAnalysis(XClass.class, referencedClass); } catch (CheckedAnalysisException e) { referencedXClass = null; } } else if (constantRefOperand instanceof ConstantInteger) intConstant = ((ConstantInteger) constantRefOperand).getBytes(); else if (constantRefOperand instanceof ConstantLong) longConstant = ((ConstantLong) constantRefOperand).getBytes(); else if (constantRefOperand instanceof ConstantFloat) floatConstant = ((ConstantFloat) constantRefOperand).getBytes(); else if (constantRefOperand instanceof ConstantDouble) doubleConstant = ((ConstantDouble) constantRefOperand).getBytes(); else if (constantRefOperand instanceof ConstantString) { int s = ((ConstantString) constantRefOperand).getStringIndex(); stringConstantOperand = getStringFromIndex(s); } else if (constantRefOperand instanceof ConstantCP) { ConstantCP cp = (ConstantCP) constantRefOperand; ConstantClass clazz = (ConstantClass) getConstantPool().getConstant(cp.getClassIndex()); classConstantOperand = getStringFromIndex(clazz.getNameIndex()); dottedClassConstantOperand = replaceSlashesWithDots(classConstantOperand); referencedClass = DescriptorFactory.createClassDescriptor(classConstantOperand); try { referencedXClass = Global.getAnalysisCache().getClassAnalysis(XClass.class, referencedClass); } catch (CheckedAnalysisException e) { referencedXClass = null; } ConstantNameAndType sig = (ConstantNameAndType) getConstantPool().getConstant(cp.getNameAndTypeIndex()); nameConstantOperand = getStringFromIndex(sig.getNameIndex()); sigConstantOperand = getStringFromIndex(sig.getSignatureIndex()); dottedSigConstantOperand = replaceSlashesWithDots(sigConstantOperand); refConstantOperand = null; } break; case M_R: registerOperand = v; break; case M_UINT: case M_INT: intConstant = v; } } } switch (opcode) { case IINC: isRegisterLoad = true; isRegisterStore = true; break; case ILOAD_0: case ILOAD_1: case ILOAD_2: case ILOAD_3: registerOperand = opcode - ILOAD_0; isRegisterLoad = true; break; case ALOAD_0: case ALOAD_1: case ALOAD_2: case ALOAD_3: registerOperand = opcode - ALOAD_0; isRegisterLoad = true; break; case FLOAD_0: case FLOAD_1: case FLOAD_2: case FLOAD_3: registerOperand = opcode - FLOAD_0; isRegisterLoad = true; break; case DLOAD_0: case DLOAD_1: case DLOAD_2: case DLOAD_3: registerOperand = opcode - DLOAD_0; isRegisterLoad = true; break; case LLOAD_0: case LLOAD_1: case LLOAD_2: case LLOAD_3: registerOperand = opcode - LLOAD_0; isRegisterLoad = true; break; case ILOAD: case FLOAD: case ALOAD: case LLOAD: case DLOAD: isRegisterLoad = true; break; case ISTORE_0: case ISTORE_1: case ISTORE_2: case ISTORE_3: registerOperand = opcode - ISTORE_0; isRegisterStore = true; break; case ASTORE_0: case ASTORE_1: case ASTORE_2: case ASTORE_3: registerOperand = opcode - ASTORE_0; isRegisterStore = true; break; case FSTORE_0: case FSTORE_1: case FSTORE_2: case FSTORE_3: registerOperand = opcode - FSTORE_0; isRegisterStore = true; break; case DSTORE_0: case DSTORE_1: case DSTORE_2: case DSTORE_3: registerOperand = opcode - DSTORE_0; isRegisterStore = true; break; case LSTORE_0: case LSTORE_1: case LSTORE_2: case LSTORE_3: registerOperand = opcode - LSTORE_0; isRegisterStore = true; break; case ISTORE: case FSTORE: case ASTORE: case LSTORE: case DSTORE: isRegisterStore = true; break; } switch (opcode) { case ILOAD: case FLOAD: case ALOAD: case LLOAD: case DLOAD: // registerKind = opcode - ILOAD; break; case ISTORE: case FSTORE: case ASTORE: case LSTORE: case DSTORE: // registerKind = opcode - ISTORE; break; case RET: // registerKind = R_REF; break; case GETSTATIC: case PUTSTATIC: refFieldIsStatic = true; break; case GETFIELD: case PUTFIELD: refFieldIsStatic = false; break; } nextPC = i; if (beforeOpcode(opcode)) sawOpcode(opcode); afterOpcode(opcode); if (opcode == TABLESWITCH) { sawInt(switchLow); sawInt(switchHigh); int prevOffset = i - PC; for (int o = 0; o <= switchHigh - switchLow; o++) { sawBranchTo(switchOffsets[o] + PC); sawOffset(switchOffsets[o] - prevOffset); prevOffset = switchOffsets[o]; } sawOffset(defaultSwitchOffset - prevOffset); sawBranchTo(defaultSwitchOffset + PC); } else if (opcode == LOOKUPSWITCH) { sawInt(switchOffsets.length); int prevOffset = i - PC; for (int o = 0; o < switchOffsets.length; o++) { sawBranchTo(switchOffsets[o] + PC); prevOffset = switchOffsets[o]; sawInt(switchLabels[o]); } sawOffset(defaultSwitchOffset - prevOffset); sawBranchTo(defaultSwitchOffset + PC); } else for (int k = 0; k < TYPE_OF_OPERANDS[opcode].length; k++) { int m = MEANING_OF_OPERANDS[opcode][k]; switch (m) { case M_BR: sawBranchTo(branchOffset + PC); if (branchOffset > 0) sawOffset(branchOffset - (i - PC)); else sawOffset(branchOffset); break; case M_CP: if (constantRefOperand instanceof ConstantInteger) sawInt(intConstant); else if (constantRefOperand instanceof ConstantLong) sawLong(longConstant); else if (constantRefOperand instanceof ConstantFloat) sawFloat(floatConstant); else if (constantRefOperand instanceof ConstantDouble) sawDouble(doubleConstant); else if (constantRefOperand instanceof ConstantString) sawString(stringConstantOperand); else if (constantRefOperand instanceof ConstantFieldref) sawField(); else if (constantRefOperand instanceof ConstantMethodref) sawMethod(); else if (constantRefOperand instanceof ConstantInterfaceMethodref) sawIMethod(); else if (constantRefOperand instanceof ConstantClass) sawClass(); break; case M_R: sawRegister(registerOperand); break; case M_INT: sawInt(intConstant); break; } } } } catch (IOException e) { AnalysisContext.logError("Error while dismantling bytecode", e); assert false ; } try { byteStream.close(); } catch (IOException e) { assert false; } } public void sawDouble(double seen) { } public void sawFloat(float seen) { } public void sawRegister(int r) { } public void sawInt(int seen) { } public void sawLong(long seen) { } public void sawBranchTo(int seen) { } public void sawOffset(int seen) { } /** return false if we should skip calling sawOpcode */ public boolean beforeOpcode(int seen) { return true; } public void afterOpcode(int seen) {} public void sawOpcode(int seen) { } public void sawString(String seen) { } public void sawField() { } public void sawMethod() { } public void sawIMethod() { } public void sawClass() { } static private NumberFormat formatter = NumberFormat.getIntegerInstance(); static { formatter.setMinimumIntegerDigits(4); formatter.setGroupingUsed(false); } public void printOpCode( int seen) { System.out.print(" TestingGround: [" + formatter.format(getPC()) + "] " + OPCODE_NAMES[seen]); if ((seen == INVOKEVIRTUAL) || (seen == INVOKESPECIAL) || (seen == INVOKEINTERFACE) || (seen == INVOKESTATIC)) System.out.print(" " + getClassConstantOperand() + "." + getNameConstantOperand() + " " + getSigConstantOperand()); else if (seen == LDC || seen == LDC_W || seen == LDC2_W) { Constant c = getConstantRefOperand(); if (c instanceof ConstantString) System.out.print(" \"" + getStringConstantOperand() + "\""); else if (c instanceof ConstantClass) System.out.print(" " + getClassConstantOperand()); else System.out.print(" " + c); } else if ((seen == ALOAD) || (seen == ASTORE)) System.out.print(" " + getRegisterOperand()); else if ((seen == GOTO) || (seen == GOTO_W) || (seen == IF_ACMPEQ) || (seen == IF_ACMPNE) || (seen == IF_ICMPEQ) || (seen == IF_ICMPGE) || (seen == IF_ICMPGT) || (seen == IF_ICMPLE) || (seen == IF_ICMPLT) || (seen == IF_ICMPNE) || (seen == IFEQ) || (seen == IFGE) || (seen == IFGT) || (seen == IFLE) || (seen == IFLT) || (seen == IFNE) || (seen == IFNONNULL) || (seen == IFNULL)) System.out.print(" " + getBranchTarget()); else if ((seen == NEW) || (seen == INSTANCEOF)) System.out.print(" " + getClassConstantOperand()); else if ((seen == TABLESWITCH) || (seen == LOOKUPSWITCH)) { System.out.print(" ["); int switchPC = getPC(); int[] offsets = getSwitchOffsets(); for (int offset : offsets) { System.out.print((switchPC + offset) + ","); } System.out.print((switchPC + getDefaultSwitchOffset()) + "]"); } System.out.println(); } /** * @return Returns the nextPC. */ public int getNextPC() { return nextPC; } public boolean isReturn(int opcode) { switch(opcode) { case IRETURN: case ARETURN: case LRETURN: case DRETURN: case FRETURN: case RETURN: return true; default : return false; } } public static boolean areOppositeBranches(int opcode1, int opcode2) { if (!isBranch(opcode1)) throw new IllegalArgumentException(OPCODE_NAMES[opcode1] + " isn't a branch"); if (!isBranch(opcode2)) throw new IllegalArgumentException(OPCODE_NAMES[opcode2] + " isn't a branch"); switch(opcode1) { case IF_ACMPEQ: case IF_ACMPNE: case IF_ICMPEQ: case IF_ICMPNE: case IF_ICMPLT: case IF_ICMPLE: case IF_ICMPGT: case IF_ICMPGE: case IFNE: case IFEQ: case IFLT: case IFLE: case IFGT: case IFGE: return ((opcode1 +1) ^ 1) == opcode2+1; case IFNONNULL: return opcode2 == IFNULL; case IFNULL: return opcode2 == IFNONNULL; default: return false; } } public boolean isRegisterStore(int opcode) { switch(opcode) { case ISTORE_0: case ISTORE_1: case ISTORE_2: case ISTORE_3: case ASTORE_0: case ASTORE_1: case ASTORE_2: case ASTORE_3: case FSTORE_0: case FSTORE_1: case FSTORE_2: case FSTORE_3: case DSTORE_0: case DSTORE_1: case DSTORE_2: case DSTORE_3: case LSTORE_0: case LSTORE_1: case LSTORE_2: case LSTORE_3: case ISTORE: case FSTORE: case ASTORE: case LSTORE: case DSTORE: return true; default: return false; } } }

The table below shows all metrics for DismantleBytecode.java.

MetricValueDescription
BLOCKS92.00Number of blocks
BLOCK_COMMENT22.00Number of block comment lines
COMMENTS67.00Comment lines
COMMENT_DENSITY 0.09Comment density
COMPARISONS117.00Number of comparison operators
CYCLOMATIC300.00Cyclomatic complexity
DECL_COMMENTS16.00Comments in declarations
DOC_COMMENT35.00Number of javadoc comment lines
ELOC744.00Effective lines of code
EXEC_COMMENTS10.00Comments in executable code
EXITS73.00Procedure exits
FUNCTIONS58.00Number of function declarations
HALSTEAD_DIFFICULTY116.51Halstead difficulty
HALSTEAD_EFFORT 0.00Halstead effort
INTERFACE_COMPLEXITY114.00Interface complexity
JAVA0001 0.00JAVA0001 Package name does not contain only lower case letters
JAVA0002 0.00JAVA0002 Package name does not begin with a top level domain name or country code
JAVA0003 0.00JAVA0003 Minimize use of on-demand (.*) imports
JAVA0004 0.00JAVA0004 Unnecessary import from java.lang
JAVA0005 0.00JAVA0005 Imports not in specified order
JAVA0006 0.00JAVA0006 Empty finally block
JAVA0007 0.00JAVA0007 Should not declare public field
JAVA0008 0.00JAVA0008 Empty catch block
JAVA0009 0.00JAVA0009 Protected member in final class
JAVA0010 0.00JAVA0010 Non-instantiable class does not contain a non-private static member
JAVA0011 1.00JAVA0011 Abstract class does not contain an abstract method
JAVA0012 0.00JAVA0012 Non-constructor method with same name as declaring class
JAVA0013 0.00JAVA0013 Non-blank final field is not static
JAVA0014 0.00JAVA0014 Class with only static members has non-private constructor
JAVA0015 0.00JAVA0015 Package class contains public nested type
JAVA0016 0.00JAVA0016 Abstract class contains public constructor
JAVA0017 0.00JAVA0017 Class name does not have required form
JAVA0018 0.00JAVA0018 Method name does not have required form
JAVA0019 0.00JAVA0019 Interface name does not have required form
JAVA0020 0.00JAVA0020 Field name does not have required form
JAVA0021 0.00JAVA0021 Interface method name does not have required form
JAVA0022 0.00JAVA0022 Static final field name does not have required form
JAVA0023 0.00JAVA0023 Empty finalize method
JAVA0024 0.00JAVA0024 Empty class
JAVA0025 0.00JAVA0025 Method override is empty
JAVA0026 0.00JAVA0026 Finalize method with parameters
JAVA0029 0.00JAVA0029 Private method not used
JAVA0030 0.00JAVA0030 Private field not used
JAVA0031 1.00JAVA0031 Case statement not properly closed
JAVA0032 4.00JAVA0032 Switch statement missing default
JAVA0033 0.00JAVA0033 default: not last case in switch statement
JAVA003460.00JAVA0034 Missing braces in if statement
JAVA0035 1.00JAVA0035 Missing braces in for statement
JAVA0036 2.00JAVA0036 Missing braces in while statement
JAVA0038 0.00JAVA0038 Non-case label in switch statement
JAVA0039 0.00JAVA0039 Break statement with label
JAVA0040 1.00JAVA0040 Switch statement contains N cases (maximum: M)
JAVA0041 0.00JAVA0041 Nested synchronized block
JAVA0042 0.00JAVA0042 Empty synchronized statement
JAVA0043 0.00JAVA0043 Inner class does not use outer class
JAVA0044 0.00JAVA0044 Serializable class with no instance variables
JAVA0045 0.00JAVA0045 Serializable class with only transient fields
JAVA0046 0.00JAVA0046 Name of class not derived from Exception ends with 'Exception'
JAVA0047 0.00JAVA0047 Serializable class derives from invalid base class
JAVA0048 0.00JAVA0048 Name of class derived from Exception does not end with 'Exception'
JAVA0049 5.00JAVA0049 Nested block at depth N (maximum: M)
JAVA0050 0.00JAVA0050 Class derives from java.lang.Error
JAVA0051 0.00JAVA0051 Class derives from java.lang.RuntimeException
JAVA0052 0.00JAVA0052 Class derives from java.lang.Throwable
JAVA0053 0.00JAVA0053 Unused label
JAVA0054 1.00JAVA0054 Inheritance depth N exceeds maximum M
JAVA0055 0.00JAVA0055 Class should be interface
JAVA0056 0.00JAVA0056 Unnecessary abstract modifier for interface or annotation
JAVA0057 0.00JAVA0057 Unnecessary default constructor
JAVA0058 0.00JAVA0058 Constructor calls super()
JAVA0059 0.00JAVA0059 Method override only calls super()
JAVA0061 0.00JAVA0061 Inaccessible member in anonymous class
JAVA0062 0.00JAVA0062 Public class missing public member or protected constructor
JAVA0063 0.00JAVA0063 Identifier name should not contain '$'
JAVA0064 0.00JAVA0064 N variations of identifier name (maximum: M)
JAVA0065 0.00JAVA0065 Unnecessary final modifier for method in final class
JAVA0066 0.00JAVA0066 Unnecessary modifier for interface nested type
JAVA0067 0.00JAVA0067 Array descriptor on identifier name
JAVA0068 7.00JAVA0068 Modifiers not declared in recommended order
JAVA007110.00JAVA0071 Strings compared with ==
JAVA0073 0.00JAVA0073 Integer division in floating-point context
JAVA0074 0.00JAVA0074 Use of Object.notify()
JAVA0075 2.00JAVA0075 Method parameter hides field
JAVA0076 2.00JAVA0076 Use of magic number
JAVA0077 0.00JAVA0077 Private field not used in declaring class
JAVA0078 0.00JAVA0078 Floating point values compared with ==
JAVA0079 0.00JAVA0079 Use of instance to reference static member
JAVA0080 0.00JAVA0080 Import declaration not used
JAVA0081 0.00JAVA0081 Boolean literal in comparison
JAVA0082 0.00JAVA0082 Unnecessary widening cast
JAVA0083 0.00JAVA0083 Unnecessary instanceof test
JAVA0084 0.00JAVA0084 Should use compound assignment operator
JAVA0085 0.00JAVA0085 Use of sun.* class
JAVA0087 0.00JAVA0087 Use of Thread.sleep()
JAVA0089 0.00JAVA0089 Use of restricted package
JAVA0092 0.00JAVA0092 Use of restricted type
JAVA0093 0.00JAVA0093 Redundant assignment
JAVA0094 0.00JAVA0094 Field hides a superclass field
JAVA0095 0.00JAVA0095 Uninitialized private field
JAVA0096 0.00JAVA0096 Field in nested class hides outer field
JAVA0098 1.00JAVA0098 Minimize use of implicit field initializers
JAVA0100 1.00JAVA0100 Class contains N non-final fields (maximum: M)
JAVA0101 0.00JAVA0101 Unnecessary modifier for field in interface
JAVA0102 0.00JAVA0102 Last statement in finalize() not super.finalize()
JAVA0103 0.00JAVA0103 Explicit call to finalize()
JAVA0104 0.00JAVA0104 finalize() only calls super.finalize()
JAVA0105 0.00JAVA0105 Duplicate import declaration
JAVA0106 0.00JAVA0106 Unnecessary import from current package
JAVA0108 1.00JAVA0108 Incorrect javadoc: no @param tag for 'parameter'
JAVA0109 0.00JAVA0109 Incorrect javadoc: no parameter 'parameter'
JAVA0110 9.00JAVA0110 Incorrect javadoc: no @return tag
JAVA0111 0.00JAVA0111 Incorrect javadoc: @return tag for void method
JAVA0112 0.00JAVA0112 Incorrect javadoc: no exception 'exception' in throws
JAVA0113 0.00JAVA0113 Incorrect javadoc: no @author tag
JAVA0114 0.00JAVA0114 Incorrect javadoc: no @version tag
JAVA0115 0.00JAVA0115 Incorrect javadoc: no @throws or @exception tag for 'exception'
JAVA0116 5.00JAVA0116 Missing javadoc: field 'field'
JAVA011742.00JAVA0117 Missing javadoc: method 'method'
JAVA0118 1.00JAVA0118 Missing javadoc: type 'type'
JAVA011917.00JAVA0119 Control variable changed within body of for loop
JAVA0123 1.00JAVA0123 Use all three components of for loop
JAVA0125 0.00JAVA0125 Continue statement with label
JAVA0126 0.00JAVA0126 Method declares unchecked exception in throws
JAVA0128 0.00JAVA0128 Public constructor in non-public class
JAVA0130 0.00JAVA0130 Non-static method does not use instance fields
JAVA0131 0.00JAVA0131 Compatible method does not override base
JAVA0132 0.00JAVA0132 Method overload with compatible signature
JAVA0133 0.00JAVA0133 Non-synchronized method overrides synchronized method
JAVA0135 0.00JAVA0135 Only one of Object.equals and Object.hashCode defined: missing 'method'
JAVA0136 1.00JAVA0136 N methods defined in class (maximum: M)
JAVA0137 0.00JAVA0137 Non-abstract class missing constructor
JAVA0138 0.00JAVA0138 N parameters defined for method (maximum: M)
JAVA0139 0.00JAVA0139 Definition of main other than public static void main(java.lang.String[])
JAVA0141 0.00JAVA0141 Unnecessary modifier for method in interface
JAVA0143 0.00JAVA0143 Synchronized method
JAVA0144 5.00JAVA0144 Line exceeds maximum M characters
JAVA01452889.00JAVA0145 Tab character used in source file
JAVA0150 0.00JAVA0150 java.lang.Error (or subclass) thrown
JAVA0153 0.00JAVA0153 Inefficient conversion of integer to string
JAVA0159 0.00JAVA0159 Inefficient conversion of string to integer
JAVA0160 0.00JAVA0160 Method does not throw specified exception
JAVA0161 0.00JAVA0161 Conditional wait() not in loop
JAVA0163 0.00JAVA0163 Empty statement
JAVA0165 0.00JAVA0165 Conflicting return statement in finally block
JAVA0166 0.00JAVA0166 Generic exception caught
JAVA0167 0.00JAVA0167 ThreadDeath not rethrown
JAVA0169 0.00JAVA0169 Unnecessary catch block: exception 'exception'
JAVA0170 0.00JAVA0170 Caught exception not derived from java.lang.Exception
JAVA0171 0.00JAVA0171 Unused local variable
JAVA017311.00JAVA0173 Unused method parameter
JAVA0174 0.00JAVA0174 Assigned local variable never used
JAVA0175 0.00JAVA0175 Successive assignment to variable
JAVA0176 0.00JAVA0176 Local variable name does not have required form
JAVA0177 1.00JAVA0177 Variable declaration missing initializer
JAVA0179 0.00JAVA0179 Local variable hides visible field
JAVA0233 0.00JAVA0233 Definition of serialVersionUID other than 'private static final long serialVersionUID'
JAVA0234 0.00JAVA0234 Class is Serializable but does not define serialVersionUID
JAVA0235 0.00JAVA0235 Class defines serialVersionUID but does not implement Serializable
JAVA0236 0.00JAVA0236 Attempt to clone an object which does not implement Cloneable
JAVA0237 0.00JAVA0237 Class implements Cloneable but does not have public clone method
JAVA0238 0.00JAVA0238 Clone method does not call super.clone()
JAVA0239 0.00JAVA0239 Class declares 'readObject' or 'writeObject' but does not implement Serializable
JAVA0240 0.00JAVA0240 Serializable class which declares readObject or writeObject but not both
JAVA0241 0.00JAVA0241 'readObject' or 'writeObject' should be declared private in Serializable class
JAVA0242 0.00JAVA0242 Transient field in non-Serializable class
JAVA0243 0.00JAVA0243 'readResolve' or 'writeReplace' should be declared private or protected
JAVA0244 0.00JAVA0244 Field or method name in subclass differs only by case from inherited field or method
JAVA0245 0.00JAVA0245 JUnit TestCase with non-trivial constructor
JAVA0246 0.00JAVA0246 JUnit assertXXX statement missing message parameter
JAVA0247 0.00JAVA0247 JUnit 'setUp()' and 'tearDown()' should call super method
JAVA0248 0.00JAVA0248 JUnit method 'setUp' or 'tearDown' with incorrect signature
JAVA0249 0.00JAVA0249 JUnit TestCase 'suite()' should be declared static
JAVA0250 0.00JAVA0250 JUnit TestCase declares testXXX method with incorrect signature
JAVA0251 0.00JAVA0251 Use '%n' for line breaks in printf/format for platform independence
JAVA0252 0.00JAVA0252 'enum' is a Java 1.5 reserved word
JAVA0253 0.00JAVA0253 Not all enum constants consumed in switch statement
JAVA0254 0.00JAVA0254 Use enhanced for loop construct instead of Iterator
JAVA0255 0.00JAVA0255 Result of method invocation not used
JAVA0256 0.00JAVA0256 Assignment of external collection/array to field
JAVA0257 0.00JAVA0257 Use of 'Constant Interface' anti-pattern
JAVA0258 0.00JAVA0258 Implement Iterable for foreach compatibility
JAVA0259 2.00JAVA0259 Return of collection/array field
JAVA0260 0.00JAVA0260 Use 'enum' instead of Enumerated Type pattern
JAVA0261 0.00JAVA0261 Use specialized Enum collection types
JAVA0262 0.00JAVA0262 Use of char in integer context
JAVA0263 0.00JAVA0263 Long literal ends with 'l' instead of 'L'
JAVA0264 0.00JAVA0264 Integer math in long context - check for overflow
JAVA0265 0.00JAVA0265 Use of Throwable.printStackTrace()
JAVA026612.00JAVA0266 Use of System.out
JAVA0267 0.00JAVA0267 Use of System.err
JAVA0269 0.00JAVA0269 Contents of StringBuffer never used
JAVA0270 0.00JAVA0270 Use Java 5.0 enhanced for loop construct to iterate over all elements in an array
JAVA0271 0.00JAVA0271 Minimize use of on-demand (.*) static imports
JAVA0272 0.00JAVA0272 Thread.run() called
JAVA0273 0.00JAVA0273 Non-final derivative of Thread calls start() in constructor
JAVA0274 0.00JAVA0274 Serializable class has a synchronized readObject()
JAVA0275 0.00JAVA0275 Serializable class has a synchronized writeObject() and no other synchronized methods
JAVA0276 0.00JAVA0276 Unnecessary use of String constructor
JAVA0277 0.00JAVA0277 Iterator.next() implementation does not throw NoSuchElementException
JAVA0278 0.00JAVA0278 Unnecessary use of Boolean constructor
JAVA0279 0.00JAVA0279 Serialization method readObject or readObjectNoData calls an overridable method
JAVA0280 0.00JAVA0280 IllegalMonitorStateException caught
JAVA0281 0.00JAVA0281 Iterator.next() not called in loop
JAVA0282 0.00JAVA0282 Call to Iterator.next() in loop which does not test Iterator.hasNext()
JAVA0283 0.00JAVA0283 Control variable not updated in loop body
JAVA0284 0.00JAVA0284 Explicit garbage collection
JAVA0285 0.00JAVA0285 Dereference of potentially null variable
JAVA0286 0.00JAVA0286 Dereference of null variable
JAVA0287 0.00JAVA0287 Unnecessary null check
JAVA0288 0.00JAVA0288 Inconsistent null check
LINES1005.00Number of lines in the source file
LINE_COMMENT10.00Number of line comments
LOC832.00Lines of code
LOGICAL_LINES417.00Number of statements
LOOPS11.00Number of loops
NEST_DEPTH 7.00Maximum nesting depth
OPERANDS1583.00Number of operands
OPERATORS3855.00Number of operators
PARAMS24.00Number of formal parameter declarations
PROGRAM_LENGTH5438.00Halstead program length
PROGRAM_VOCAB491.00Halstead program vocabulary
PROGRAM_VOLUME 0.00Halstead program volume
RETURNS90.00Number of return points from functions
SIZE30616.00Size of the file in bytes
UNIQUE_OPERANDS428.00Number of unique operands
UNIQUE_OPERATORS63.00Number of unique operators
WHITESPACE106.00Number of whitespace lines