Custom Query (12 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: accepted (3 matches)

Ticket Summary Owner Type Priority Resolution Created
#96 DiOS: Passing the debug:faultcfg option results in null pointer dereference in kernel Vladimír Štill defect major 10 months ago
#97 DiOS: Passing the debug:mainargs option results in config error in kernel Vladimír Štill defect major 10 months ago
#111 libc: zero size allocations are handled improperly Henrich Lauko defect major 4 months ago

Status: assigned (1 match)

Ticket Summary Owner Type Priority Resolution Created
#107 unreachable executed: unknown binary operation fp.leq Henrich Lauko defect minor 6 months ago

Status: closed (5 matches)

Ticket Summary Owner Type Priority Resolution Created
#100 libc: getline implementation incorrectly checks the failure of realloc defect major fixed 9 months ago
#103 libc: strcpy and strncpy do not check if the strings overlap mornfall defect major fixed 8 months ago
#108 symbolic: __VERIFIER_nondet_(u)int() causes a memory leak defect major duplicate 6 months ago
#109 libc: calloc forgets to set errno whenever it fails defect major fixed 5 months ago
#112 libc: perror behaves incorrectly when its input is an empty string defect minor fixed 4 months ago

Status: new (3 matches)

Ticket Summary Owner Type Priority Resolution Created
#64 Integrate Ballista into DiOS' testsuite. task major 14 months ago
#68 sysconf macros should be inferred via hostabi task major 13 months ago
#110 DiOS: -o {stdout|stderr}:notrace results in a null pointer dereference mornfall defect major 5 months ago
Note: See TracQuery for help on using queries.