I looked into using static analysis on an ancient Borland C++ codebase some decades ago, I quickly found out that a tiny software shop in New Jersey - Edison Design Group - were, at the time, pretty much the only ones who had modeled enough actual C++ implementation behavior to possibly do meaningful static analysis. (Not as far back as our Borland C++ version though, lol).