[splint-discuss] Ask for help.

[Ludolf Holzheid]

On Mon, 2008-06-09 13:58:56 +0200, Yu Zhang wrote:
> Hi, all,
> 
> I am a new comer of Splint.
> 
> I want to know whether Splint can slove my problems.
> 
> I want to do some static analysis such data flow analysis for C source code
> and then modify the code by changing and appending some statements into the
> original one.
> 
> What procedure should I follow?

Yu,

I don't know what you are asking for.

Splint is able to perform static code analysis for C code. It will
output output messages similar to the warnings of the C compiler. You
are, of course, free to change your code in response to the output of
splint.

But I'm afraid, this is a prerequisite, not the answer to your
question. :-/

Ludolf

-- 

---------------------------------------------------------------
Ludolf Holzheid             Tel:    +49 621 339960
Bihl+Wiedemann GmbH         Fax:    +49 621 3392239
Floßwörthstraße 41          e-mail: lholzheid at bihl-wiedemann.de
D-68199 Mannheim, Germany
---------------------------------------------------------------