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: [EMAIL PROTECTED] D-68199 Mannheim, Germany --------------------------------------------------------------- _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss