Custom Query (17 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Resolution: fixed (13 matches)

Ticket Summary Owner Type Priority Component Created
#70 libpng tests in divine hit op != OpCode::Call in setjmp blurrymoi defect major divcc 5 years ago
#75 cmake: Build of 4.4.2 fails due to missing target dependencies mornfall defect major other 5 years ago
#85 testsuite: Some simulator tests fail consistently on Fedora mornfall defect major sim 5 years ago
#99 The '+' character in nightly tars breaks some tests mornfall defect major other 5 years ago
#103 libc: strcpy and strncpy do not check if the strings overlap mornfall defect major DiOS 4 years ago
#110 DiOS: -o {stdout|stderr}:notrace results in a null pointer dereference mornfall defect major DiOS 4 years ago
#96 DiOS: Passing the debug:faultcfg option results in null pointer dereference in kernel Vladimír Štill defect major DiOS 5 years ago
#97 DiOS: Passing the debug:mainargs option results in config error in kernel Vladimír Štill defect major DiOS 5 years ago
#98 testsuite: Testsuite does not use clang from Divine's toolchain Vladimír Štill defect major other 5 years ago
#111 libc: zero size allocations are handled improperly Henrich Lauko defect major DiOS 4 years ago
#100 libc: getline implementation incorrectly checks the failure of realloc defect major DiOS 5 years ago
#109 libc: calloc forgets to set errno whenever it fails defect major DiOS 4 years ago
#112 libc: perror behaves incorrectly when its input is an empty string defect minor DiOS 4 years ago

Resolution: duplicate (2 matches)

Ticket Summary Owner Type Priority Component Created
#102 VFS: DiOS fails to boot when capturing an absolute path mornfall defect major other 4 years ago
#108 symbolic: __VERIFIER_nondet_(u)int() causes a memory leak defect major DiOS 4 years ago

Resolution: worksforme (2 matches)

Ticket Summary Owner Type Priority Component Created
#114 divine check fails with "cannot enter kernel mode here" mornfall defect major other 4 years ago
#115 make says "missing separator" on CentOS 7 mornfall defect major other 4 years ago
Note: See TracQuery for help on using queries.