[splint-discuss] Welcome to the "splint-discuss" mailing list (Digest mode)

[Yu Zhang]

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?

Thanks!

Best wishes,

Zhang Yu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20080606/22223905/attachment.html