Package Libs :: Module libcontrolflow :: Class ControlFlowAnalysis

Class ControlFlowAnalysis

Instance Methods

__init__(self, imm, address, domtree=False)

LIST findNaturalLoops(self)
This function finds Natural Loops inside a function, using the information provided by dominator tree class.

Method Details

imm (Debbuger OBJECT) - Debbuger
address (DWORD) - function start address
domtree (OBJECT|False) - Optionally you can provide a DominatorTree instance (mainly for testing purposes).

This function finds Natural Loops inside a function, using the information provided by dominator tree class.

Returns: LIST: A list of loops, each with this structure: [ start, end, nodes ] start: address of node receiving the back edge end: address of node which has the back edge node: list of node's addresses involved in this loop