| 23 |
Discourage assert() |
v3.1.3 |
open |
|
2019-01-11
|
2019-01-11
|
5 |
|
| 22 |
Zero exit code on CLI syntax invalid |
v3.1.3 |
open |
|
2018-11-09
|
2018-11-09
|
5 |
|
| 21 |
Offer recursive search for C source, header files |
v3.1.3 |
open |
|
2018-05-14
|
2018-05-14
|
5 |
|
| 20 |
parse error on variable initialized in for loop |
v3.1.3 |
open |
|
2012-06-03
|
2012-06-03
|
5 |
|
| 19 |
False positive for "variable is declared but never used" |
None |
open |
|
2011-06-27
|
2011-06-27
|
5 |
|
| 18 |
Installing fails: duplicate header files |
None |
open |
|
2011-03-10
|
2011-03-10
|
5 |
|
| 17 |
Building on MinGW fails |
None |
open |
|
2011-03-10
|
2011-03-10
|
5 |
|
| 16 |
parse problem /*NOTREACHED*/ |
None |
open |
|
2010-10-20
|
2011-08-26
|
2 |
|
| 15 |
Internal Bug at sRef.c:2978 |
None |
open-accepted |
|
2010-10-18
|
2011-08-26
|
7 |
|
| 14 |
manpage says "-1-lib", but not implemented. |
v3.1.3 |
open |
|
2010-10-03
|
2010-10-03
|
5 |
|
| 13 |
false mustfreeonly warning detected when using calloc |
v3.1.3 |
open |
|
2010-09-20
|
2010-09-20
|
5 |
|
| 12 |
troubles with imbricated structures |
None |
open |
|
2010-04-23
|
2010-04-23
|
5 |
|
| 10 |
Splint gets initialization wrong with union type |
None |
open |
|
2010-04-14
|
2010-04-14
|
5 |
|
| 9 |
Please add EXAMPLES section to manual page |
None |
open |
|
2010-03-07
|
2010-03-07
|
5 |
|
| 7 |
splint crashes with SIGSEGV after an internal error |
None |
open |
|
2008-05-08
|
2008-05-08
|
5 |
|
| 6 |
false positives with pointer / array of array |
None |
open |
|
2008-04-15
|
2008-04-15
|
5 |
|
| 4 |
Flag for "Function parameter declared as manifest array" |
None |
open |
|
2008-01-05
|
2008-01-05
|
5 |
|
