Coccinelle: tool support for automated CERT C Secure Coding Standard certification

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

  • Mads Chr. Olesen
  • Rene Rydhof Hansen
  • Julia Lawall
  • Nicolas Jean-Michel Palix
Original languageEnglish
JournalScience of Computer Programming
Volume91
Issue numberPart B
Pages (from-to)141-160
Number of pages20
ISSN0167-6423
DOIs
Publication statusPublished - 2014
Event4th International Workshop on Foundations and Techniques for OPEN SOURCE SOFTWARE CERTIFICATION (OpenCert 2010) - Pisa, Italy
Duration: 17 Sep 2010 → 18 Sep 2010

Conference

Conference4th International Workshop on Foundations and Techniques for OPEN SOURCE SOFTWARE CERTIFICATION (OpenCert 2010)
CountryItaly
CityPisa
Period17/09/2010 → 18/09/2010

    Research areas

  • Automated tool support, CERT C Secure Coding, Certification

ID: 161585007