Olesen, M.; Hansen, R.; Lawall, J.; Palix, N. Clang and Coccinelle: Synergising Program Analysis Tools for CERT C Secure Coding Standard Certification. ECEASST 2010, 33.