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 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftElectronic Communications of the EASST
Vol/bind33
Antal sider18
ISSN1863-2122
StatusUdgivet - 1 sep. 2010

Citationsformater