This is my first time using splint (from Ubuntu repositories) and I immediately got hit by a WTF. The error message: nightcracker@nightcracker-pc:~/c/brainfuck$ splint brainfuck.c Splint 3.1.2 ---...

I want to run splint on some of my sources within a debian stable environment. I need to give the preprocessor directive -DUINT16_T='unsigned short' and as I need that very often. I'd like to place...

Consider writing implementation for some not-so-obvious algorithm in C. For example let it be recursive quicksort, that I have found in K. N. King's "C Programming: A Modern Approach, 2nd Edition" ...

I am using splint as static analyzer for c99 code. Splint seems to be not quite c99 compliant. Thus I have applied this patch: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20080...

Any splint experts out there?? I'm trying to use splint to statically analyze a large project I have in C. I'm seeing an excess number of bounds checking errors that are obviously not bounds errors...

I'm working on a fairly complex project, and as an added complication it's an in-kernel Linux module. Running a linting tool like splint on such a codebase is certainly not impossible [1], but triv...

We are planning to use Splint as code analyzer for our C code base. But we never tried Splint tool before so we want your input on it's benifts, pros and cons.

Do you know how can I make splint ignore where I declare my variables? I know that the old school c tells you to declare variables right at the beginning in every function, but since I am a bad ...