See: Description
| Interface | Description |
|---|---|
| InstructionContext |
An InstructionContext offers convenient access to information like control flow successors and such.
|
| Subroutine |
This interface defines properties of JVM bytecode subroutines.
|
| Class | Description |
|---|---|
| ControlFlowGraph |
This class represents a control flow graph of a method.
|
| 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.
|
| 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.
|
| GenericArray |
A placeholder class that can be used to create an ObjectType of which has some of the properties arrays have.
|
| InstConstraintVisitor |
A Visitor class testing for valid preconditions of JVM instructions.
|
| 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.
|
| 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.
|
| Subroutines |
Instances of this class contain information about the subroutines found in a code array of a method.
|
| 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.