F. Yamaguchi, C. Wressnegger, H. Gascon, and K. Rieck, Chucky: Exposing missing checks in source code for vulnerability discovery