Coccinelle

Tämä artikkeli kertoo tietokoneohjelmasta. Muita merkityksiä täsmennyssivulla.
Coccinelle
Kehityshistoria
Vakaa versio 1.3.0 ()
Tiedot
Lisenssi GPLv2
Aiheesta muualla
Verkkosivusto
Versiohallinta

Coccinelle on C-kielen parseri ja muunnostyökalu, jota käytetään muun muassa Linux-ytimen kehityksessä ja testaamisessa. Ohjelma on suunniteltu staattiseen analyysiin, jossa yhdestä paikasta löydetty ohjelmointivirhe voidaan työkalun avulla helposti korjata myös muissa paikoissa, joissa sama virhe esiintyy.

Ohjelma on saatavilla Linuxille sekä NetBSD:lle ja FreeBSD:lle.

Ohjelman havaitsemia varoituksia seurataan Herodotos-työkalulla.

Historia

Ohjelman alku ajoittuu vuoteen 2004, jolloin sovelluksen kehittäjä Julia Lawall oli sapattivapaalla. Tuohon aikaan Linux-ytimen versio 2.6 oli juuri julkaistu, mutta monet ajurit olivat vielä versiolle 2.4. Ajurien siirtämiseksi oli tarpeen tehdä muutoksia, kuten lisätä parametreja funktiokutsuihin. Ongelman ratkaisuksi Lawall ja kolme muuta kehittivät Coccinellen Kööpenhaminan yliopistossa vuosien 2005 ja 2007 välillä. Ohjelman tuottamia muutostiedostoja ei voi ”sokkona” käyttää vaan on edelleen vastuu tarkistaa tuotetut muutokset.

Käyttö

Ohjelma käyttää semanttisia muutostiedostoja SmPL-kielellä (Semantic Patch Language), jolloin muutokset eivät ole rivikohtaisia vaan kohdentuu vastaavaan merkitykseen.

Esimerkiksi toistuva virhe on loogisten operaatioiden järjestys:

if (!block->flags & ACPI_WMI_METHOD)

Virheen korjaamiseksi oikea järjestys on:

if (!(block->flags & ACPI_WMI_METHOD))

Sen sijaan, että jokainen tapaus etsittäisiin ja korjattaisiin käsin voidaan molemmat tehdä automatisoimalla seuraavasti:

 @@
 expression E;
 constant C;
 @@
 - !E & C
 + !(E & C)

Lähteet

  1. ↑ https://gitlab.inria.fr/coccinelle/coccinelle/-/tags/1.3.0. Tieto on haettu Wikidatasta.
  2. ↑ Michael Kerrisk: KS2012: Kernel build/boot testing 5.9.2012. Lwn.net. Viitattu 7.8.2019. (englanniksi)
  3. ↑ Julia Lawall, Gilles Muller: Coccinelle: 10 years of automated evolution in the Linux kernel dl.acm.org. doi:10.5555/3277355.3277413 Viitattu 27.1.2020. (englanniksi)
  4. 1 2 3 4 5 6 7 8 9 Jake Edge: Inside the mind of a Coccinelle programmer 31.8.2016. Lwn.net. Viitattu 27.1.2020. (englanniksi)
  5. ↑ Coccinelle kernel.org. Viitattu 27.1.2020. (englanniksi) 
  6. ↑ Nicolas Palix, Julia Lawall, Gilles Muller: Tracking Code Patterns over Multiple Software Versions with Herodotos (PDF) coccinelle.lip6.fr. Viitattu 27.1.2020. (englanniksi) [vanhentunut linkki]
  7. ↑ Yoann Padioleau, Julia L. Lawall, Gilles Muller: Semantic Patches (PDF) coccinelle.lip6.fr. Viitattu 27.1.2020. (englanniksi) [vanhentunut linkki]
  8. ↑ Valerie Aurora: Semantic patching with Coccinelle lwn.net. 20.1.2009. Viitattu 22.1.2025. (englanniksi)
  9. ↑ Wolfram Sang: Evolutionary development of a semantic patch using Coccinelle lwn.net. 30.3.2010. Viitattu 22.1.2025. (englanniksi)

Aiheesta muualla