X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/96c3605a2b09b978fb2112da1938aeefe73c7e50..ae1128f45d3f4cbbe232bd428e2d2865cfe65ecc:/doc/html/faq.html diff --git a/doc/html/faq.html b/doc/html/faq.html index dd1561c..cd3d1bc 100644 --- a/doc/html/faq.html +++ b/doc/html/faq.html @@ -12,12 +12,9 @@

Splint - Frequently Asked Questions

Index

-
    -

    General Questions About Splint

     -
  1. - - What is the difference between Splint and LCLint?
    +

    General Questions About Splint

    +
  2. What is the difference between Splint and LCLint?
  3. What is the Splint logo?
    4. @@ -26,29 +23,30 @@
  4. Can we use your software in our company? (We are not a GNU organization.)
    5. -
  5. Which compilers does Splint support?
    +
  6. Which compilers does Splint support?
  7. Does Splint handle C++?
    8. - -

    Installation

     +

    Installation

    +
  8. 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 system.
    9. -
  9. I want to use Splint in win2000. How do I do that?
    +
  10. I want to use Splint in Windows. How do I do that?
  11. I have installed Splint for Windows 2000. Where should I put the ".splintrc" file?
    12. -
  12. When I build Splint I get the following errors.... Should I be worried?
    +
  13. When I build Splint I get the following errors.... Should I + be worried?
    14. -
  14. I just installed Splint on a new machine. I get a bunch of +
  15. I just installed Splint on a new machine. I get a bunch of errors during building when the test suite is run. When I look through the results, it seems like Splint is not reporting any errors in the code it analyzes. What is going on?
    16. -

    Usage

     -
  16. I heard that we will get lot of parse errors when we run +

    Usage

    +
  17. 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 ?
  18. I heard that Splint can generate some spurious errors ( not @@ -56,19 +54,17 @@
  19. How does Splint handle const?
    20. -
  20. I develop code on an embedded system with a compiler that +
  21. I develop code on an embedded system with a compiler that uses nonstandard key words and data types. I would like to run Splint on my code but these nonstandard keywords cause parse errors. What should I do?
  22. How can I get Splint to recognize directory trees and local source include directories?
    23. -
  23. I use realloc in my code. How can I get Splint in check this code more effectively?
    24. - -

    Warnings and Errors

     +

    Warnings and Errors

  24. Why do I get a warning when multiplying different integer types? The C standard says this is ok. Why is this wrong?
    25. @@ -81,20 +77,20 @@
  25. I get parse errors when I try to run Splint on code like #define MACROdebug(...) blahblah . Can I use variadic macros in Splint?
    26. -

    Bugs

     +

    Bugs

  26. I think I've found a bug in Splint. What should I do?
    -
    27. -
  27. Splint tells me that there is a bug and I should report it. +
    28. +
  28. Splint tells me that there is a bug and I should report it. What information should I send?
    29. -

    Additional Information

     +

    Additional Information

  29. My question isn't answered here. How can I get more information about Splint?

Questions and Answers

    -

    General Questions About Splint

    +

    General Questions About Splint

  1. What is the difference between Splint and LCLint?

    @@ -143,16 +139,14 @@
    2. - -
  2. +

  3. Which compilers does Splint support?

    - It is independent from your compiler.
    + Splint is independent from your compiler. It should be able to handle code written for any compiler as long as the code is C99 compliant.

    4. - -
  4. +

  5. Does Splint handle C++?

    No. Splint handles ISO C99 (and some gcc extensions if +gnuextensions is used). @@ -162,7 +156,7 @@
    6. -

    Installation

    +

    Installation

  6. 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 @@ -177,30 +171,22 @@

  7. -

    I want to use Splint in win2000. How do I do +

    I want to use Splint in Windows. How do I do that?

    - See www.splint.org for information on - Splint.
    + See http://splint.org/win32.html for instructions on obtaining and installing Splint on Windows.

    - -

    http://www.splint.org/win32.html - for Windows instructions.

    -
    +

  8. I have installed Splint for Windows 2000. Where should I put the ".splintrc" file?

    For Win32, Splint looks for splint.rc instead of .splintrc due to the DOS - filename problems. It will look first in the current directory, then in
    -
    - -

    your home directory. See the Splint manual for more information.

    + filename problems. It will look first in the current directory, then in + your home directory. See the Splint manual for more information.
    9. -

  9. When I build Splint I get the following error:

    @@ -244,13 +230,18 @@
    10. -

    Usage

    -
  10. +

    Usage

    +

  11. 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 ?

    - Usually not, but Splint doesn't support all C99 extensions.
    + Usually not.
    + Parse errors usually occur in code written for compilers that use nonstandard keywords. (See the question on using Splint for code development on embedded systems.)
    + + If you're getting parse errors make sure that the required libraries are included by using the +posixlib or +unixlib flags. If you're using nonstandard gnu extensions the +gnuextensions flag make be helpful.
    + + However, Splint doesn't yet support all C99 extensions so there are some legitimate C programs that will need to be modified.

    12. @@ -258,9 +249,12 @@

    I heard that Splint can generate some spurious errors ( not genuine errors). Is it correct ?

    - Yes, please see www.splint.org for - details.
    -
    + + Yes. Many of the program properties that Splint checks are undecidable. This means that any static analysis tool that can be run on real programs will either produce false positives or false negatives. Because +of this and to improve efficiency, Splint makes some simplifying assumptions. This means +that Splint will occasionally produce spurious warnings or miss real errors.
    + +However, often spurious errors can be fixed by adding additional annotations.
  12. @@ -272,7 +266,7 @@
    13. -
  13. +

  14. I develop code on an embedded system with a compiler that uses nonstandard key words and data types. I would like to run Splint on my code but these nonstandard keywords cause parse errors. What should @@ -294,7 +288,7 @@

    15. -
  15. +

  16. I use realloc in my code. How can I get Splint in check this code more effectively?

    @@ -309,7 +303,7 @@ href="http://www.splint.org/documentation/realloc.htm">http://www.splint.org/documentation/realloc.htm

    17. -

    Warnings and Errors

    +

    Warnings and Errors

  17. Why do I get a Warning when multiplying different integer types? The C standard says this is ok. Why is this @@ -345,7 +339,8 @@

    18. -

  18. I get parse errors when I try to run Splint +

  19. +

    I get parse errors when I try to run Splint on code like #define MACROdebug(...) blahblah . Can I use variadic macros in Splint?

    @@ -354,8 +349,7 @@
    20. - -

    Bugs

    +

    Bugs

  20. I think I've found a bug in Splint. What should I do?

    @@ -379,7 +373,7 @@ may be able to at least to offer you advice on working around the problem.

    21. -

    Additional Information

    +

    Additional Information

  21. My question isn't answered here. How can I get more information about Splint?