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,
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
--
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
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 stateme
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
