Skip to Main content Skip to Navigation
Journal articles

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
Complete list of metadata
Contributor : Nicolas Palix Connect in order to contact the contributor
Submitted on : Friday, January 31, 2014 - 6:04:15 PM
Last modification on : Friday, August 5, 2022 - 12:31:18 PM


  • HAL Id : hal-00940366, version 1


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



Record views