|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ExecutionVisitor | |
|---|---|
| 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. |
| Uses of ExecutionVisitor in org.apache.bcel.verifier.structurals |
|---|
| Methods in org.apache.bcel.verifier.structurals with parameters of type ExecutionVisitor | |
|---|---|
boolean |
InstructionContext.execute(Frame inFrame,
ArrayList<InstructionContext> executionPredecessors,
InstConstraintVisitor icv,
ExecutionVisitor ev)
This method symbolically executes the Instruction held in the InstructionContext. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||