java.lang.Object | |
↳ | com.pnfsoftware.jeb.core.units.code.android.controlflow.BasicBlock<InsnType extends com.pnfsoftware.jeb.core.units.code.ILocatedInstruction> |
This class represents a basic block of generic instructions.
This class is to be deprecated and used only by the Android package.
Public Constructors | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
BasicBlock()
Create a new empty basic block.
|
Public Methods | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
void |
add(InsnType insn)
DANGEROUS! Append an instruction to the block. | ||||||||||
int |
allinsize()
Get the total number of input edges to this block.
| ||||||||||
int | alloutsize() | ||||||||||
boolean | canThrow() | ||||||||||
InsnType |
get(int index)
Get the instruction at the specified index.
| ||||||||||
long | getAddressOfInstruction(int index) | ||||||||||
List<BasicBlock<InsnType>> | getAllInputBlocks() | ||||||||||
List<BasicBlock<InsnType>> |
getAllOutputBlocks()
Get regular and irregular output blocks.
| ||||||||||
long |
getEndAddress()
Address following the last instruction of the block (ie, last exclusive address).
| ||||||||||
long |
getFirstAddress()
Address of first instruction in the block.
| ||||||||||
int | getIndexOfInstruction(long address) | ||||||||||
BasicBlock<InsnType> |
getInputBlock(int index)
Get a regular input block.
| ||||||||||
List<BasicBlock<InsnType>> |
getInputBlocks()
Get the regular input blocks.
| ||||||||||
InsnType | getInstruction(int index) | ||||||||||
List<InsnType> |
getInstructions()
Get a copy of the list of instructions that make up this basic block.
| ||||||||||
BasicBlock<InsnType> |
getIrregularInputBlock(int index)
Get an irregular input block.
| ||||||||||
List<BasicBlock<InsnType>> | getIrregularInputBlocks() | ||||||||||
BasicBlock<InsnType> |
getIrregularOutputBlock(int index)
Get an irregular output block.
| ||||||||||
List<BasicBlock<InsnType>> |
getIrregularOutputBlocks()
Get irregular output blocks.
| ||||||||||
InsnType |
getLast()
Get the last instruction of the block.
| ||||||||||
long |
getLastAddress()
Address of last instruction in the block.
| ||||||||||
BasicBlock<InsnType> |
getOutputBlock(int index)
Get a regular output block.
| ||||||||||
List<BasicBlock<InsnType>> |
getOutputBlocks()
Get the regular output blocks.
| ||||||||||
int |
insize()
Get the number of regular input edges to this block.
| ||||||||||
int |
irrinsize()
Get the number of irregular input edges to this block.
| ||||||||||
int | irroutsize() | ||||||||||
boolean |
isEmpty()
Determine if the block has 0 instruction.
| ||||||||||
boolean |
isInfiniteLoop()
Check if the block has a single regular out-edge which points to itself.
| ||||||||||
boolean |
isSelfReferencing()
Check if the block has at least one regular out-edge pointing to itself.
| ||||||||||
int | outsize() | ||||||||||
boolean |
remove(int index)
DANGEROUS! Remove an instruction from the block. | ||||||||||
int |
size()
Get the number of instructions in the block.
| ||||||||||
String | toString() |
[Expand]
Inherited Methods | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
![]() | |||||||||||
![]() |
Create a new empty basic block.
DANGEROUS! Append an instruction to the block.
The instruction is appended to the block. The edges are not updated.
The caller is solely responsible for maintaining the consistency of the block and of the CFG.
insn | the instruction to be appended |
---|
Get the total number of input edges to this block.
Get the instruction at the specified index.
Get regular and irregular output blocks.
Address following the last instruction of the block (ie, last exclusive address).
Address of first instruction in the block.
Get a regular input block.
index | block index |
---|
Get the regular input blocks.
Get a copy of the list of instructions that make up this basic block.
Get an irregular input block.
index | block index |
---|
Get irregular output blocks.
Get the last instruction of the block.
Address of last instruction in the block.
Get the regular output blocks.
Get the number of regular input edges to this block.
Get the number of irregular input edges to this block.
Determine if the block has 0 instruction.
Check if the block has a single regular out-edge which points to itself.
Check if the block has at least one regular out-edge pointing to itself.
DANGEROUS! Remove an instruction from the block.
This method may have the nasty side-effect of making the block empty. In that case, it returns true, and it is the caller's responsibility to refresh the CFG at their earliest convenience.
Another issue the client needs to take care of is the removal of the last instruction, which should only happen on very specific conditions, since the trailing instruction typically conditions the out-edges of the block.
Get the number of instructions in the block.