- <init>
Creates a new EvaluationShrinker.
- isAnyLargerThan
Returns whether any of the given instruction offsets (at least one) is larger
than the given offset.
- pushOpcode
Returns the opcode of a push instruction corresponding to the given
computational type.
- insertInstruction
Inserts or replaces the given instruction at the given offset.
- insertInstructions
Inserts or replaces the given instruction at the given offset.
- initializeNecessary
Initializes the necessary data structure.
- isAllSmallerThanOrEqual
Returns whether all of the given instruction offsets (at least one) are smaller
than or equal to the
- isAnyInstructionNecessary
- isAnyUnnecessaryInstructionBranchingOver
Returns whether any traced but unnecessary instruction between the two given
offsets is branching ov
- isInstructionNecessary
- isStackEntriesNecessaryAfter
Returns whether the given stack entry is present after execution of the
instruction at the given off
- isStackEntryNecessaryAfter