Hi,
On 6/20/07, Jan Zerebecki <[EMAIL PROTECTED]> wrote:
The web page is a bit sparse, so does calysto offer anything
special e.g. anything that distinguishes it from coverity?
Yes, it's a different technology - no pattern matching at all.
Is it free software?
Probably it will be free for non-commercial use. Projects that join
Calysto community will get free checking.
Source won't be released because there's plenty of unpublished
research in there.
That page says "to provide me with prompt and precise feedback on
the bug reports". We still have 284 errors with status
uninspected on coverity and there are also more from smatch. I
don't think we can guarantee "prompt" and I'm not sure if Dan
Kegel wanted to imply that he would inspect each of your bug
reports himself.
The false positve rates are very low. In the first iteration, I'll
postprocess all the reports, later you will be getting the reports
directly.
Regards,
--
Domagoj Babic
http://www.domagoj.info/
