I can complain ...
Posted Jun 3, 2004 22:34 UTC (Thu) by AnswerGuy
Parent article: Finding kernel problems automatically
... that the Stanford Checker was built around gcc (xgcc) and thus should be obligated by the GPL if they ever distribute it.
So, if Coverity is selling (distributing) a derivative of this as a product ...
Now, it's possible that they took *their* code and ported it to some other compiler environment; or it's possible they are billing this as a service and not as a product.
However, it doesn't seem like they are acting in the spirit of free software in either case.
I can also complain since I sent them a number of messages politely asking for information about the project and it's progress and inquiring about the the possibility having anyone from their team speak at a local technical group (BayLISA
) and never received the courtesy of a response --- not even a curt note to the effect that they are far to busy and important to speak to the likes of us sysadmins.
Oh well! C'est le vie!
to post comments)