1. 2

The Dreamliner lobste.rs post mentions the DIODE (Directed Integer Overflow Discovery Engine) which is covered in this paper from MIT’s CSAIL lab.

  1.