Custom Query (18 matches)


Show under each result:

Ticket Summary Status Owner Type Priority Milestone
#10 Memory leak from symbolic values. new defect major 5.0
#26 The weakmem runtime leaks memory assigned Vladimír Štill defect major 5.0
#35 Track origins of memory objects. new feature major 5.0
#45 Add support for __atomic_* libcalls new defect major 5.0
#47 Benchmark abstraction cleanup influence assigned Henrich Lauko task major 5.0
#48 Destroy symbolic formula directly when 0 reference count is reached assigned Henrich Lauko feature major 4.3
#64 Integrate Ballista into DiOS' testsuite. new task major 4.4
#68 sysconf macros should be inferred via hostabi new task major 4.4
#87 Struct self-assignment results in assertion failure in memcpy accepted mornfall defect major 4.3
#90 VFS: Divine segfaults while loading when capturing a diffutils directory new defect major 4.3
#96 DiOS: Passing the debug:faultcfg option results in null pointer dereference in kernel accepted Vladimír Štill defect major 4.4
#97 DiOS: Passing the debug:mainargs option results in config error in kernel accepted Vladimír Štill defect major 4.4
#110 DiOS: -o {stdout|stderr}:notrace results in a null pointer dereference new mornfall defect major 4.4
#111 libc: zero size allocations are handled improperly accepted Henrich Lauko defect major 4.4
#39 Hunt down libc functions that should be defined weak assigned blurry task minor 5.0
#63 Use refcount_ptr in DiOS. new task minor 5.0
#92 divine info is outdated accepted Vladimír Štill defect minor 4.3
#107 unreachable executed: unknown binary operation fp.leq assigned Henrich Lauko defect minor 4.4
Note: See TracQuery for help on using queries.