Review

finding-6

org/apache/commons/bcel6/verifier/structurals/InstConstraintVisitor.java

visitARRAYLENGTH(ARRAYLENGTH)

class InstConstraintVisitor {
    /**
     * Ensures the specific preconditions of the said instruction.
     */
    @Override
    public void visitARRAYLENGTH(ARRAYLENGTH o){
        Type arrayref = stack().peek(0);
        arrayrefOfArrayType(o, arrayref);
    }

}