[splint-discuss] cross-referencing tool

[Ludolf Holzheid]

On Mon, 2009-06-22 14:12:30 +0300, Mehmet Ali Ekici wrote:
> Hi, 
> I wonder if there is an GUI or a tool that integrated splint such that when
> error line in output of splint clicked it opens the source code 
> In the editor and mark the corresponding line.

Splint as a command line tool can be easily integrated into various
build systems (Emacs, Eclipse or even VisualStudio come mind). For
that reason, the format of splint's messages can be configured. See
section "Message Format" in appendix B "Flags" in the manual.

There is no need for a special tool.

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