splintchecker splint Issues

splintchecker/splint Issues

Support z, j, t length modifiers in printf format strings.
Closed a month ago1
5 internal splint bugs found when running splint on my fork of gdb
Updated 10 months ago3
unable to /*@modifies @*/ function prototype without parameter name
Updated a year ago
Enhancement: Support for C99 syntax
Updated a year ago6
splint failed with double free
Updated 2 years ago
Missing parameter name leads to endless loop
Updated 2 years ago
Support standard type 'bool'
Updated 2 years ago3
lcllib.c:86: possible missing comma ?
Updated 2 years ago
False positive "Path with no return in function declared to return int" on main()
Updated 3 years ago
No ability to configure or make / make errors
Updated 3 years ago6
compilation breaks after bison 3.7.x upgrade
Updated 3 years ago1
CSV output does not escape quotes
Updated 4 years ago2
Allow declaring variables in the middle of a block.
Updated 4 years ago2
Empty field in a struct causes parse error.
Updated 4 years ago
Cannot successfully build and install package
Closed 4 years ago1
Can I exclude reports from a supplied header?
Closed 5 years ago2
splint package does not build reproducibly
Updated 5 years ago2
splint gives 'Parse Error' on binary constants
Closed 5 years ago2
Parse Error: Non-function declaration __BEGIN_DECLS : int.
Closed 5 years ago2
Wrong type of `e1 << e2`
Closed 5 years ago1
Compile error
Closed 5 years ago2
'hh' format modifier not recognised
Closed 5 years ago2
11 years since last release
Closed 5 years ago18
Digital Object Identifiers (DOI) for Splint
Closed 5 years ago2

splintchecker / splint

splintchecker/splint Issues

Support z, j, t length modifiers in printf format strings.

5 internal splint bugs found when running splint on my fork of gdb

unable to /@modifies @/ function prototype without parameter name

Enhancement: Support for C99 syntax

splint failed with double free

Missing parameter name leads to endless loop

Support standard type 'bool'

lcllib.c:86: possible missing comma ?

False positive "Path with no return in function declared to return int" on main()

No ability to configure or make / make errors

compilation breaks after bison 3.7.x upgrade

CSV output does not escape quotes

Allow declaring variables in the middle of a block.

Empty field in a struct causes parse error.

Cannot successfully build and install package

Can I exclude reports from a supplied header?

splint package does not build reproducibly

splint gives 'Parse Error' on binary constants

Parse Error: Non-function declaration __BEGIN_DECLS : int.

Wrong type of `e1 << e2`

Compile error

'hh' format modifier not recognised

11 years since last release

Digital Object Identifiers (DOI) for Splint