<h1>Splint - Frequently Asked Questions</h1>
<h3>Index</h3>
<ol>
- <li style="list-style: none">
<h4><a href="#genquest">General Questions About Splint</a></h4>
- </li>
<li><a href="#quest1">What is the difference between Splint and LCLint?</a><br />
</li>
<li><a href="#quest2">What is the Splint logo?<br />
it seems like Splint is not reporting any errors in the code it analyzes. What is
going on?<br />
</a></li>
- <li style="list-style: none">
<h4><a href="#usage">Usage</a></h4>
- </li>
<li><a href="#quest15">I heard that we will get lot of parse errors when we run
this tool first time. Hence we need to modify source code. Is it correct ?<br />
</a></li>
<li><a href="#quest20">I use realloc in my code. How can I get Splint in check this
code more effectively?<br />
</a></li>
- <li style="list-style: none">
<h4><a href="#warnerror">Warnings and Errors</a></h4>
- </li>
<li><a href="#quest11">Why do I get a warning when multiplying different integer
types? The C standard says this is ok. Why is this wrong?<br />
</a></li>
<li><a href="#quest18b">I get parse errors when I try to run Splint on code like
#define MACROdebug(...) blahblah . Can I use variadic macros in Splint?<br />
</a></li>
- <li style="list-style: none">
<h4><a href="#bugs">Bugs</a></h4>
- </li>
<li><a href="#quest21">I think I've found a bug in Splint. What should I do?<br />
</a></li>
<li><a href="#quest22">Splint tells me that there is a bug and I should report it.
What information should I send?<br />
</a></li>
- <li style="list-style: none">
<h4><a href="#adinfo">Additional Information</a></h4>
- </li>
<li><a href="#quest23">My question isn't answered here. How can I get more
information about Splint?<br />
</a></li>
</ol>
<h3>Questions and Answers</h3>
<ol>
- <li style="list-style: none">
<h4><a id="genquest" name="genquest">General Questions About Splint</a></h4>
- </li>
<li>
<p><a id="quest1" name="quest1">What is the difference between Splint and
LCLint?</a></p>
<br />
</blockquote>
</li>
- <li style="list-style: none">
<h4><a id="install" name="install">Installation</a></h4>
- </li>
<li>
<p><a id="quest6" name="quest6">I downloaded the Splint .tgz file but can't
figure out how to extract it. There is no 'z' option on the tar on my
<br />
</blockquote>
</li>
- <li style="list-style: none">
<h4><a id="usage" name="usage">Usage</a></h4>
- </li>
<li>
<p><a id="quest15" name="quest15">I heard that we will get lot of parse errors
when we run this tool first time. Hence we need to modify source code. Is it
href="http://www.splint.org/documentation/realloc.htm">http://www.splint.org/documentation/realloc.htm</a></p>
</blockquote>
</li>
- <li style="list-style: none">
<h4><a id="warnerror" name="warnerror">Warnings and Errors</a></h4>
- </li>
<li>
<p><a id="quest11" name="quest11">Why do I get a Warning when multiplying
different integer types? The C standard says this is ok. Why is this
<br />
</blockquote>
</li>
- <li style="list-style: none">
<h4><a id="bugs" name="bugs">Bugs</a></h4>
- </li>
<li>
<p><a id="quest21" name="quest21">I think I've found a bug in Splint. What should
I do?</a></p>
may be able to at least to offer you advice on working around the problem.</p>
</blockquote>
</li>
- <li style="list-style: none">
<h4><a id="adinfo" name="adinfo">Additional Information</a></h4>
- </li>
<li>
<p><a id="quest23" name="quest23">My question isn't answered here. How can I get
more information about Splint?</a></p>