Return to Article Details Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification Download Download PDF