Review

finding-8

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

visitLDC(LDC)

class ExecutionVisitor {
    /** Symbolically executes the corresponding Java Virtual Machine instruction. */ 
    @Override
    public void visitLDC(LDC o){
        Constant c = cpg.getConstant(o.getIndex());
        if (c instanceof ConstantInteger){
            stack().push(Type.INT);
        }
        if (c instanceof ConstantFloat){
            stack().push(Type.FLOAT);
        }
        if (c instanceof ConstantString){
            stack().push(Type.STRING);
        }
        if (c instanceof ConstantClass){
            stack().push(Type.CLASS);
        }
    }
}