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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citation (Scopus)
OriginalsprogEngelsk
TidsskriftElectronic Communications of the EASST
Vol/bind33
Antal sider18
ISSN1863-2122
StatusUdgivet - 1 sep. 2010

Citer dette

@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 = "9",
day = "1",
language = "English",
volume = "33",
journal = "Electronic Communications of the EASST",
issn = "1863-2122",
publisher = "European Association of Software Science and Technology",

}

Clang and Coccinelle : Synergising program analysis tools for CERT C Secure Coding Standard certification. / Olesen, Mads Chr.; Hansen, Rene Rydhof; Lawall, Julia; Palix, Nicolas Jean-Michel.

I: Electronic Communications of the EASST, Bind 33, 01.09.2010.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

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

VL - 33

JO - Electronic Communications of the EASST

JF - Electronic Communications of the EASST

SN - 1863-2122

ER -