[splint-discuss] How to check Uninitialized variable

[Aaron Davies]

On Tue, May 12, 2009 at 8:59 PM, Vijayendra Suman
<vijayendra.suman at gmail.com> wrote:

> Thanks for the response, this gives me what I wanted to check.
> Actually, I wanted to run splint on glibc code, specially the loader code.
> Do you think it is possible to check such functions with splint, I would
> like to give this extension.
>
> Also, I want to get the same result from a CPP code, I will try to use the
> splint code to get this result. Do any one has suggestion for it.

Boilerplate responses, AFAIK (I'm a complete Splint newb, so everyone
please feel free to shoot me down):

Regarding glibc, splint checks ANSI C, not GCC C.

Regarding "CPP", I'm not exactly sure what you're asking. ".cpp" is a
common C++ source file extension; if you're asking if you can use
splint on C++, i"m pretty sure the answer is "splint checks C, not
C++". It's also the name of the C pre-processor; if your question
concerns that, you'll have to rephrase it, as I don't understand it.
-- 
Aaron Davies
aaron.davies at gmail.com