Improving the Security of Infrastructure Software using Coccinelle.

Abstract : Finding and fixing programming errors in deployed software is often a slow, painstaking, and expensive process. In order to minimise this problem, static analysis is increasingly being adopted as a way to find programming errors before the software application is released. Coccinelle is a program matching and transfor-mation tool that makes it easy for developers to express static analysis-based software defect-finding rules and scan software source code for potential defects.
Document type :
Journal articles
Liste complète des métadonnées
Contributor : Nicolas Palix <>
Submitted on : Friday, January 31, 2014 - 6:04:15 PM
Last modification on : Friday, March 22, 2019 - 4:46:03 PM


  • HAL Id : hal-00940366, version 1


Julia Lawall, René Hansen, Nicolas Palix, Gilles Muller. Improving the Security of Infrastructure Software using Coccinelle.. ERCIM News, ERCIM, 2010, pp.54. 〈hal-00940366〉



Record views