Re: [splint-discuss] Ask for help.
On 10 Jun 2008, at 2:13 am, Ludolf Holzheid wrote: > I still don't know what you are trying to do ... He wants to add his *own* code to Splint to do a data flow analysis of some kind that Splint does not already do. It may well be possible to do this, but that's not what Splint was designed for, and I've never seen adequate documentation of Splint internals. Also, Splint is meant as a *lint checker*, which means that the occasional false positive and/or false negative aren't too much of a worry. It might be better to take something like suif or ckit and modify that. ___ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
Re: [splint-discuss] Ask for help.
On Mon, 2008-06-09 15:32:04 +0200, Yu Zhang wrote: > Hi, Ludolf Holzheid, > > Is there API provided by Splint so I can do my own data flow analysis base > on Splint? Hi Yu, Splint is run by the command line. I still don't know what you are trying to do ... 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
Re: [splint-discuss] Ask for help.
Hi, Ludolf Holzheid, Is there API provided by Splint so I can do my own data flow analysis base on Splint? Thanks. Zhang Yu ___ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
Re: [splint-discuss] Ask for help.
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
[splint-discuss] Ask for help.
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