Davide Pozza, Riccardo Sisto: A Lightweight Security Analyzer inside GCC. ARES 2008: 851-858