LLVM has a novel <a href="pubs/2004-01-30-CGO-LLVM.html">lifelong compilation 
model</a>, which allows program analysis and transformation through-out the 
lifetime of the program (compile-time, link-time, install-time, run-time, 
offline) without requiring special makefiles.