How to Build Your Own Static Analyzer For Fun and Profit Dr. Andy Chou Chief Scientist
Weird things that surprise academics trying to commercialize a static checking tool.