Missed bus in 1975....
"tried to graft static checkers onto C and C++ "
With the emphasis on tried. A great opportunity was lost in the late 1970s, by which time the requirements for a safe programming language were known and the world was ready for "high level assemblers" that were not hardware-specific. Sadly the world chose C, instead of picking one of the various safer systems programming languages that were proposed then.
https://en.wikipedia.org/wiki/Mary_(programming_language)
(The first thing about Mary, I'll tell you cause you asked
Is she don't like when people are always livin' in the past
You know, talkin' 'bout the good old days and how things might have been
If some folks had been different how things might be better now for them
That's what you learn when you've known Mary long as I have)