Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification

Mads Chr. Olesen, Rene Rydhof Hansen, Julia Lawall, Nicolas Jean-Michel Palix

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

Original language	English
Journal	Electronic Communications of the EASST
Volume	33
Number of pages	18
ISSN	1863-2122
Publication status	Published - 1 Sept 2010

Access to Document

@inproceedings{fc1f40fed68444e3bde861bb492c477d,

title = "Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification",

author = "Olesen, {Mads Chr.} and Hansen, {Rene Rydhof} and Julia Lawall and Palix, {Nicolas Jean-Michel}",

year = "2010",

month = sep,

day = "1",

language = "English",

volume = "33",

journal = "Electronic Communications of the EASST",

issn = "1863-2122",

publisher = "European Association of Software Science and Technology",

}

TY - GEN

T1 - Clang and Coccinelle

T2 - Synergising program analysis tools for CERT C Secure Coding Standard certification

AU - Olesen, Mads Chr.

AU - Hansen, Rene Rydhof

AU - Lawall, Julia

AU - Palix, Nicolas Jean-Michel

PY - 2010/9/1

Y1 - 2010/9/1

M3 - Conference article in Journal

SN - 1863-2122

VL - 33

JO - Electronic Communications of the EASST

JF - Electronic Communications of the EASST

ER -