Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification

Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix. Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification. ECEASST, 33, 2010. [doi]

Abstract

Abstract is missing.