Revised: Aug 1, 20141 ECE 263 Embedded System Design Lessons 23, 24 - Exceptions - Resets and Interrupts.
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.