- <init>
Creates a new PartialEvaluator, based on an existing one.
- branchOrigins
Returns the instruction offsets that branch to the given instruction offset.
- branchTargets
Returns the instruction offsets to which the given instruction offset branches.
- evaluateExceptionHandlers
Evaluates the exception handlers covering and targeting the given instruction
range in the given cod
- evaluateInstructionBlock
Evaluates a block of instructions, starting at the given offset and ending at a
branch instruction,
- evaluateInstructionBlockAndExceptionHandlers
Evaluates the instruction block and the exception handlers covering the given
instruction range in t
- evaluateSingleInstructionBlock
Evaluates a block of instructions, starting at the given offset and ending at a
branch instruction,
- evaluateSubroutine
Evaluates a subroutine and its exception handlers, starting at the given offset
and ending at a subr
- generalize
Generalizes the results of this partial evaluator with those of another given
partial evaluator, ove
- generalizeVariables
Generalize the local variable frames of a block of instructions.
- getStackAfter
Returns the stack after execution of the instruction at the given offset.
- getStackBefore
Returns the stack before execution of the instruction at the given offset.