For those that follow game development, John Carmack had this to say at QuakeCon 2012: "But, one of my pushes on the greater use of static analysis and verific

For those that follow game development, John Carmack had this to say at QuakeCon 2012: "But, one of my pushes on the greater use of static analysis and verification technologies, is I pretty strongly suspect that the Clang LLVM sort of ecosystem that's living on OS X is going to be, I hope, fertile ground for a whole lot of analysis tools and we'll wind up benefiting by moving more of our platform continuously onto OS X just for that ability to take advantage of additional tools there." [1] [1] https://www.youtube.com/watch?v=wt-iVFxgFWk#t=45m4s https://www.youtube.com/watch?v=wt-iVFxgFWk#t=45m4s