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 and Description |
---|---|
InstructionContext |
ControlFlowGraph.contextOf(InstructionHandle inst)
Returns the InstructionContext of a given instruction.
|
InstructionContext[] |
ControlFlowGraph.contextsOf(InstructionHandle[] insts)
Returns the InstructionContext[] of a given InstructionHandle[],
in a naturally ordered manner.
|
InstructionContext[] |
ControlFlowGraph.getInstructionContexts()
Returns an InstructionContext[] with all the InstructionContext instances
for the method whose control flow is represented by this ControlFlowGraph
(NOT ORDERED!).
|
InstructionContext[] |
InstructionContext.getSuccessors()
Returns the usual control flow successors.
|
Modifier and Type | Method and Description |
---|---|
boolean |
InstructionContext.execute(Frame inFrame,
ArrayList<InstructionContext> executionPredecessors,
InstConstraintVisitor icv,
ExecutionVisitor ev)
This method symbolically executes the Instruction
held in the InstructionContext.
|
Frame |
InstructionContext.getOutFrame(ArrayList<InstructionContext> executionPredecessors)
This method returns the outgoing execution frame situation;
therefore it has to be calculated by execute(Frame, ArrayList)
first.
|
Copyright © 2004–2022 The Apache Software Foundation. All rights reserved.