Fall-in C: a software tool for pitfall detection in C programs. - Tetsuro Kakeshita; Mariko Oda; Yoshihiro Imamura (APSEC, 1994)