| Package | Description |
|---|---|
| org.apache.bcel.verifier.structurals |
Provides a PassVerifier class mostly used internally by JustIce, yielding a control flow graph for public use as
a nice side effect.
|
| Class and Description |
|---|
| 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).
|
| ExecutionVisitor
This Visitor class may be used for a type-based Java Virtual Machine simulation.
|
| Frame
This class represents a JVM execution frame; that means, a local variable array and an operand stack.
|
| InstConstraintVisitor
A Visitor class testing for valid preconditions of JVM instructions.
|
| InstructionContext
An InstructionContext offers convenient access to information like control flow successors and such.
|
| LocalVariables
This class implements an array of local variables used for symbolic JVM simulation.
|
| OperandStack
This class implements a stack used for symbolic JVM stack simulation.
|
| Subroutine
This interface defines properties of JVM bytecode subroutines.
|
| UninitializedObjectType
This class represents an uninitialized object type; see The Java Virtual Machine Specification, Second Edition, page
147: 4.9.4 for more details.
|
Copyright © 2004–2022 The Apache Software Foundation. All rights reserved.