Static analysis tools and sample exploits discussed in my paper "Interrupt-oriented Programming in Microcontrollers: Codeless and Dataless Attacks and Backdoors"