Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix. Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification. ECEASST, 33, 2010. [doi]
@article{OlesenHLP10,
title = {{Clang} and {Coccinelle}: Synergising program analysis tools for {CERT C} Secure Coding Standard certification},
author = {Mads Chr. Olesen and René Rydhof Hansen and Julia L. Lawall and Nicolas Palix},
year = {2010},
url = {http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/455},
tags = {program analysis, analysis, C++, certification},
researchr = {https://researchr.org/publication/OlesenHLP10},
cites = {0},
citedby = {0},
journal = {ECEASST},
volume = {33},
}