Custom Query (20 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Status Owner Type Milestone Priority
#3 Aggregate and garbage-collect *_log tables. new mornfall feature future major
#4 Implement exec --symbolic. assigned adamatousek feature 4.2 major
#6 Improve support for debugging inlined functions new mornfall defect 4.2 major
#10 Memory leak from symbolic values. new defect future major
#16 Undetected double free new mornfall defect future major
#17 Generalize smt builder interface to be usable with different back-ends. assigned xlauko feature future major
#18 Implement string modification abstraction. new xlauko task future major
#19 SYM: Spurious errors due to infeasible explicit values assigned xlauko defect future major
#22 Use lifetime markers to move allocas new xlauko task future major
#24 divcc needs native libc++ and libc++abi to build C++ programs new defect future major
#26 The weakmem runtime leaks memory assigned Vladimír Štill defect future major
#31 Capture 'mount points' are confusing. new mornfall task future major
#32 Allow usermeta layers to be weak (debug). new mornfall feature future major
#33 Return the list of leaked objects back to userspace. new mornfall feature future major
#34 Add _VM_T_StackTrace to __vm_trace. new mornfall feature future major
#35 Track origins of memory objects. new feature future major
#36 Assign 'types' (weak, marked) to objects, not to pointers. new mornfall task future major
#37 Update libc++ and libc++abi. new task future major
#38 Report attempts to use symbolic data if symbolic is disable new mornfall defect future major
#40 Error with _SYM and array indexing (worked in 4.1.6) new xlauko feature future major
Note: See TracQuery for help on using queries.