From 96c3605a2b09b978fb2112da1938aeefe73c7e50 Mon Sep 17 00:00:00 2001 From: drl7x Date: Mon, 21 Apr 2003 04:13:02 +0000 Subject: [PATCH] Indexed faq.html --- doc/html/faq.html | 233 ++++++++++++++++++++++++---------------------- 1 file changed, 120 insertions(+), 113 deletions(-) diff --git a/doc/html/faq.html b/doc/html/faq.html index 734c08e..dd1561c 100644 --- a/doc/html/faq.html +++ b/doc/html/faq.html @@ -14,7 +14,7 @@

Index

    -

    General Questions About Splint

    +

    General Questions About Splint
  1. What is the difference between Splint and LCLint?
    @@ -25,11 +25,13 @@
  2. Can we use your software in our company? (We are not a GNU organization.)
    +
    3. +
  3. Which compilers does Splint support?
  4. Does Splint handle C++?
    5. -

    Installation

    +

    Installation
  5. 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.
    6. @@ -38,60 +40,61 @@
  6. I have installed Splint for Windows 2000. Where should I put the ".splintrc" file?
    7. -

    Usage

    -
  7. Which compilers does Splint support?
    +
  8. When I build Splint I get the following errors.... Should I be worried?
    9. -
  9. How does Splint handle const?
    +
  10. 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?
    11. -
  11. Why do I get a warning when multiplying different integer - types? The C standard says this is ok. Why is this wrong?
    +

    Usage

     +
  12. 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 ?
    13. -
  13. The C standard says that what I'm doing is okay. Why does - Splint give me a warning?
    +
  14. I heard that Splint can generate some spurious errors ( not + genuine errors). Is it correct ?
    15. -
  15. Splint complains if I ignore the return value of scanf but - not printf?
    +
  16. How does Splint handle const?
    17. -
  17. I develop code on an embedded system with a compiler that +
  18. 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?
  19. How can I get Splint to recognize directory trees and local source include directories?
    20. -
  20. 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 ?
    + +
  21. I use realloc in my code. How can I get Splint in check this + code more effectively?
    22. -
  22. I heard that Splint can generate some spurious errors ( not - genuine errors). Is it correct ?
    + +

    Warnings and Errors

     +
  23. Why do I get a warning when multiplying different integer + types? The C standard says this is ok. Why is this wrong?
    24. -
  24. When I build Splint I get the following errors.... Should I - be worried?
    +
  25. The C standard says that what I'm doing is okay. Why does + Splint give me a warning?
    26. -
  26. 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?
    +
  27. Splint complains if I ignore the return value of scanf but + not printf?
  28. I get parse errors when I try to run Splint on code like #define MACROdebug(...) blahblah . Can I use variadic macros in Splint?
    29. -
  29. I use realloc in my code. How can I get Splint in check this - code more effectively?
    -
    30. -

    Bugs

    +

    Bugs
  30. I think I've found a bug in Splint. What should I do?
  31. Splint tells me that there is a bug and I should report it. What information should I send?
    32. +

    Additional Information
  32. 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?

    @@ -159,6 +162,7 @@
    2. +

    Installation

  2. 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 @@ -196,53 +200,79 @@

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

    3. -

    Usage

    - +
  3. -

    How does Splint handle const?

    +

    When I build Splint I get the following + error:

    - Splint doesn't interpret const (at all). See the manual section on modifies - checking (http://www.splint.org/manual/html/sec7.html).
    + Checking for...
    +
    + +

    Checking manual...

    +

    cmx > / Checking tests2.2...

    +

    Checking tests2.4...

    +

    Checking tests2.5...

    +

    Checking db1...

    +

    0a1,2

    +

    > /cmx/tools/make -e clean

    +

    > /cmx/tools/make -e check

    +

    *** FAIL ***

    +

    Checking db2...

    +

    0a1,/tools/make -e clean

    +

    > /cmx/tools/make -e check

    +

    *** FAIL ***

    +

    Checking db3...

    +
    +

    Should I be worried?

    +
    + Those diffs look harmless. It is likely that your make is set up slightly + differently than ours.

  4. -

    Why do I get a Warning when multiplying - different integer types? The C standard says this is ok. Why is this - wrong?

    +

    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?

    - There are lots of things that the C spec allows and defines clearly, that - Splint will provide warnings for. It's not a question of it being "wrong", it's - a matter of it being likely to reveal a programming mistake.
    + One possibility is that the installation directory where the test suite is + running is on the system path (hence, splint won't report errors if + -sysdirerrors is set, as it is by default). Try adding +sysdirerrors to the + command line for the test suite to see if that is the problem, or installing + Splint in a different directory not in the system path.

    5. -
  5. -

    The C standard says that what I'm doing is - okay. Why does Splint give me a warning?

    +

    Usage

    +
  6. +

    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 ?

    - See the previous question.
    + Usually not, but Splint doesn't support all C99 extensions.

  7. -

    Splint complains if I ignore the return value - of scanf but not printf?

    +

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

    - This is just a strategic decision --- we view ignoring the result of a scanf to - be more likely to reveal a problem with the code than ignoring the result of a - printf, even though strict programmers will want to check printf also.
    + Yes, please see www.splint.org for + details.

    - -
    - If you want stricter checking, use the flags +ansistrictlib, +posixstrictlib, - +unixstrictlib to select the strict versions of these libraries.
    -
    -
  8. +

    How does Splint handle const?

    +
    + Splint doesn't interpret const (at all). See the manual section on modifies + checking (http://www.splint.org/manual/html/sec7.html).
    +
    +
    +
    9. +

  9. 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 @@ -264,69 +294,58 @@

    10. -
  10. -

    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 ?

    +
  11. +

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

    - Usually not, but Splint doesn't support all C99 extensions.
    + realloc has complicated semantics that make it difficult to use correctly. Make + sure that you understand realloc and that you really need to use it.

    + +

    If you decide to use realloc, we recommend that you wrapper it. The document + Using Wrapper Functions explains how to do this. That document is included in + the Splint documentation and is also available at:

    +

    http://www.splint.org/documentation/realloc.htm

    12. +

    Warnings and Errors

  12. -

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

    +

    Why do I get a Warning when multiplying + different integer types? The C standard says this is ok. Why is this + wrong?

    - Yes, please see www.splint.org for - details.
    + There are lots of things that the C spec allows and defines clearly, that + Splint will provide warnings for. It's not a question of it being "wrong", it's + a matter of it being likely to reveal a programming mistake.

  13. -

    When I build Splint I get the following - error:

    -
    - Checking for...
    -
    - -

    Checking manual...

    -

    cmx > / Checking tests2.2...

    -

    Checking tests2.4...

    -

    Checking tests2.5...

    -

    Checking db1...

    -

    0a1,2

    -

    > /cmx/tools/make -e clean

    -

    > /cmx/tools/make -e check

    -

    *** FAIL ***

    -

    Checking db2...

    -

    0a1,/tools/make -e clean

    -

    > /cmx/tools/make -e check

    -

    *** FAIL ***

    -

    Checking db3...

    -
    -

    Should I be worried?

    +

    The C standard says that what I'm doing is + okay. Why does Splint give me a warning?

    - Those diffs look harmless. It is likely that your make is set up slightly - differently than ours.
    + See the previous question.

  14. -

    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?

    +

    Splint complains if I ignore the return value + of scanf but not printf?

    - One possibility is that the installation directory where the test suite is - running is on the system path (hence, splint won't report errors if - -sysdirerrors is set, as it is by default). Try adding +sysdirerrors to the - command line for the test suite to see if that is the problem, or installing - Splint in a different directory not in the system path.
    + This is just a strategic decision --- we view ignoring the result of a scanf to + be more likely to reveal a problem with the code than ignoring the result of a + printf, even though strict programmers will want to check printf also.

    + +
    + If you want stricter checking, use the flags +ansistrictlib, +posixstrictlib, + +unixstrictlib to select the strict versions of these libraries.
    +
    +
    15. -
  15. -

    I get parse errors when I try to run Splint +

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

    @@ -335,21 +354,8 @@
    17. -
  17. -

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

    -
    - realloc has complicated semantics that make it difficult to use correctly. Make - sure that you understand realloc and that you really need to use it.
    -
    - -

    If you decide to use realloc, we recommend that you wrapper it. The document - Using Wrapper Functions explains how to do this. That document is included in - the Splint documentation and is also available at:

    -

    http://www.splint.org/documentation/realloc.htm

    -
    -
    18. + +

    Bugs

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

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

    19. +

    Additional Information

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

    -- 2.45.1