[splint-discuss] cross-referencing tool

[Jonathan and Caroline Moore]

Add something like this to your makefile

split: <your sources.c, .h>
<tab>splint <your sources.c .h>

Then add the target split as a dependency to all:

You might need to experiment with the executable name on windows type
splint.exe or full path to splint.exe

If you are still stuck send me your Makefile and I'll see if I can
spot anything wrong. I don't run eclipse on Windows.

Jonathan

2009/6/29 Mehmet Ali Ekici <mehmet.ekici at ttmail.com>:
> 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/
>
> _______________________________________________
> 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/