[splint-discuss] Ask for help.

[Richard A. O'Keefe]

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.