We need an RMS, a Linus, or Tridge or Alan or ...

We need an RMS, a Linus, or Tridge or Alan or ...

When Stanford spawned Coverity, Coverity dropped gcc altogether and switched to the EDG front end, a commercial C/C++ parser that is basically the only thing you can buy for this sort of work (or if you're writing a new compiler).

http://www.stanford.edu/~engler/spin05-coverity.pdf

So your comments about them taking advantage of the GPL are not strictly accurate; they apply to what some of the Coverity people *used* to do back when they were still in a research group at Stanford.