Review

finding-9

/mubench/checkouts/bcel/24014e5/build/src/main/java/org/apache/commons/bcel6/verifier/structurals/InstConstraintVisitor.java

visitSASTORE(SASTORE)

class InstConstraintVisitor {
    /**
     * Ensures the specific preconditions of the said instruction.
     */
    @Override
    public void visitSASTORE(SASTORE o){
        if (stack().peek() != Type.INT){
            constraintViolated(o, "The value at the stack top is not of type 'int', but of type '"+stack().peek()+"'.");
        }
        indexOfInt(o, stack().peek(1));
        if (stack().peek(2) == Type.NULL){
            return;
        }
        if (! (stack().peek(2) instanceof ArrayType)){
            constraintViolated(o, "Stack next-to-next-to-top must be of type short[] but is '"+stack().peek(2)+"'.");
        }
        Type t = ((ArrayType) (stack().peek(2))).getBasicType();
        if (t != Type.SHORT){
            constraintViolated(o, "Stack next-to-next-to-top must be of type short[] but is '"+stack().peek(2)+"'.");
        }
    }

}