B2R2

PerFunctionAnalysis Module

Namespace: B2R2.MiddleEnd.ControlFlowAnalysis
Assembly: B2R2.MiddleEnd.ControlFlowAnalysis.dll

Helper module for per-function analyses.

Functions and values

Function or value Description

PerFunctionAnalysis.runCP hdl func reader

Full Usage: PerFunctionAnalysis.runCP hdl func reader

Parameters:
Returns: CPState<SCPValue> * DiGraph<SSABasicBlock, CFGEdgeKind>

Run constant propagation on the function.

hdl : BinHandle
func : RegularFunction
reader : (Addr -> RegType -> BitVector option) option
Returns: CPState<SCPValue> * DiGraph<SSABasicBlock, CFGEdgeKind>