RE: verification and linting of lua implementations
[
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: 2011年10月27日 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).