AbstractGraphReorganizer
extends Object| java.lang.Object | |
| ↳ | com.pnfsoftware.jeb.core.units.code.android.controlflow.AbstractGraphReorganizer<InsnType extends com.pnfsoftware.jeb.core.units.code.ILocatedInstruction> |
Class Overview
Facility for CFG graph nodes reordering and graph address shifting.
Summary
| Public Constructors | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| AbstractGraphReorganizer(CFG<InsnType> cfg) | |||||||||||
| Public Methods | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Map<Long, Long> |
getConversionMap()
Retrieve a map holding the old offsets to their corresponding new offsets, in the reorganized
CFG.
| ||||||||||
| CFG<InsnType> |
getReorganizedCfg()
Retrieve a CFG reorganized by
reorder(int[]). | ||||||||||
| CFG<InsnType> | reorder(int[] newOrder) | ||||||||||
| void |
shift(int shsize)
Shift the CFG 'downward', ie, all addresses.
| ||||||||||
| Protected Methods | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| abstract boolean |
canFallthrough(InsnType insn)
Determine if the provided instruction is a flow breaker that falls-through (or may, if it's a
conditional branch) into the first instruction of the next block.
| ||||||||||
| abstract InsnType | createNop(long insnOffset, int insnSize) | ||||||||||
| abstract InsnType | createTrampoline(long insnOffset, long tempTarget) | ||||||||||
| abstract boolean |
hasTargets(InsnType insn)
Determine whether the instruction has targets that may be updated.
| ||||||||||
| abstract InsnType |
updateInstructionOffset(InsnType insn, long insnOffset)
Update or copy the provided instruction and set its offset.
| ||||||||||
| abstract void | updateTargets(InsnType insn, Map<Long, Long> map) | ||||||||||
| abstract void | updateTrampolineTarget(InsnType insn, long target) | ||||||||||
|
[Expand]
Inherited Methods | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
From class
java.lang.Object
| |||||||||||
Public Constructors
Public Methods
public Map<Long, Long> getConversionMap ()
Retrieve a map holding the old offsets to their corresponding new offsets, in the reorganized CFG.
public CFG<InsnType> reorder (int[] newOrder)
Parameters
| newOrder | an array of 0-based indices from 0 to n-1; providing [0, 1, ..., n-1] does nothing |
|---|
Returns
- a reordered CFG; null if the provided order was the original order
public void shift (int shsize)
Shift the CFG 'downward', ie, all addresses. This method works in-place; no new CFG is
created (unlike reorder(int[])).
Parameters
| shsize | a strictly positive value; else the method will throw |
|---|
Protected Methods
protected abstract boolean canFallthrough (InsnType insn)
Determine if the provided instruction is a flow breaker that falls-through (or may, if it's a conditional branch) into the first instruction of the next block.
protected abstract InsnType createNop (long insnOffset, int insnSize)
protected abstract InsnType createTrampoline (long insnOffset, long tempTarget)
protected abstract boolean hasTargets (InsnType insn)
Determine whether the instruction has targets that may be updated.
protected abstract InsnType updateInstructionOffset (InsnType insn, long insnOffset)
Update or copy the provided instruction and set its offset. It is up to the implementation to decide whether instructions should be copied (consequence: the original CFG may be fully preserved, at the cost of speed and resources) or reused.
Parameters
| insn | original instruction |
|---|---|
| insnOffset | new offset |
Returns
- the provided instruction (updated), or a new (copy) of the instruction with the provided offset
protected abstract void updateTargets (InsnType insn, Map<Long, Long> map)
protected abstract void updateTrampolineTarget (InsnType insn, long target)
Parameters
| insn | must be a trampoline instruction |
|---|