Re: Curly bracket question

On 2008-03-29, CBFalconer <cbfalconer@xxxxxxxxx> wrote:

Are you claiming pclint is now freely downloadable?

There is a free (GPL) lint tool available at http://www.splint.org/
including a Windows binary for the 3.1.1 release.

I have that. I was wondering about pclint, which is better.

I spent a few days battling with splint, and never got it to do
anything useful.

In order to elimiate warnings about code like this:

unsigned uint8_t b;
b = 5;

You had to turn off warnings for code like this:

unsigned uint8_t b;
b = 12345;

After asking about this and several other significant problems
on the splint mailing list I was told that splint is intended
as a research project and not as something that's meant to be
useful for checking real-world source code.

At that point, I gave up on split.

--
Grant

.

Relevant Pages

  • Re: PC Lint vs. splint
    ... >on their preference? ... >PC Lint, and did PC Lint solve the problemthat caused the ... I have previously used splint and currently use PCLint. ...
    (comp.arch.embedded)
  • Re: while (1) vs. for ( ;; )
    ... The `bool' type in stdbool.h is primarily for ... > documentation purposes. ... That a lint tool such as Splint can ...
    (comp.lang.c)