OLESEN, Mads; HANSEN, Rene; LAWALL, Julia; PALIX, Nicolas. Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification. Electronic Communications of the EASST, [S. l.], v. 33, 2010. DOI: 10.14279/tuj.eceasst.33.455. Disponível em: https://www.eceasst.org/index.php/eceasst/article/view/1725. Acesso em: 2 sep. 2025.