[splint-discuss] cross-referencing tool

[Mehmet Ali Ekici]

Hi Jonathan,

Sorry for disturbing you but I could not get it run. Would you please send
me an example makefile ?

I found only splint reference in eclipse Window->preferences dialog.

 

Even I did it when I click on the output of the splint it does not locate.

 

Thanks in advance.

Mehmet

 

From: splint-discuss-bounces at cs.virginia.edu
[mailto:splint-discuss-bounces at cs.virginia.edu] On Behalf Of Jonathan and
Caroline Moore
Sent: Wednesday, June 24, 2009 5:09 PM
To: Discussions about the Splint annotation-assisted static analysis project
Subject: Re: [splint-discuss] cross-referencing tool

 

As splint to your all: target in the Makefile

2009/6/24 Mehmet Ali Ekici <mehmet.ekici at ttmail.com>

Hi,
How splint run against a code in eclipse? I loaded eclipse CDT and splint
for windows and mingw. But I can't see how I can run splint on a list of
files.
I tried it as external tool but it doesn't help locating the errorneous
source code.

Regards,


-----Original Message-----
From: splint-discuss-bounces at cs.virginia.edu
[mailto:splint-discuss-bounces at cs.virginia.edu] On Behalf Of Ludolf Holzheid
Sent: Monday, June 22, 2009 2:29 PM
To: splint-discuss at mail.cs.virginia.edu
Subject: Re: [splint-discuss] cross-referencing tool

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

_______________________________________________
splint-discuss mailing list
splint-discuss at mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss



_______________________________________________
splint-discuss mailing list
splint-discuss at mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss




-- 
Jonathan (and Caroline)

Jonathan and Caroline Moore
JandCMoore at gmail.com (Jonathan)
CandJMoore at gmail.com (Caroline)
http://jandcmoore.googlepages.com/

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20090629/02b7d496/attachment.html