[splint-discuss] Ask for help.

[Ludolf Holzheid]

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: lholzheid at bihl-wiedemann.de
D-68199 Mannheim, Germany
---------------------------------------------------------------