B2R2 data-flow engine.
$ dotnet add package B2R2.MiddleEnd.DataFlowB2R2 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.DataFlow provides a fixpoint-based data-flow analysis
framework.