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
_______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss