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.
|