Fall-in C: a software tool for pitfall detection in C programs.

Tetsuro Kakeshita, Mariko Oda, Yoshihiro Imamura

Browse the full APSEC paper archive.