Menu

Bugs  Maximize  Restore

Showing 17 results of 17

# Summary Milestone Status Owner Created Updated Priority
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  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
  • Priority
 
(applies to this page only)
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.