Custom Query (5 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Resolution: fixed (4 matches)

Ticket Summary Owner Type Priority Created Modified
#100 libc: getline implementation incorrectly checks the failure of realloc defect major 9 months ago 8 months ago
#103 libc: strcpy and strncpy do not check if the strings overlap mornfall defect major 8 months ago 8 months ago
#109 libc: calloc forgets to set errno whenever it fails defect major 5 months ago 5 months ago
#112 libc: perror behaves incorrectly when its input is an empty string defect minor 4 months ago 4 months ago

Resolution: duplicate (1 match)

Ticket Summary Owner Type Priority Created Modified
#108 symbolic: __VERIFIER_nondet_(u)int() causes a memory leak defect major 6 months ago 6 months ago
Note: See TracQuery for help on using queries.