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 | Method | Description |
---|---|---|
boolean |
InstructionContext.execute(Frame inFrame,
java.util.ArrayList executionPredecessors,
InstConstraintVisitor icv,
ExecutionVisitor ev) |
This method symbolically executes the Instruction
held in the InstructionContext.
|