> certainly the best static analysis textbook out there During my PhD I really felt stupid reading Muchnick and not getting data-flow analysis. Nielson & Niels

> certainly the best static analysis textbook out there During my PhD I really felt stupid reading Muchnick and not getting data-flow analysis. Nielson & Nielson literally saved my PhD and enabled the creation of the company. I'm so grateful. Do you have any contact? It'd be cool to invite one of the authors to our weekly internal meetings. > the authors have written a prequel Oh crap, that's great! Honestly, we use Chapter 2 a lot, it already provides so much value. And in fact, you could write a whole book only about that. Here's our C++ implementation of MFP: https://github.com/revng/revng/blob/develop/include/revng/MFP/MFP.h#L66 Having infinite time, it'd be nice to rewrite some LLVM analyses using it. We joke saying that we'll open a new company when we start using Chapter 3 effectively. :) Btw, if you're in a CEST-friendly time zone and are interested in what we do, drop us an e-mail :)