Automatic detection of printf format string vulnerabilities in software applications using static analysis. - Radha Vedala; Simhadri Anil Kumar (CUBE, 2012)