[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
- Subject: RE: verification and linting of lua implementations
- From: Thomas Buergel <Thomas.Buergel@...>
- Date: Thu, 27 Oct 2011 07:20:18 +0000
> The main problem is that, for most of these tools, patching real bugs is
> not enough. For a program to be "clean", it must include a plethora of
> annotations peculiar to each particular tool. (Maybe Coverity Scan
> does not require such annotations; that would be great.)
>
> -- Roberto
Assuming it acts the same as the stand-alone commercial Coverity analyzer, then no, no annotations are necessary (or possible, AFAIK).
