Olesen, M., Hansen, R., Lawall, J., & Palix, N. (2010). Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification. Electronic Communications of the EASST, 33. https://doi.org/10.14279/tuj.eceasst.33.455