lclint-interest
Thread
Date
Earlier messages
Messages by Thread
[vinc...@vinc17.org: Bug#171434: splint: Useless warning "Function parameter declared as manifest array"]
Samuele Giovanni Tonon
[vinc...@vinc17.org: Bug#171437: splint: K&R / standard C mismatch]
Samuele Giovanni Tonon
typedef void
Keith Browne
`path with no return' query
Barrie Stott
Re: `path with no return' query
Elliot Lee
pointer arithmetic involving possibly null pointer
Emma Wermstrom
Parsing errors with +unixlib
Chad Loder
Splint Manual version 3.0.6
Barrie Stott
Re: Splint Manual version 3.0.6
Ed Rubinsky
Memory de-allocation warning
Awan Sharma
INCLUDE header option
Vasan V S
Re: INCLUDE header option
David Richard Larochelle
out of bounds problem
Argenton Paolo
Re: out of bounds problem
David Richard Larochelle
AW: "@tiny" statement (fwd)
David Evans
"@tiny" statement
Filippo Ferrara
Re: "@tiny" statement
David Evans
RE: "@tiny" statement
Simon Hosie
Re: Splint Memory Leak error
David Evans
flag include
Gabriel López García
deallocation subroutine
David Djajaputra
Re: deallocation subroutine
David Evans
casting problem
Arijit_c
Re: casting problem
David Evans
/*@out@*/ and failure returns
Simon Hosie
Question on nullwhentrue annotation
riso
Re: Question on nullwhentrue annotation
David Evans
Re: Question on nullwhentrue annotation
riso
Assignment of int to unsigned char : literal flag ?
Isabelle, Francois
short int long warning messages
Simon Hosie
Re: short int long warning messages
David Richard Larochelle
Typechecking integral types, retaining most access.
Simon Hosie
Re: Typechecking integral types, retaining most access.
David Evans
Re: Typechecking integral types, retaining most access.
Walter Briscoe
truncated command line on Win98
Martin, Stéphane
Re: truncated command line on Win98
Walter Briscoe
define's Problems
Gabriel López García
const y observer
Gabriel López García
Re: const y observer
David Evans
Uninitialized global variables
Massimiliano Cialdi
Re: Uninitialized global variables
David Evans
Re: Uninitialized global variables
Finny Merrill
Re: Uninitialized global variables
David Evans
#define tmError(lev, fmt, ...)
Torsten Mohr
Re: #define tmError(lev, fmt, ...)
David Evans
Re: #define tmError(lev, fmt, ...)
Torsten Mohr
Re: #define tmError(lev, fmt, ...)
David Evans
autoconf/automake: Macro to do lint checking?
Torsten Mohr
Re: autoconf/automake: Macro to do lint checking?
David Evans
annotating use of memory
gooddan
Re: annotating use of memory
David Evans
A "Clauses exit referencing" Comment I can't get rid of.
Shlomi Fish
Re: A "Clauses exit referencing" Comment I can't get rid of.
David Evans
Assigning a malloced data to a member of a returned struct
Shlomi Fish
Re: Assigning a malloced data to a member of a returned struct
David Evans
char a = 0
Deepak Mohan
Re: char a = 0
David Evans
RE: char a = 0
Deepak Mohan
Wish: more checks and
Olivier L'Heureux
Re: Wish: more checks and
David Richard Larochelle
Re: Wish: more checks and
David Evans
Howto annotate scatter/gather functions?
Enrico Scholz
Re: Howto annotate scatter/gather functions?
David Evans
First "strstr()" argument "unique"?
Olivier L'Heureux
Re: First "strstr()" argument "unique"?
David Evans
unused code, calltree
Torsten Mohr
Re: unused code, calltree
David Evans
Re: unused code, calltree
Torsten Mohr
maxRead()/Set() annotations
Enrico Scholz
Re: maxRead()/Set() annotations
David Richard Larochelle
Re: maxRead()/Set() annotations
David Richard Larochelle
False hit - Splint 3.0.1.6
CBFalconer
Re: False hit - Splint 3.0.1.6
David Evans
Re: False hit - Splint 3.0.1.6
CBFalconer
Re: False hit - Splint 3.0.1.6
David Evans
union typechecking
Emma Wermstrom
Re: union typechecking
CBFalconer
Re: union typechecking
Emma Wermstrom
Re: union typechecking
CBFalconer
Re: union typechecking
CBFalconer
About splint in Windows
Cesard, Patrick O.
Re: About splint in Windows
Arjan M Van Vught
newbie questions
eschner
Re: newbie questions
David Richard Larochelle
AW: newbie questions
eschner
buffer sizes and null pointers
Ken Raeburn
Re: buffer sizes and null pointers
Ken Raeburn
Re: buffer sizes and null pointers
David Richard Larochelle
splint and realloc
Ken Raeburn
unix.h: sa_family and select() issues
Enrico Scholz
Re: unix.h: sa_family and select() issues
David Evans
"Returned storage string_value not completely defined" query
Bruce Stephens
Re: "Returned storage string_value not completely defined" query
David Evans
Re: "Returned storage string_value not completely defined" query
Bruce Stephens
spurious 'Possibly null storage var passed as non-null param' warning
Charles Lecklider
Full path names in errors?
Anders Torger
Re: Full path names in errors?
Anders Torger
Re: Full path names in errors?
Anders Torger
Re: Full path names in errors?
David Richard Larochelle
getting started again
eschner
Splint comments from a new user...
Taed Wynnell
getting started
eschner
Re: getting started
Finny Merrill
Suppressing ifempty with an annotation?
Taed Wynnell
Re: Suppressing ifempty with an annotation?
David Evans
RE: Suppressing ifempty with an annotation?
David Friedman
RE: Suppressing ifempty with an annotation?
Taed Wynnell
RE: Suppressing ifempty with an annotation?
David Evans
RE: Suppressing ifempty with an annotation?
Richard A. O'Keefe
Re: Suppressing ifempty with an annotation?
David Friedman
CPATH resp. INCLUDE vs. -I and -sysdirs
Martin Roehrig
Re: CPATH resp. INCLUDE vs. -I and -sysdirs
Gordon Sadler
goto labels not supported?
Jon Wilson
lclint question
Marcel Douben
Re: lclint question
David Evans
Problem: blanks in pathnames
Martin Roehrig
spurious use before definition warning
Ed Beroset
Splint on C programs after Pro*C Compilation
Narayan Kumar
spurious redefinition warnings on Windows NT
Martin Roehrig
Re: spurious redefinition warnings on Windows NT
David Evans
RE: spurious redefinition warnings on Windows NT
Martin Roehrig
Re: spurious redefinition warnings on Windows NT
Richard A. O'Keefe
RE: spurious redefinition warnings on Windows NT
Martin Roehrig
RE: spurious redefinition warnings on Windows NT
Richard A. O'Keefe
RE: spurious redefinition warnings on Windows NT
Martin Roehrig
looking for some clear examples for tree functions.
Eric Veldhuyzen
Re: looking for some clear examples for tree functions.
David Evans
Newbie: Can't get overview
Martin Roehrig
Re: Newbie: Can't get overview
David Evans
Re: Newbie: Can't get overview
Jeff Johnson
RE: Newbie: Can't get overview
David Evans
C++ analysis tools ...?
Ryan Mapes
C++ analysis tools ...?
Thomas Wicklund
RE: C++ analysis tools ...?
Ryan Mapes
Newbie: Typechecking integral types
Andreas Rasmusson
Re: Newbie: Typechecking integral types
David Evans
Preprocessing error
Finny Merrill
Inconsistent function decl.
Finny Merrill
Re: Inconsistent function decl.
David Evans
only storage assigned to unqualified
Emma Wermstrom
Re: only storage assigned to unqualified
David Evans
conditionals with multiple subexpressions
Jon Wilson
Splint 3.0.1.6 and Solaris C compiler
Albert Chin
Function returning pointer to static buffer
Syzop
Re: Function returning pointer to static buffer
David Evans
splint on Cygwin?
Gerrit P. Haase
Re: splint on Cygwin?
Walter Briscoe
Re: splint on Cygwin?
Gerrit P. Haase
Re: splint on Cygwin?
Walter Briscoe
Re: splint lib/*.h annotations
David Evans
Re: Manual versions
David Evans
Re: Manual versions
David Richard Larochelle
CVS commit info
Alexander Mai
Re: CVS commit info
David Evans
Checking Buffer Sizes
Alexander Mai
Re: Checking Buffer Sizes
David Richard Larochelle
Re: Checking Buffer Sizes
Raimar Falke
Re: Checking Buffer Sizes
David Richard Larochelle
RE: Checking Buffer Sizes
David Friedman
RE: Checking Buffer Sizes
Alexander Mai
Idea: range
Finny Merrill
Newbie questions about buffers
Niklaus Giger
Re: Newbie questions about buffers
David Evans
Re: Newbie questions about buffers
Ralf Wildenhues
using lclint (or splint) instead of lint...
Frédéric BOITEUX
Resolving inadequate library files
Walter Briscoe
ignoring library returns
Walter Briscoe
Re: ignoring library returns
David Evans
Communication problems between me and splint
Walter Briscoe
Re: Forwarded mail.... (fwd)
David Evans
Forwarded mail....
David Evans
Re: Overzealous sign checking? (fwd)
David Evans
Re: Overzealous sign checking? (fwd)
David Evans
Re: Overzealous sign checking? (fwd)
David Evans
Re: Overzealous sign checking? (fwd)
David Evans
Re: Overzealous sign checking? (fwd)
David Evans
~/.splintrc which works with VC++6.00 (fwd)
David Evans
Include path processing under Windows 2000 (fwd)
David Evans
Re: Splint Error: Invalid C Number
David Evans
Does this feature exists? (fwd)
David Evans
splint lib/*.h annotations (fwd)
David Evans
Re: restrict
David Evans
Re: Signal handlers
David Evans
Re: Building Win32 Splint 3.0.16 - undocumented and fails
David Evans
Re: Building Win32 Splint 3.0.16 - undocumented and fails
David Evans
Re: Beginners problem
David Evans
Re: modified observer
David Evans
Logic bug with branchstate?
Jon Wilson
Moderating List
David Evans
[no subject]
maruti prasanna
NEWBIE - structs containing pointers
Steve
Re: NEWBIE - structs containing pointers
Daniel Barker
RE: NEWBIE - structs containing pointers
Steve
Problem encountered in porting lclint to OS X
rincho kuma
Newbie problems with lclint
Andrew Lister
Re: Newbie problems with lclint
Herbert Martin Dietze
Re: Newbie problems with lclint
Richard A. O'Keefe
Re: Newbie problems with lclint
Richard A. O'Keefe
Existing versus actually appearing bugs
Henrik Esbensen
Help with functions like asprintf()
Andy King
Earlier messages