| 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.
|
| Modifier and Type | Class | Description |
|---|---|---|
class |
ExecutionVisitor |
This Visitor class may be used for a type-based Java Virtual Machine
simulation.
|
class |
InstConstraintVisitor |
A Visitor class testing for valid preconditions of JVM instructions.
|