microprobe.code.cfg.Cfg

class Cfg

Bases: object

Class to represent the control flow graph of a building block.

__init__()

Methods

__init__()
add_bbl([bbl, size, instructions])	Adds a basic block to the control flow graph of the specified size.
add_bbls(bbls)	Adds a list of basic blocks to the control flow graph.
get_bbl(index)	Returns the basic block at the specified index
index(instr)	Returns index of the basic block containing the given instruction.
last_bbl()	Returns the last basic block of the CFG

Attributes

bbls	List of basic blocks in the CFG (list of Bbl).

---

add_bbl(bbl: Bbl | None = None, size: int = 1, instructions: List[Instruction] | None = None)

Adds a basic block to the control flow graph of the specified size.

Parameters:

• bbl (Bbl) – Basic block to add (if none, one is created) (Default value = None)

• size (:int) – Size of the new basic block (Default value = 1)

• instructions (list of Instruction) – Instructions for the basic block

add_bbls(bbls: List[Bbl])

Adds a list of basic blocks to the control flow graph.

Parameters:

bbls (list of Bbl) – Lists of basic blocks to add.

property bbls

List of basic blocks in the CFG (list of Bbl).

index(instr: Instruction)

Returns index of the basic block containing the given instruction.

Parameters:

instr (Instruction) – Instruction to look for

get_bbl(index: int)

Returns the basic block at the specified index

Parameters:

index (int) – Index of the bbl

last_bbl()

Returns the last basic block of the CFG