SSAEdges (B2R2)

SSAEdges Module

Function or value Description

Function or value	Description
`compute ssaCFG` Full Usage: `compute ssaCFG` Parameters: ssaCFG : `DiGraph<SSABasicBlock, 'a>` Returns: `EdgeInfo`	Compute SSA edge map (SSA Var -> a set of (VertexID, Stmt idx)). From a given ssa var, this function returns a set of SSA-edge destination. ssaCFG : `DiGraph<SSABasicBlock, 'a>` Returns: `EdgeInfo`


                
                  
                    
                      compute ssaCFG

Full Usage: compute ssaCFG

Parameters:

ssaCFG : DiGraph<SSABasicBlock, 'a>

Returns: EdgeInfo

Compute SSA edge map (SSA Var -> a set of (VertexID, Stmt idx)). From a given ssa var, this function returns a set of SSA-edge destination.