From: drl7x Date: Mon, 21 Apr 2003 04:31:46 +0000 (+0000) Subject: Beautified the html code for the faq. X-Git-Tag: splint-3_1_0~3 X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/7db08ed6b475736ff127ce29bfba87fd775a478f Beautified the html code for the faq. --- diff --git a/doc/html/faq.html b/doc/html/faq.html index dd1561c..97a5e08 100644 --- a/doc/html/faq.html +++ b/doc/html/faq.html @@ -12,12 +12,11 @@

Splint - Frequently Asked Questions

Index

-
    -

    General Questions About Splint

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

    General Questions About Splint

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

    Installation

     +
  9. +

    Installation

    +
  10. 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.
    11. @@ -40,15 +40,18 @@
  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 +
  17. +

    Usage

    +
    18. +
  18. 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 ?
  19. I heard that Splint can generate some spurious errors ( not @@ -56,19 +59,19 @@
  20. How does Splint handle const?
    21. -
  21. I develop code on an embedded system with a compiler that +
  22. 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?
  23. How can I get Splint to recognize directory trees and local source include directories?
    24. -
  24. I use realloc in my code. How can I get Splint in check this code more effectively?
    25. - -

    Warnings and Errors

     +
  25. +

    Warnings and Errors

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

    Bugs

     +
  28. +

    Bugs

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

    Additional Information

     +
  32. +

    Additional Information

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

Questions and Answers

    -

    General Questions About Splint

    +
  1. +

    General Questions About Splint

    +

  2. What is the difference between Splint and LCLint?

    @@ -143,16 +152,14 @@
    3. - -
  3. +

  4. Which compilers does Splint support?

    It is independent from your compiler.

    5. - -
  5. +

  6. Does Splint handle C++?

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

    Installation

    +
  7. +

    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 @@ -200,7 +209,6 @@

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

    9. -

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

    @@ -244,8 +252,10 @@
    10. -

    Usage

    -
  10. +
  11. +

    Usage

    +
    12. +

  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 ?

    @@ -272,7 +282,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 +304,7 @@

    15. -
  15. +

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

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

    17. -

    Warnings and Errors

    +
  17. +

    Warnings and Errors

    +

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

    19. -

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

  20. +

    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 +367,9 @@
    21. - -

    Bugs

    +
  21. +

    Bugs

    +

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

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

    23. -

    Additional Information

    +
  23. +

    Additional Information

    +

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