Olesen, Mads, et al. “Clang and Coccinelle: Synergising Program Analysis Tools for CERT C Secure Coding Standard Certification”. Electronic Communications of the EASST, vol. 33, Dec. 2010, doi:10.14279/tuj.eceasst.33.455.