55 |
splint fails to parse concatenated format strings to printf |
None |
open |
|
2013-09-09
|
2013-09-09
|
5 |
|
54 |
Splint cannot check GNU C codes |
None |
open |
|
2010-12-27
|
2010-12-27
|
5 |
|
53 |
Casting breaks tracking of /*@out@*/ parameters |
None |
open |
|
2009-02-15
|
2009-02-15
|
5 |
|
52 |
[PATCH] 3.1.2 SunOS/Solaris compile fix |
None |
open |
|
2009-01-29
|
2014-03-26
|
5 |
|
51 |
intermixing of enum and #define give error |
None |
open |
|
2008-06-30
|
2008-06-30
|
5 |
|
50 |
comment error |
None |
open |
|
2008-05-05
|
2008-05-05
|
5 |
|
49 |
Label prevents warning for switch |
None |
open |
|
2007-07-10
|
2007-07-10
|
5 |
|
48 |
+if-block misses cascading if's |
None |
open |
|
2007-07-09
|
2007-07-09
|
5 |
|
47 |
Switch and do/while blocks |
None |
open |
|
2007-07-07
|
2007-07-07
|
5 |
|
46 |
Possible Null Dereferencing Not Recognized |
None |
open |
|
2007-07-04
|
2007-07-04
|
5 |
|
45 |
referencing Array element |
None |
open |
|
2007-07-02
|
2007-07-02
|
5 |
|
44 |
False alarm when accessing volatile |
None |
open |
|
2007-06-30
|
2007-06-30
|
5 |
|
43 |
What about promotion? |
None |
open |
|
2007-06-29
|
2007-06-29
|
5 |
|
42 |
Parentheses confuse parser |
None |
open |
|
2007-06-24
|
2007-06-24
|
5 |
|
41 |
Cannot decide: variable or function |
None |
open |
|
2007-06-23
|
2007-06-23
|
5 |
|
40 |
Internal bug in symbol table handler |
None |
open |
|
2007-06-18
|
2007-06-18
|
5 |
|
39 |
Does not recognize trigraphs |
None |
open |
|
2007-06-14
|
2007-06-14
|
5 |
|
38 |
typedef'd type inconsistently checked |
None |
open |
|
2007-06-12
|
2007-06-12
|
5 |
|
37 |
Doesn't detect redefinition of tags |
None |
open |
|
2007-05-27
|
2007-05-27
|
5 |
|
36 |
path limit way too small |
None |
open |
|
2007-01-24
|
2007-01-24
|
5 |
|
35 |
pathes with _ get crooked |
None |
open |
|
2007-01-24
|
2007-01-24
|
5 |
|
34 |
splint crashes |
None |
open |
|
2006-08-14
|
2006-08-14
|
5 |
|
33 |
splint fails to parse function pointer expression |
None |
open |
|
2006-03-09
|
2006-03-09
|
5 |
|
32 |
Specs must be processed before it can be imported: |
None |
open |
|
2006-03-03
|
2006-03-03
|
5 |
|
31 |
mismatched parentheses in #if |
None |
open |
|
2005-03-09
|
2005-03-09
|
5 |
|