M. Olesen, R. Hansen, J. Lawall, and N. Palix, “Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification”, eceasst, vol. 33, Dec. 2010.