Automating Program Transformation with Coccinelle
| Autor: | Lawall, Julia, Muller, Gilles |
|---|---|
| Přispěvatelé: | Lawall, Julia, Well Honed Infrastructure Software for Programming Environments and Runtimes (Whisper), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria) |
| Jazyk: | angličtina |
| Rok vydání: | 2022 |
| Předmět: |
Linux kernel
program transformation Coccinelle [INFO.INFO-OS] Computer Science [cs]/Operating Systems [cs.OS] [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE] [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS] [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] |
| Zdroj: | 2022 NASA Formal Methods-14th International Symposium 2022 NASA Formal Methods-14th International Symposium, May 2022, Pasadena, CA, USA, United States |
| Popis: | International audience; Coccinelle is a program matching and transformation engine for C code. This paper introduces the use of Coccinelle through a collection of examples targeting evolutions and bug xes in the Linux kernel. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|