Safe memory-leak fixing for C programs
Automated concurrency-bug fixing