Olesen, Mads, Rene Hansen, Julia Lawall, and Nicolas Palix. 2010. “Clang and Coccinelle: Synergising Program Analysis Tools for CERT C Secure Coding Standard Certification”. Electronic Communications of the EASST 33 (December). https://doi.org/10.14279/tuj.eceasst.33.455.