Class ByteCodeVerifier

java.lang.Object

org.vesalainen.bcc.OpCodeUtil

org.vesalainen.bcc.ByteCodeVerifier

All Implemented Interfaces:

OpCode

public class ByteCodeVerifier
extends OpCodeUtil

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private class	ByteCodeVerifier.Context
private class	ByteCodeVerifier.OperandStack

Field Summary

Fields

Modifier and Type	Field	Description
private Deque<ByteCodeVerifier.Context>	branch
private ClassFile	cf
private byte[]	code
private boolean[]	coverage
private ExceptionTable[]	exceptionTable
private Set<Integer>	goneThrough
private CodeDataInput	in
private Map<Integer, TypeMirror[]>	lvAt
private TypeMirror[]	lvType
private int	maxLocal
private int	maxStack
private MethodCompiler	mc
private int	opCodePosition
private static final TypeMirror	returnAddress
private Map<Integer, Deque<TypeMirror>>	stackAt

Fields inherited from interface OpCode

AALOAD, AASTORE, ACONST_NULL, ALOAD, ALOAD_0, ALOAD_1, ALOAD_2, ALOAD_3, ANEWARRAY, ARETURN, ARRAYLENGTH, ASTORE, ASTORE_0, ASTORE_1, ASTORE_2, ASTORE_3, ATHROW, BALOAD, BASTORE, BIPUSH, BREAKPOINT, CALOAD, CASTORE, CHECKCAST, D2F, D2I, D2L, DADD, DALOAD, DASTORE, DCMPG, DCMPL, DCONST_0, DCONST_1, DDIV, DLOAD, DLOAD_0, DLOAD_1, DLOAD_2, DLOAD_3, DMUL, DNEG, DRETURN, DSTORE, DSTORE_0, DSTORE_1, DSTORE_2, DSTORE_3, DSUB, DUP, DUP_X1, DUP_X2, DUP2, DUP2_X1, DUP2_X2, F2D, F2I, F2L, FADD, FALOAD, FASTORE, FCMPG, FCMPL, FCONST_0, FCONST_1, FCONST_2, FDIV, FLOAD, FLOAD_0, FLOAD_1, FLOAD_2, FLOAD_3, FMUL, FNEG, FREM, FRETURN, FSTORE, FSTORE_0, FSTORE_1, FSTORE_2, FSTORE_3, FSUB, GETFIELD, GETSTATIC, GOTO, GOTO_W, I2B, I2C, I2D, I2F, I2L, I2S, IADD, IALOAD, IAND, IASTORE, ICONST_0, ICONST_1, ICONST_2, ICONST_3, ICONST_4, ICONST_5, ICONST_M1, IDIV, IF_ACMPEQ, IF_ACMPNE, IF_ICMPEQ, IF_ICMPGE, IF_ICMPGT, IF_ICMPLE, IF_ICMPLT, IF_ICMPNE, IFEQ, IFGE, IFGT, IFLE, IFLT, IFNE, IFNONNULL, IFNULL, IINC, ILOAD, ILOAD_0, ILOAD_1, ILOAD_2, ILOAD_3, IMPDEP1, IMPDEP2, IMUL, INEG, INSTANCEOF, INVOKEINTERFACE, INVOKESPECIAL, INVOKESTATIC, INVOKEVIRTUAL, IOR, IREM, IRETURN, ISHL, ISHR, ISTORE, ISTORE_0, ISTORE_1, ISTORE_2, ISTORE_3, ISUB, IUSHR, IXOR, JSR, JSR_W, L2D, L2F, L2I, LADD, LALOAD, LAND, LASTORE, LCMP, LCONST_0, LCONST_1, LDC, LDC_W, LDC2_W, LDIV, LLOAD, LLOAD_0, LLOAD_1, LLOAD_2, LLOAD_3, LMUL, LNEG, LOOKUPSWITCH, LOR, LREM, LRETURN, LSHL, LSHR, LSTORE, LSTORE_0, LSTORE_1, LSTORE_2, LSTORE_3, LSUB, LUSHR, LXOR, MONITORENTER, MONITOREXIT, MULTIANEWARRAY, NEW, NEWARRAY, NOP, NOT_IF_ACMPEQ, NOT_IF_ACMPNE, NOT_IF_ICMPEQ, NOT_IF_ICMPGE, NOT_IF_ICMPGT, NOT_IF_ICMPLE, NOT_IF_ICMPLT, NOT_IF_ICMPNE, NOT_IFEQ, NOT_IFGE, NOT_IFGT, NOT_IFLE, NOT_IFLT, NOT_IFNE, NOT_IFNONNULL, NOT_IFNULL, POP, POP2, PUTFIELD, PUTSTATIC, RET, RETURN, SALOAD, SASTORE, SIPUSH, SWAP, TABLESWITCH, WIDE

Constructor Summary

Constructors

Constructor	Description
ByteCodeVerifier(byte[] code, ExceptionTable[] exceptionTable, ClassFile classFile, MethodCompiler mc)

Method Summary

Modifier and Type	Method	Description
private void	branch(int pc, int offset, ByteCodeVerifier.OperandStack s, TypeMirror[] lv)
private boolean	c1(TypeMirror cls)
private boolean	c2(TypeMirror cls)
private boolean	compare(TypeMirror[] lvBefore, TypeMirror[] lvNow)
private ExecutableElement	getIndexedExecutable(int i)
private TypeMirror	getIndexedType(int i)
private VariableElement	getIndexedVariable(int i)
private TypeMirror	getLocalType(int index)
int	getMaxStack()
private int	run(ByteCodeVerifier.Context ctx)
void	verify()
private void	verify(TypeMirror assignee, TypeMirror assignable)
private void	verify1(TypeMirror cls)
private void	verify2(TypeMirror cls)
private void	verifyByteOrBoolean(TypeMirror cw)
private void	verifyByteOrBooleanArray(TypeMirror cw)
private void	verifyClass(TypeMirror objectRef, ExecutableElement method)
private void	verifyInterfaceClass(TypeMirror objectRef, ExecutableElement method)
private void	verifyLocalType(int index, TypeMirror cls)
static void	verifyMethod(Deque<TypeMirror> stack, ExecutableElement method)
private void	verifyReferenceOrArray(TypeMirror cw)
private void	verifyVirtualClass(TypeMirror objectRef, ExecutableElement method)

Methods inherited from class OpCodeUtil

string

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

returnAddress

private static final TypeMirror returnAddress

cf

private ClassFile cf

branch

private Deque<ByteCodeVerifier.Context> branch

in

private CodeDataInput in

opCodePosition

private int opCodePosition

goneThrough

private Set<Integer> goneThrough

stackAt

private Map<Integer, Deque<TypeMirror>> stackAt

lvAt

private Map<Integer, TypeMirror[]> lvAt

maxLocal

private int maxLocal

maxStack

private int maxStack

code

private byte[] code

exceptionTable

private ExceptionTable[] exceptionTable

mc

private MethodCompiler mc

coverage

private boolean[] coverage

lvType

private TypeMirror[] lvType

Constructor Details

ByteCodeVerifier

public ByteCodeVerifier(byte[] code,
 ExceptionTable[] exceptionTable,
 ClassFile classFile,
 MethodCompiler mc)

Method Details

verify

public void verify()
            throws IOException

Throws:

IOException

branch

private void branch(int pc,
 int offset,
 ByteCodeVerifier.OperandStack s,
 TypeMirror[] lv)

compare

private boolean compare(TypeMirror[] lvBefore,
 TypeMirror[] lvNow)

run

private int run(ByteCodeVerifier.Context ctx)
         throws IOException,
ClassNotFoundException

Throws:

IOException

ClassNotFoundException

verify

private void verify(TypeMirror assignee,
 TypeMirror assignable)

verify1

private void verify1(TypeMirror cls)

verify2

private void verify2(TypeMirror cls)

c1

private boolean c1(TypeMirror cls)

c2

private boolean c2(TypeMirror cls)

getMaxStack

public int getMaxStack()

getLocalType

private TypeMirror getLocalType(int index)

verifyLocalType

private void verifyLocalType(int index,
 TypeMirror cls)

verifyClass

private void verifyClass(TypeMirror objectRef,
 ExecutableElement method)

verifyVirtualClass

private void verifyVirtualClass(TypeMirror objectRef,
 ExecutableElement method)

verifyInterfaceClass

private void verifyInterfaceClass(TypeMirror objectRef,
 ExecutableElement method)

verifyReferenceOrArray

private void verifyReferenceOrArray(TypeMirror cw)

verifyByteOrBoolean

private void verifyByteOrBoolean(TypeMirror cw)

verifyByteOrBooleanArray

private void verifyByteOrBooleanArray(TypeMirror cw)

getIndexedVariable

private VariableElement getIndexedVariable(int i)

getIndexedExecutable

private ExecutableElement getIndexedExecutable(int i)

getIndexedType

private TypeMirror getIndexedType(int i)

verifyMethod

public static void verifyMethod(Deque<TypeMirror> stack,
 ExecutableElement method)
                         throws ClassNotFoundException

Throws:

ClassNotFoundException