Review

finding-0

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

visitCALOAD(CALOAD)

class InstConstraintVisitor {
    /**
     * Ensures the specific preconditions of the said instruction.
     */
    @Override
    public void visitCALOAD(CALOAD o){
        Type arrayref = stack().peek(1);
        Type index = stack().peek(0);

        indexOfInt(o, index);
        arrayrefOfArrayType(o, arrayref);
    }

}