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 and 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.
|
Copyright © 2004–2022 The Apache Software Foundation. All rights reserved.