B2R2 CFG recovery engine.
$ dotnet add package B2R2.MiddleEnd.ControlFlowAnalysisB2R2 is a binary analysis and reversing framework written purely in F#. Since it does not rely on any native (unmanaged) code, it is readily usable in any platform or OS that .NET runs on.
B2R2.MiddleEnd.ControlFlowAnalysis provides an interface for our CFG-recovery
algorithm.