I can complain ...

Posted Jun 3, 2004 22:34 UTC (Thu) by AnswerGuy (guest, #1256)
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!

JimD

I can complain ...

Posted Jul 16, 2004 15:37 UTC (Fri) by arafel (subscriber, #18557) [Link]

I sent a couple of notes, and got replies saying that they'd release it when they'd tidied the code up. Doesn't look like that's going to happen.

Regarding the other bit - they'll port the checker code to whichever compiler you want. If it's gcc, then I can't see that they have any way of stopping you from redistributing it afterwards - but you'd have to have enough money to pay for the port.