<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv=Content-Type content="text/html; charset=iso-8859-1">
<meta name=Generator content="Microsoft Word 12 (filtered medium)">
<style>
<!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Tahoma;
panose-1:2 11 6 4 3 5 4 4 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman","serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-reply;
font-family:"Calibri","sans-serif";
color:#1F497D;}
.MsoChpDefault
{mso-style-type:export-only;}
@page Section1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.Section1
{page:Section1;}
-->
</style>
<!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang=EN-US link=blue vlink=purple>
<div class=Section1>
<p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";
color:#1F497D'>Hi Jonathan,<o:p></o:p></span></p>
<p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";
color:#1F497D'>Sorry for disturbing you but I could not get it run. Would you
please send me an example makefile ?<o:p></o:p></span></p>
<p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";
color:#1F497D'>I found only splint reference in eclipse Window->preferences dialog.<o:p></o:p></span></p>
<p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";
color:#1F497D'><o:p> </o:p></span></p>
<p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";
color:#1F497D'>Even I did it when I click on the output of the splint it does
not locate.<o:p></o:p></span></p>
<p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";
color:#1F497D'><o:p> </o:p></span></p>
<p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";
color:#1F497D'>Thanks in advance.<o:p></o:p></span></p>
<p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";
color:#1F497D'>Mehmet<o:p></o:p></span></p>
<p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";
color:#1F497D'><o:p> </o:p></span></p>
<div style='border:none;border-top:solid #B5C4DF 1.0pt;padding:3.0pt 0in 0in 0in'>
<p class=MsoNormal><b><span style='font-size:10.0pt;font-family:"Tahoma","sans-serif"'>From:</span></b><span
style='font-size:10.0pt;font-family:"Tahoma","sans-serif"'>
splint-discuss-bounces@cs.virginia.edu
[mailto:splint-discuss-bounces@cs.virginia.edu] <b>On Behalf Of </b>Jonathan
and Caroline Moore<br>
<b>Sent:</b> Wednesday, June 24, 2009 5:09 PM<br>
<b>To:</b> Discussions about the Splint annotation-assisted static analysis
project<br>
<b>Subject:</b> Re: [splint-discuss] cross-referencing tool<o:p></o:p></span></p>
</div>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal style='margin-bottom:12.0pt'>As splint to your all: target
in the Makefile<o:p></o:p></p>
<div>
<p class=MsoNormal>2009/6/24 Mehmet Ali Ekici <<a
href="mailto:mehmet.ekici@ttmail.com">mehmet.ekici@ttmail.com</a>><o:p></o:p></p>
<p class=MsoNormal>Hi,<br>
How splint run against a code in eclipse? I loaded eclipse CDT and splint<br>
for windows and mingw. But I can't see how I can run splint on a list of<br>
files.<br>
I tried it as external tool but it doesn't help locating the errorneous<br>
source code.<br>
<br>
Regards,<br>
<br>
<br>
-----Original Message-----<br>
From: <a href="mailto:splint-discuss-bounces@cs.virginia.edu">splint-discuss-bounces@cs.virginia.edu</a><br>
[mailto:<a href="mailto:splint-discuss-bounces@cs.virginia.edu">splint-discuss-bounces@cs.virginia.edu</a>]
On Behalf Of Ludolf Holzheid<br>
Sent: Monday, June 22, 2009 2:29 PM<br>
To: <a href="mailto:splint-discuss@mail.cs.virginia.edu">splint-discuss@mail.cs.virginia.edu</a><br>
Subject: Re: [splint-discuss] cross-referencing tool<br>
<br>
On Mon, 2009-06-22 14:12:30 +0300, Mehmet Ali Ekici wrote:<br>
> Hi,<br>
> I wonder if there is an GUI or a tool that integrated splint such that<br>
when<br>
> error line in output of splint clicked it opens the source code<br>
> In the editor and mark the corresponding line.<br>
<br>
Splint as a command line tool can be easily integrated into various<br>
build systems (Emacs, Eclipse or even VisualStudio come mind). For<br>
that reason, the format of splint's messages can be configured. See<br>
section "Message Format" in appendix B "Flags" in the
manual.<br>
<br>
There is no need for a special tool.<br>
<br>
Ludolf<br>
<br>
--<br>
<br>
---------------------------------------------------------------<br>
Ludolf Holzheid Tel: +49
621 339960<br>
Bihl+Wiedemann GmbH Fax: +49 621
3392239<br>
Floßwörthstraße 41 e-mail: <a
href="mailto:lholzheid@bihl-wiedemann.de">lholzheid@bihl-wiedemann.de</a><br>
D-68199 Mannheim, Germany<br>
---------------------------------------------------------------<br>
<br>
_______________________________________________<br>
splint-discuss mailing list<br>
<a href="mailto:splint-discuss@mail.cs.virginia.edu">splint-discuss@mail.cs.virginia.edu</a><br>
<a href="http://www.cs.virginia.edu/mailman/listinfo/splint-discuss"
target="_blank">http://www.cs.virginia.edu/mailman/listinfo/splint-discuss</a><br>
<br>
<br>
<br>
_______________________________________________<br>
splint-discuss mailing list<br>
<a href="mailto:splint-discuss@mail.cs.virginia.edu">splint-discuss@mail.cs.virginia.edu</a><br>
<a href="http://www.cs.virginia.edu/mailman/listinfo/splint-discuss"
target="_blank">http://www.cs.virginia.edu/mailman/listinfo/splint-discuss</a><o:p></o:p></p>
</div>
<p class=MsoNormal><br>
<br clear=all>
<br>
-- <br>
Jonathan (and Caroline)<br>
<br>
Jonathan and Caroline Moore<br>
<a href="mailto:JandCMoore@gmail.com">JandCMoore@gmail.com</a> (Jonathan)<br>
<a href="mailto:CandJMoore@gmail.com">CandJMoore@gmail.com</a> (Caroline)<br>
<a href="http://jandcmoore.googlepages.com/">http://jandcmoore.googlepages.com/</a><o:p></o:p></p>
</div>
</body>
</html>