Olesen, M. (2010) “Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification”, Electronic Communications of the EASST, 33. doi: 10.14279/tuj.eceasst.33.455.