Sound Analysis and Extensions for C
Language support for performance debugging
Debugging and optimizing Makefiles
Language support for asynchronous IO
A framework for authoring DSLs
Compiler infrastructure projects
Static analysis of iOS apps?