B2R2


SSAPromotion Module

Functions and values

Function or value Description

SSAPromotion.prepare hdl ssaCFG spState vertices v

Full Usage: SSAPromotion.prepare hdl ssaCFG spState vertices v

Parameters:

The basic preparation step: remove Phis and replace stack variables.

hdl : BinHandle
ssaCFG : 'a
spState : CPState<SPValue>
vertices : List<SSAVertex>
v : Vertex<SSABasicBlock>

SSAPromotion.promote hdl ssaCFG ssaRoot

Full Usage: SSAPromotion.promote hdl ssaCFG ssaRoot

Parameters:
Returns: DiGraph<SSABasicBlock, CFGEdgeKind> * 'e

Promote the given SSA CFG into another SSA CFG that contains resolved stack/global variables.

hdl : BinHandle
ssaCFG : DiGraph<SSABasicBlock, CFGEdgeKind>
ssaRoot : 'e
Returns: DiGraph<SSABasicBlock, CFGEdgeKind> * 'e