Coccinelle: Tool support for automated CERT C Secure Coding Standard certification
Authors:
- Mads Chr. OlesenMOMads Chr. Olesen
- René Rydhof HansenRHRené Rydhof Hansen
- Julia L. LawallJLJulia L. Lawall
- Nicolas PalixNPNicolas Palix
- 1 October 2014
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 91, 141-160
Abstract
No abstract availableKeywords
Funding Information
- FTP (274-08-0214)
This publication has 9 references indexed in Scilit:
- A Coding Rule Conformance Checker Integrated into GCCElectronic Notes in Theoretical Computer Science, 2009
- Guest Editors' Introduction: What Kinds of Nails Need a Domain-Specific Hammer?IEEE Software, 2009
- Program comprehension for domain-specific languagesComputer Science and Information Systems, 2008
- Towards easing the diagnosis of bugs in OS code2007
- When and how to develop domain-specific languagesACM Computing Surveys, 2005
- Weighted pushdown systems and their application to interprocedural dataflow analysisScience of Computer Programming, 2005
- On generalized authorization problems2004
- Domain-specific languagesACM SIGPLAN Notices, 2000
- Monotone data flow analysis frameworksActa Informatica, 1977