Menu

Bugs  Maximize  Restore

Showing results of 36

# Summary Milestone Status Owner Created Updated Priority
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  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
  • Priority
 
(applies to this page only)
1 2 > >> (Page 1 of 2)