Apache Jakarta BCEL

AALOAD - Load reference from array

AASTORE

AASTORE - Store into reference array

AccessFlags

Super class for all objects that have modifiers like private, final, ...

ACONST_NULL

ACONST_NULL - Push null reference

ALOAD

ALOAD - Load reference from local variable

ANEWARRAY

ANEWARRAY - Create new array of references

ARETURN

ARETURN - Return reference from method

ArithmeticInstruction

Super class for the family of arithmetic instructions.

ArrayInstruction

Super class for instructions dealing with array access such as IALOAD.

ARRAYLENGTH

ARRAYLENGTH - Get length of array

ArrayType

Denotes array type, such as int[][]

ASTORE

ASTORE - Store reference into local variable

ATHROW

ATHROW - Throw exception

Attribute

Abstract super class for Attribute objects.

BALOAD

BALOAD - Load byte or boolean from array

BasicType

Denotes basic type such as int.

BASTORE

BASTORE - Store into byte or boolean array

BCELifier

This class takes a given JavaClass object and converts it to a Java program that creates that very class using BCEL.

BIPUSH

BIPUSH - Push byte on stack

BranchHandle

BranchHandle is returned by specialized InstructionList.append() whenever a BranchInstruction is appended.

BranchInstruction

Abstract super class for branching instructions like GOTO, IFEQ, etc..

BREAKPOINT

BREAKPOINT, JVM dependent, ignored by default

ByteSequence

Utility class that implements a sequence of bytes which can be read via the `readByte()' method.

CALOAD

CALOAD - Load char from array

CASTORE

CASTORE - Store into char array

CHECKCAST

CHECKCAST - Check whether object is of given type

Class2HTML

Read class file(s) and convert them into HTML files.

ClassGen

Template class for building up a java class.

ClassLoader

Drop in replacement for the standard class loader of the JVM.

ClassLoaderRepository

The repository maintains information about which classes have been loaded.

ClassParser

Wrapper class that parses a given Java .class file.

ClassPath

Responsible for loading (class) files from the CLASSPATH.

ClassQueue

Utility class implementing a (typesafe) queue of JavaClass objects.

ClassSet

Utility class implementing a (typesafe) set of JavaClass objects.

ClassStack

Utility class implementing a (typesafe) stack of JavaClass objects.

ClassVector

Utility class implementing a (typesafe) collection of JavaClass objects.

Code

This class represents a chunk of Java byte code contained in a method.

CodeException

This class represents an entry in the exception table of the Code attribute and is used only there.

CodeExceptionGen

This class represents an exception handler, i.e., specifies the region where a handler is active and an instruction where the actual handling is done.

Constant

Abstract superclass for classes to represent the different constant types in the constant pool of a class file.

ConstantClass

This class is derived from the abstract Constant class and represents a reference to a (external) class.

ConstantCP

Abstract super class for Fieldref and Methodref constants.

ConstantDouble

This class is derived from the abstract Constant class and represents a reference to a Double object.

ConstantFieldref

This class represents a constant pool reference to a field.

ConstantFloat

This class is derived from the abstract Constant class and represents a reference to a float object.

ConstantInteger

ConstantInterfaceMethodref

This class is derived from the abstract Constant class and represents a reference to an int object.

This class represents a constant pool reference to an interface method.

ConstantLong

This class is derived from the abstract Constant class and represents a reference to a long object.

ConstantMethodref

This class represents a constant pool reference to a method.

ConstantNameAndType

This class is derived from the abstract Constant class and represents a reference to the name and signature of a field or method.

ConstantPool

This class represents the constant pool, i.e., a table of constants, of a parsed classfile.

ConstantPoolGen

This class is used to build up a constant pool.

ConstantString

This class is derived from the abstract Constant class and represents a reference to a String object.

ConstantUtf8

This class is derived from the abstract Constant class and represents a reference to a Utf8 encoded string.

ConstantValue

This class is derived from Attribute and represents a constant value, i.e., a default value for initializing a class field.

ControlFlowGraph

This class represents a control flow graph of a method.

ConversionInstruction

Super class for the x2y family of instructions.

CPInstruction

Abstract super class for instructions that use an index into the constant pool such as LDC, INVOKEVIRTUAL, etc.

D2F

D2F - Convert double to float

D2I

D2I - Convert double to int

D2L

D2L - Convert double to long

DADD

DADD - Add doubles

DALOAD

DALOAD - Load double from array

DASTORE

DASTORE - Store into double array

DCMPG

DCMPG - Compare doubles: value1 > value2

DCMPL

DCMPL - Compare doubles: value1 < value2

DCONST

DCONST - Push 0.0 or 1.0, other values cause an exception

DDIV

DDIV - Divide doubles

Deprecated

This class is derived from Attribute and denotes that this is a deprecated method.

DescendingVisitor

Traverses a JavaClass with another Visitor object 'piggy-backed' that is applied to all components of a JavaClass object.

DLOAD

DLOAD - Load double from local variable

DMUL

DMUL - Multiply doubles

DNEG

DNEG - Negate double

DOUBLE_Upper

This class represents the upper half of a DOUBLE variable.

DREM

DREM - Remainder of doubles

DRETURN

DRETURN - Return double from method

DSTORE

DSTORE - Store double into local variable

DSUB

DSUB - Substract doubles

DUP

DUP - Duplicate top operand stack word

DUP2

DUP2 - Duplicate two top operand stack words

DUP2_X1

DUP2_X1 - Duplicate two top operand stack words and put three down

DUP2_X2

DUP2_X2 - Duplicate two top operand stack words and put four down

DUP_X1

DUP_X1 - Duplicate top operand stack word and put two down

DUP_X2

DUP_X2 - Duplicate top operand stack word and put three down

EmptyVisitor

Visitor with empty method bodies, can be extended and used in conjunction with the DescendingVisitor class, e.g.

EmptyVisitor

Supplies empty method bodies to be overridden by subclasses.

ExceptionHandler

This class represents an exception handler; that is, an ObjectType representing a subclass of java.lang.Throwable and the instruction the handler starts off (represented by an InstructionContext).

ExceptionHandlers

This class allows easy access to ExceptionHandler objects.

ExceptionTable

This class represents the table of exceptions that are thrown by a method.

ExecutionVisitor

This Visitor class may be used for a type-based Java Virtual Machine simulation.

F2D

F2D - Convert float to double

F2I

F2I - Convert float to int

F2L

F2L - Convert float to long

FADD

FADD - Add floats

FALOAD

FALOAD - Load float from array

FASTORE

FASTORE - Store into float array

FCMPG

FCMPG - Compare floats: value1 > value2

FCMPL

FCMPL - Compare floats: value1 < value2

FCONST

FCONST - Push 0.0, 1.0 or 2.0, other values cause an exception

FDIV

FDIV - Divide floats

Field

This class represents the field info structure, i.e., the representation for a variable in the class.

FieldGen

Template class for building up a field.

FieldGenOrMethodGen

Super class for FieldGen and MethodGen objects, since they have some methods in common!

FieldInstruction

Super class for the GET/PUTxxx family of instructions.

FieldOrMethod

Abstract super class for fields and methods.

FieldOrMethod

Super class for InvokeInstruction and FieldInstruction, since they have some methods in common!

FLOAD

FLOAD - Load float from local variable

FMUL

FMUL - Multiply floats

FNEG

FNEG - Negate float

Frame

This class represents a JVM execution frame; that means, a local variable array and an operand stack.

FREM

FREM - Remainder of floats

FRETURN

FRETURN - Return float from method

FSTORE

FSTORE - Store float into local variable

FSUB

FSUB - Substract floats

GenericArray

A placeholder class that can be used to create an ObjectType of which has some of the properties arrays have.

GETFIELD

GETFIELD - Fetch field from object

GETSTATIC

GETSTATIC - Fetch static field from class

GOTO

GOTO - Branch always (to relative offset, not absolute address)

GotoInstruction

Super class for GOTO

GOTO_W

GOTO_W - Branch always (to relative offset, not absolute address)

GraphicalVerifier

A graphical user interface application demonstrating JustIce.

I2B

I2B - Convert int to byte

I2C

I2C - Convert int to char

I2D

I2D - Convert int to double

I2F

I2F - Convert int to float

I2L

I2L - Convert int to long

I2S

I2S - Convert int to short

IADD

IADD - Add ints

IALOAD

IALOAD - Load int from array

IAND

IAND - Bitwise AND int

IASTORE

IASTORE - Store into int array

ICONST

ICONST - Push value between -1, ..., 5, other values cause an exception

IDIV

IDIV - Divide ints

IFEQ

IFEQ - Branch if int comparison with zero succeeds

IFGE

IFGE - Branch if int comparison with zero succeeds

IFGT

IFGT - Branch if int comparison with zero succeeds

IfInstruction

Super class for the IFxxx family of instructions.

IFLE

IFLE - Branch if int comparison with zero succeeds

IFLT

IFLT - Branch if int comparison with zero succeeds

IFNE

IFNE - Branch if int comparison with zero succeeds

IFNONNULL

IFNONNULL - Branch if reference is not null

IFNULL

IFNULL - Branch if reference is not null

IF_ACMPEQ

IF_ACMPEQ - Branch if reference comparison succeeds

IF_ACMPNE

IF_ACMPNE - Branch if reference comparison doesn't succeed

IF_ICMPEQ

IF_ICMPEQ - Branch if int comparison succeeds

IF_ICMPGE

IF_ICMPGE - Branch if int comparison succeeds

IF_ICMPGT

IF_ICMPGT - Branch if int comparison succeeds

IF_ICMPLE

IF_ICMPLE - Branch if int comparison succeeds

IF_ICMPLT

IF_ICMPLT - Branch if int comparison succeeds

IF_ICMPNE

IF_ICMPNE - Branch if int comparison doesn't succeed

IINC

IINC - Increment local variable by constant

ILOAD

ILOAD - Load int from local variable onto stack

IMPDEP1

IMPDEP1 - Implementation dependent

IMPDEP2

IMPDEP2 - Implementation dependent

IMUL

IMUL - Multiply ints

INEG

INEG - Negate int

InnerClass

This class represents a inner class attribute, i.e., the class indices of the inner and outer classes, the name and the attributes of the inner class.

InnerClasses

This class is derived from Attribute and denotes that this class is an Inner class of another.

INSTANCEOF

INSTANCEOF - Determine if object is of given type

InstConstraintVisitor

A Visitor class testing for valid preconditions of JVM instructions.

Instruction

InstructionConstants.Clinit

Abstract super class for all Java byte codes.

No description provided.

InstructionFactory

Instances of this class may be used, e.g., to generate typed versions of instructions.

InstructionFinder

InstructionFinder is a tool to search for given instructions patterns, i.e., match sequences of instructions in an instruction list via regular expressions.

InstructionHandle

Instances of this class give users a handle to the instructions contained in an InstructionList.

InstructionList

This class is a container for a list of Instruction objects.

IntList

A small utility class representing a set of basic int values.

InvokeInstruction

Super class for the INVOKExxx family of instructions.

INVOKEINTERFACE

INVOKEINTERFACE - Invoke interface method

INVOKESPECIAL

INVOKESPECIAL - Invoke instance method; special handling for superclass, private and instance initialization method invocations

INVOKESTATIC

INVOKESTATIC - Invoke a class (static) method

INVOKEVIRTUAL

INVOKEVIRTUAL - Invoke instance method; dispatch based on class

IOR

IOR - Bitwise OR int

IREM

IREM - Remainder of int

IRETURN

IRETURN - Return int from method

ISHL

ISHL - Arithmetic shift left int

ISHR

ISHR - Arithmetic shift right int

ISTORE

ISTORE - Store int from stack into local variable

ISUB

ISUB - Substract ints

IUSHR

IUSHR - Logical shift right int

IXOR

IXOR - Bitwise XOR int

JavaClass

Represents a Java class, i.e., the data structures, constant pool, fields, methods and commands contained in a Java .class file.

JavaWrapper

Java interpreter replacement, i.e., wrapper that uses its own ClassLoader to modify/generate classes as they're requested.

JSR

JSR - Jump to subroutine

JsrInstruction

Super class for JSR - Jump to subroutine

JSR_W

JSR_W - Jump to subroutine

L2D

L2D - Convert long to double

L2F

L2F - Convert long to float

L2I

L2I - Convert long to int

LADD

LADD - Add longs

LALOAD

LALOAD - Load long from array

LAND

LAND - Bitwise AND longs

LASTORE

LASTORE - Store into long array

LCMP

LCMP - Compare longs:

LCONST

LCONST - Push 0 or 1, other values cause an exception

LDC

LDC - Push item from constant pool.

LDC2_W

LDC2_W - Push long or double from constant pool

LDC_W

LDC_W - Push item from constant pool (wide index)

LDIV

LDIV - Divide longs

LineNumber

This class represents a (PC offset, line number) pair, i.e., a line number in the source that corresponds to a relative address in the byte code.

LineNumberGen

This class represents a line number within a method, i.e., give an instruction a line number corresponding to the source code line.

LineNumberTable

This class represents a table of line numbers for debugging purposes.

LLOAD

LLOAD - Load long from local variable

LMUL

LMUL - Multiply longs

LNEG

LNEG - Negate long

LoadInstruction

Denotes an unparameterized instruction to load a value from a local variable, e.g.

LocalVariable

This class represents a local variable within a method.

LocalVariableGen

This class represents a local variable within a method.

LocalVariableInfo

A utility class holding the information about the name and the type of a local variable in a given slot (== index).

LocalVariableInstruction

Abstract super class for instructions dealing with local variables.

LocalVariables

This class implements an array of local variables used for symbolic JVM simulation.

LocalVariablesInfo

A utility class holding the information about the names and the types of the local variables in a given method.

LocalVariableTable

This class represents colection of local variables in a method.

LONG_Upper

This class represents the upper half of a LONG variable.

LOOKUPSWITCH

LOOKUPSWITCH - Switch with unordered set of values

LOR

LOR - Bitwise OR long

LREM

LREM - Remainder of long

LRETURN

LRETURN - Return long from method

LSHL

LSHL - Arithmetic shift left long

LSHR

LSHR - Arithmetic shift right long

LSTORE

LSTORE - Store long into local variable

LSUB

LSUB - Substract longs

LUSHR

LUSHR - Logical shift right long

LXOR

LXOR - Bitwise XOR long

Method

This class represents the method info structure, i.e., the representation for a method in the class.

MethodGen

Template class for building up a method.

MONITORENTER

MONITORENTER - Enter monitor for object

MONITOREXIT

MONITOREXIT - Exit monitor for object

MULTIANEWARRAY

MULTIANEWARRAY - Create new mutidimensional array of references

NativeVerifier

The NativeVerifier class implements a main(String[] args) method that's roughly compatible to the one in the Verifier class, but that uses the JVM's internal verifier for its class file verification.

NEW

NEW - Create new object

NEWARRAY

NEWARRAY - Create new array of basic type (int, short, ...)

NOP

NOP - Do nothing

ObjectType

Denotes reference such as java.lang.String.

OperandStack

This class implements a stack used for symbolic JVM stack simulation.

Pass1Verifier

This PassVerifier verifies a class file according to pass 1 as described in The Java Virtual Machine Specification, 2nd edition.

Pass2Verifier

This PassVerifier verifies a class file according to pass 2 as described in The Java Virtual Machine Specification, 2nd edition.

Pass3aVerifier

This PassVerifier verifies a class file according to pass 3, static part as described in The Java Virtual Machine Specification, 2nd edition.

Pass3bVerifier

This PassVerifier verifies a method of class file according to pass 3, so-called structural verification as described in The Java Virtual Machine Specification, 2nd edition.

PassVerifier

A PassVerifier actually verifies a class file; it is instantiated by a Verifier.

PMGClass

This class is derived from Attribute and represents a reference to a PMG attribute.

POP

POP - Pop top operand stack word

POP2

POP2 - Pop two top operand stack words

PUSH

Wrapper class for push operations, which are implemented either as BIPUSH, LDC or xCONST_n instructions.

PUTFIELD

PUTFIELD - Put field in object

PUTSTATIC

PUTSTATIC - Put static field in class

ReferenceType

Super class for object and array types.

Repository

org.apache.bcel

The repository maintains informations about class interdependencies, e.g., whether a class is a sub-class of another.

RET

RET - Return from subroutine

RETURN

RETURN - Return from void method

ReturnaddressType

Returnaddress, the type JSR or JSR_W instructions push upon the stack.

ReturnInstruction

Super class for the xRETURN family of instructions.

SALOAD

SALOAD - Load short from array

SASTORE

SASTORE - Store into short array

Select

Select - Abstract super class for LOOKUPSWITCH and TABLESWITCH instructions.

Signature

This class is derived from Attribute and represents a reference to a GJ attribute.

SIPUSH

SIPUSH - Push short

SourceFile

This class is derived from Attribute and represents a reference to the source file of this class.

StackInstruction

Super class for stack operations like DUP and POP.

StackMap

This class represents a stack map attribute used for preverification of Java classes for the Java 2 Micro Edition (J2ME).

StackMapEntry

This class represents a stack map entry recording the types of local variables and the the of stack items at a given byte code offset.

StackMapType

This class represents the type of a local variable or item on stack used in the StackMap entries.

StoreInstruction

Denotes an unparameterized instruction to store a value into a local variable, e.g.

StringRepresentation

BCEL's Node classes (those from the classfile API that accept() Visitor instances) have toString() methods that were not designed to be robust, this gap is closed by this class.

Subroutines

Instances of this class contain information about the subroutines found in a code array of a method.

SWAP

SWAP - Swa top operand stack word

SWITCH

SWITCH - Branch depending on int value, generates either LOOKUPSWITCH or TABLESWITCH instruction, depending on whether the match values (int[]) can be sorted with no gaps between the numbers.

Synthetic

This class is derived from Attribute and declares this class as `synthetic', i.e., it needs special handling.

SyntheticRepository

This repository is used in situations where a Class is created outside the realm of a ClassLoader.

TABLESWITCH

TABLESWITCH - Switch within given range of values, i.e., low..high

TransitiveHull

This class has a main method implementing a demonstration program of how to use the VerifierFactoryObserver.

Type

Abstract super class for all possible java types, namely basic types such as int, object types like String and array types, e.g.

UninitializedObjectType

This class represents an uninitialized object type; see The Java Virtual Machine Specification, Second Edition, page 147: 4.9.4 for more details.

Unknown

This class represents a reference to an unknown (i.e., application-specific) attribute of a class.

Utility

org.apache.bcel.verifier.exc

Utility functions that do not really belong to any class in particular.

Utility

A utility class providing convenience methods concerning Throwable instances.

VerificationResult

A VerificationResult is what a PassVerifier returns after verifying.

Verifier

A Verifier instance is there to verify a class file according to The Java Virtual Machine Specification, 2nd Edition.

VerifierAppFrame

This class implements a machine-generated frame for use with the GraphicalVerfifier.

VerifierFactory

This class produces instances of the Verifier class.

VerifierFactoryListModel

This class implements an adapter; it implements both a Swing ListModel and a VerifierFactoryObserver.

VerifyDialog