Coccinelle: Le Linux Kernel's Source-to-Source Transformation Tool

O le Coccinelle ose mea faigaluega mamana e suia ai puna'oa na mua'i fuafuaina e fa'autometi suiga tetele i luga o le Linux kernel codebase. O lo'o fa'aaogaina se gagana fa'apitoa e ta'ua o le SmPL (Semantic Patch Language) e fa'aalia ai fa'asologa o tulafono ma suiga, e mafai ai e tagata atia'e ona su'e ma fa'asa'o ni fa'aletonu, fa'afou API ua le toe fa'aaogaina, ma toe fa'afo'i le faitau miliona o laina o le C code i le fa'ama'i tipitipi.

O le a le Coccinelle ma Aisea e Manaomia ai e le Linux Kernel?

O le fatu Linux o se tasi lea o poloketi fa'akomepiuta sili ona galulue fa'atasi i le tala fa'asolopito, o lo'o i ai le silia ma le 30 miliona laina fa'ailoga na saofagā e le faitau afe o tagata atia'e. Pe a maua se API i totonu poʻo se faʻataʻitaʻiga faʻasologa o pusa, o le faʻafouina ma le lima o faila uma e aʻafia e le naʻo le faʻafefe - e toetoe lava a le mafai e aunoa ma le faʻaalia o mea sese fou. Ole fa'afitauli tonu lea na fausia e Coccinelle e foia.

Na fa'atupuina e tagata su'esu'e i Inria ma le Iunivesite o Copenhagen, Coccinelle e fa'ataga ai e tausi fatu fatu e tusia ni fa'ailoga fa'aoga - tulafono pupuu e fa'amatala uma ai le mamanu fa'atusa e fetaui ma le suiga e fa'aoga. E le pei o le su'esu'eina o tusitusiga ma sui po'o fa'amatalaga masani, e malamalama Coccinelle i le C syntax ma semantics. E mafai ona fa'afetauia le fa'ailoga e tusa lava po'o le a le avanoa pa'epa'e, igoa fesuisuia'i, po'o ni eseesega fa'avae laiti, ma fa'alagolago tele ai mo le toe fa'aoma'i fa'aautomatika tele.

Talu mai lona fa'aofiina, o Coccinelle o lo'o nafa ma le faitau afe o tautinoga i totonu o le fatu Linux, ma o lona tu'ufa'atasia i totonu o le fatu o galuega fa'atupuina o le fatu ua avea ai ma se vaega taua o le si'osi'omaga.

E Fa'afefea ona Fa'aoga le SmPL (Semantic Patch Language)?

I le fatu o Coccinelle o le SmPL, o se fa'ailoga e pei o patch e fa'ataga ai le au atia'e e fa'aalia suiga i se auala e masani ai. O se fa'ailoga semantic e foliga tutusa ma se 'ese'ese tu'ufa'atasi, fa'aaoga - e fa'ailoga ai le code e tatau ona aveese ma + e fa'ailoa ai le mea e tatau ona sui ai. Peita'i, e fa'agaoioi le SmPL i le fa'avasegaina o la'au fa'atasi nai lo o tusitusiga mata'utia.

Mo se fa'ata'ita'iga, afai e fa'ate'aina e le fatu se galuega e pei o kmalloc fa'apipi'i ma memset ae fa'atatau i le kzalloc, e mafai e le tagata atia'e ona tusia se tulafono SmPL pu'upu'u e fetaui ma fa'ata'ita'iga uma o le mamanu tuai i luga o le codebase atoa ma sui otometi. O le tulafono o lo'o fa'aalia ai suiga i le fa'atonuga o finauga, ituaiga fa'asino, ma tala fa'ata'amilosaga - o se mea e leai se fa'amatalaga masani e mafai ona fa'amoemoeina.

"E le na'o le sailia e Coccinelle o tusitusiga - e malamalama i le fausaga o tulafono.

E lagolagoina fo'i e le SmPL ia su'esu'ega fa'atusa, lea e fai ma fa'aigoa e mafai ona fetaui ma so'o se fa'aaliga, fa'ailoa, po'o ituaiga. O le mea lea e mafai ai ona toe fa'aaogaina tulafono ma fetu'una'i i fa'ata'ita'iga o lo'o aliali mai i fa'ailoga eseese i totonu o le codebase.

O a mea e masani ona fa'aaogaina mo Coccinelle?

O le agava'a o Coccinelle e fa'alautele atu i tua atu o femalagaiga API faigofie. O lo'o fa'alagolago iai le au atia'e ma tagata tausi kenel mo le tele o galuega e semanu e alu ai le tele o le taimi ma le gauai.

• Evolution API: Pe a suia saini galuega po'o fa'aofi mai afifi, e mafai e Coccinelle ona fa'afouina so'o se saite telefoni, fa'amautinoa le tutusa i vaega laiti.
• Su'eina o pusi: E mafai e tulafono a le SmPL ona fa'ailoa mai fa'ata'ita'iga fa'aletonu e pei o le misia o siaki, sese le fa'afoeina o mea sese, fa'aoga-pe'ā leai se fa'aoga, ma puna'oa.
• Faiga fa'aonaponei: A'o fa'atupula'ia tulaga fa'avasega, e fesoasoani le Coccinelle e fa'asolo mai fa'asologa tuai i mea fa'aonapo nei - mo se fa'ata'ita'iga, sui o fa'amaufa'ailoga e ta'ai lima i macro fa'ata'atia.
• O suiga fa'aletupe: Pe a suia se faletusi po'o se fa'aoga aveta'avale, e tatau ona fetuutuuna'i tulafono fa'alagolago uma. O Coccinelle e fa'afoeina nei "tulaga fa'aleagaga" e ala i le fa'asalalauina o suiga i tagata fa'atau uma i lalo.
• Fa'amalosia le faiga: I tua atu o suiga fa'atino, e mafai e Coccinelle ona fa'amalosia tulafono fa'asolo, fa'aitiitia le pisapisao i iloiloga fa'ailoga ma fa'aleleia atili le faitau.

O le Linux kernel source tree e o'o lava ina lafo atu se scripts/coccinelle/ fa'asinomaga tu'ufa'atasi o lo'o iai tulafono SmPL ua uma ona fai e mafai e tagata atia'e ona tamo'e e siaki a latou patch a'o le'i tu'uina atu.

E mafai ona fa'aoga Coccinelle i fafo o le Linux Kernel?

A'o fanau mai Coccinelle mai le atina'eina o fatu Linux, e le gata i lea. So'o se C codebase - fa'apipi'i faiga fa'amaumau, fa'aoga avanoa mo tagata fa'aoga, vaega o faiga fa'aogaina - e mafai ona fa'amanuiaina mai le gafatia o le suiga o Coccinelle. Poloketi e pei o le Uaina, OpenSSL, ma fa'asoa BSD eseese ua fa'aaogaina mo a latou lava galuega fa'aleleia.

O le meafaigaluega foi e avea o se faavae mo suʻesuʻega faʻale-aʻoaʻoga i le atinaʻeina o masini komepiuta, faʻaleleia polokalame faʻaautomatika, ma suʻesuʻega faʻapitoa. O lona tomai e fa'aalia ai fa'ailoga lavelave i se faiga e mafai ona faitau ma fa'ailoa ua avea ai ma mea faigaluega fa'aa'oa'oga lelei tele mo le malamalama i le fa'agasologa o faiga faakomepiuta tetele i le aluga o taimi.

Mo 'au o lo'o fa'afoeina talatuu C codebases, e mafai e Coccinelle ona fa'aititia tele le tau ma le lamatiaga o taumafaiga fa'aonaponei. Nai lo le tofia o inisinia e su'e tusilima ma fa'afou le faitau afe o faila, e mafai ona fa'ataunu'uina e se fa'ailoga semantic se tasi ua lelei ona fai le galuega lava e tasi i minute ma le sa'o sili atu.

Fesili e Fai soo

E na'o le aoga o Coccinelle mo polokalame C?

O Coccinelle na fa'atulagaina faapitoa mo C ma e sili ona aoga i fa'amaumauga C codebases. Sa i ai fa'aopoopoga fa'ata'ita'iga ma su'esu'ega su'esu'ega lagolago mo isi gagana, ae o le meafaigaluega ua saunia mo le gaosiga o lo'o taula'i i le C. Mo 'au o lo'o galulue fa'atasi ma faiga fa'avae C - mai masini fa'apipi'i i faiga fa'aoga - o lo'o tumau pea le meafaigaluega fa'aliliu fa'aautomate aupito sili ona aoga o lo'o avanoa.

E fa'apefea ona fa'atusatusa Coccinelle i mea faigaluega pei o sed, awk, po'o codemod?

O mea faigaluega masani e fa'agasolo ai tusitusiga e fa'agaoioi i luga o manoa e aunoa ma le malamalama i le fa'atulagaina o tulafono. E le mafai ona latou iloa le eseesega i le va o se igoa fesuia'i ma se fa'amatalaga o lo'o i ai le tusitusiga e tasi, e le mafai fo'i ona latou fa'amauina le fa'aliliuga fa'aopoopo i le auala e fa'aalia ai le manatu tutusa. O le Coccinelle e su'e le C code moni ma galue i luga o lona la'au fa'aupuga, o lona uiga e la'ititi lava fa'amatalaga sese ma e le mafai ona fa'atupuina fa'asolo mai se tulafono tusitusia sa'o.

E mafai e tagata amata ona a'oa'oina le fa'aoga lelei o le Coccinelle?

Ioe, e ui lava o lo'o i ai se fa'aa'oa'oga. O le gagana SmPL ua mamanuina ma le loto i ai e pei o eseesega tu'ufa'atasi, lea ua iloa e le to'atele o tagata atia'e le faitau. O faʻamaumauga a Coccinelle e maua ai le tele o faʻataʻitaʻiga e amata mai i suiga faigofie i tusitusiga lavelave tele-tulafono. O le tele o tagata fou e amata i le su'esu'eina o tulafono o lo'o i ai i le Linux kernel's scripts/coccinelle/ directory ma fetuutuuna'i mo latou lava mana'oga.

Fa'amalie Au Lava Fa'agaioiga Pisinisi

E pei lava ona fa'autometi e Coccinelle suiga lavelave i fa'amaufa'ailoga tetele, o le fa'apolokalame pisinisi sa'o e fa'autometi ai galuega lavelave i lau fa'alapotopotoga atoa. Mewayz aumaia 207 faʻapipiʻi modules - mai le pulega o poloketi ma CRM i pili ma HR - i totonu o se faiga faʻaogaina e tasi mo lau pisinisi. Nai lo le su'iina fa'atasi o le tele o mea faigaluega motumotu, e te maua se tasi fa'avae tu'ufa'atasi e fa'atuatuaina e le silia ma le 138,000 tagata fa'aoga. Fuafuaga e amata ile $19/masina. Amata lau su'ega fua ile app.mewayz.com ma iloa le uiga o le fa'agaioi o lau pisinisi ile autopilot.