[splint-discuss] Ask for help.

[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/20080609/83bfee8f/attachment.html