Thread: splint

  1. #1
    ... kermit's Avatar
    Join Date
    Jan 2003
    Posts
    1,534

    splint

    Anybody here use splint?

  2. #2
    and the hat of int overfl Salem's Avatar
    Join Date
    Aug 2001
    Location
    The edge of the known universe
    Posts
    39,660
    Sometimes....
    If you dance barefoot on the broken glass of undefined behaviour, you've got to expect the occasional cut.
    If at first you don't succeed, try writing your phone number on the exam paper.

  3. #3
    Its not rocket science vasanth's Avatar
    Join Date
    Jan 2002
    Posts
    1,683
    what is it.. I have a feeling its some kind of debugging tool..

  4. #4
    & the hat of GPL slaying Thantos's Avatar
    Join Date
    Sep 2001
    Posts
    5,681
    splint is a anal retentive syntax checker for C.

    An example of what it might yell about:
    Code:
    printf("%d\n", x);
    It would yell because printf() returns a value so it wants you to do:
    Code:
    (void)printf("%d\n", x);
    I use it when I want to really check my code for any problems.

    Note: It checks for things like security problems and such in the code also.

  5. #5
    ... kermit's Avatar
    Join Date
    Jan 2003
    Posts
    1,534
    I was just curious about it - I have heard that using the -Wall option (on gcc of course) is a rough equivalent to the checking lint will do - the guys that do splint figure that you can do a little better with splint than lint - looks kind of like what Thantos said - really anal on syntax. It seems that for normal programming stuff its a little overkill though?
    Last edited by kermit; 04-10-2004 at 03:37 PM.

Popular pages Recent additions subscribe to a feed

Similar Threads

  1. splint usage problems
    By Kempelen in forum C Programming
    Replies: 6
    Last Post: 05-05-2008, 08:56 AM
  2. Operator Precedence?
    By cpjust in forum C++ Programming
    Replies: 53
    Last Post: 05-04-2008, 06:43 PM
  3. Splint
    By tretton in forum C Programming
    Replies: 24
    Last Post: 02-05-2006, 09:30 PM