About DBpedia Fr

About: http://fr.dbpedia.org/resource/Coccinelle_(logiciel)

An Entity of Type : programming language, from Named Graph : http://fr.dbpedia.org, within Data Space : fr.dbpedia.org

Le logiciel Coccinelle, un outil de correspondance et transformation en langage C, a été réalisé en 2008 par l’actuelle équipe de recherche Whisper (Equipe de projet commune entre l’Inria et la Sorbonne Université) pour faciliter les spécifications et automatisations de l'évolution du noyau Linux. La nouvelle contribution de Coccinelle fut d'autoriser les développeurs à écrire des règles de manipulation de code directement dans la structure syntaxique du code, via la généralisation de (en) de patch. Au fil des années, l’outil Coccinelle a été largement utilisé dans le développement du noyau Linux, aboutissant à plus de 6000 commits, et a trouvé sa place dans le processus de développement de Linux.

thumbnail
Property Value
dbo:abstract
  • Le logiciel Coccinelle, un outil de correspondance et transformation en langage C, a été réalisé en 2008 par l’actuelle équipe de recherche Whisper (Equipe de projet commune entre l’Inria et la Sorbonne Université) pour faciliter les spécifications et automatisations de l'évolution du noyau Linux. La nouvelle contribution de Coccinelle fut d'autoriser les développeurs à écrire des règles de manipulation de code directement dans la structure syntaxique du code, via la généralisation de (en) de patch. Au fil des années, l’outil Coccinelle a été largement utilisé dans le développement du noyau Linux, aboutissant à plus de 6000 commits, et a trouvé sa place dans le processus de développement de Linux. (fr)
  • Le logiciel Coccinelle, un outil de correspondance et transformation en langage C, a été réalisé en 2008 par l’actuelle équipe de recherche Whisper (Equipe de projet commune entre l’Inria et la Sorbonne Université) pour faciliter les spécifications et automatisations de l'évolution du noyau Linux. La nouvelle contribution de Coccinelle fut d'autoriser les développeurs à écrire des règles de manipulation de code directement dans la structure syntaxique du code, via la généralisation de (en) de patch. Au fil des années, l’outil Coccinelle a été largement utilisé dans le développement du noyau Linux, aboutissant à plus de 6000 commits, et a trouvé sa place dans le processus de développement de Linux. (fr)
dbo:license
dbo:namedAfter
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 12936757 (xsd:integer)
dbo:wikiPageLength
  • 72781 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 190129616 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1991 (xsd:integer)
  • 1994 (xsd:integer)
  • 1996 (xsd:integer)
  • 2000 (xsd:integer)
  • 2001 (xsd:integer)
  • 2002 (xsd:integer)
  • 2003 (xsd:integer)
  • 2006 (xsd:integer)
  • 2007 (xsd:integer)
  • 2008 (xsd:integer)
  • 2009 (xsd:integer)
  • 2010 (xsd:integer)
  • 2011 (xsd:integer)
  • 2012 (xsd:integer)
  • 2013 (xsd:integer)
  • 2014 (xsd:integer)
  • 2015 (xsd:integer)
  • 2016 (xsd:integer)
  • 2017 (xsd:integer)
  • 2018 (xsd:integer)
  • 2019 (xsd:integer)
prop-fr:consultéLe
  • 2019-01-07 (xsd:date)
  • 2019-01-09 (xsd:date)
  • 2019-01-10 (xsd:date)
  • 2019-12-28 (xsd:date)
prop-fr:couleurBoîte
  • FF0000 (fr)
  • FF0000 (fr)
prop-fr:dateDePremièreVersion
  • 2010-10-03 (xsd:date)
prop-fr:dernièreVersion
  • 1 (xsd:integer)
prop-fr:doi
  • 10.100200 (xsd:double)
  • 10.100700 (xsd:double)
  • 10.101600 (xsd:double)
  • 10.110900 (xsd:double)
  • 10.114500 (xsd:double)
prop-fr:développeur
  • Equipe Whisper (fr)
  • Equipe Whisper (fr)
prop-fr:fr
  • Analyse de flux de données (fr)
  • C Intermediate Language (fr)
  • CallSite (fr)
  • Collection_ (fr)
  • Faute_ (fr)
  • Fragment_logique (fr)
  • Gestion de la mémoire (fr)
  • Logique du temps arborescent (fr)
  • Manipulation de chaînes de caractères en C (fr)
  • Outreachy (fr)
  • Pointeur nul (fr)
  • Stratego/XT (fr)
  • Syntaxe_ (fr)
  • bloc_ (fr)
  • espace_blanc_ (fr)
  • finalisation (fr)
  • fonction_objet_ (fr)
  • unparse (fr)
  • Analyse de flux de données (fr)
  • C Intermediate Language (fr)
  • CallSite (fr)
  • Collection_ (fr)
  • Faute_ (fr)
  • Fragment_logique (fr)
  • Gestion de la mémoire (fr)
  • Logique du temps arborescent (fr)
  • Manipulation de chaînes de caractères en C (fr)
  • Outreachy (fr)
  • Pointeur nul (fr)
  • Stratego/XT (fr)
  • Syntaxe_ (fr)
  • bloc_ (fr)
  • espace_blanc_ (fr)
  • finalisation (fr)
  • fonction_objet_ (fr)
  • unparse (fr)
prop-fr:genre
prop-fr:id
  • free (fr)
  • github (fr)
  • WYSIWIBdeclarative (fr)
  • WYSIWIBexploiting (fr)
  • aheadoftime (fr)
  • analyzingimpact (fr)
  • automatedapproach (fr)
  • automaticsoftware (fr)
  • automaticverification (fr)
  • beyondexpert (fr)
  • casestudy (fr)
  • checker (fr)
  • cil (fr)
  • coccinelle (fr)
  • coccinelle10yearsevolution (fr)
  • coccinellecode (fr)
  • collateralevolutions (fr)
  • compiler (fr)
  • deltaoriented (fr)
  • detectingerror (fr)
  • devil (fr)
  • enforcingapi (fr)
  • faultslinux (fr)
  • faultslinux10 (fr)
  • filesystem (fr)
  • findingbugs (fr)
  • findingresource (fr)
  • finegrained (fr)
  • foundationflowbased (fr)
  • genericpatch (fr)
  • giveprocess (fr)
  • glimpse (fr)
  • globaltrans (fr)
  • helpful (fr)
  • hercules (fr)
  • idutils (fr)
  • improved (fr)
  • improvingsecurity (fr)
  • increasingautomation (fr)
  • introductioncoccinelle (fr)
  • isitpossible (fr)
  • linuxdevice (fr)
  • menhir (fr)
  • merging (fr)
  • mining (fr)
  • minix (fr)
  • modelextraction (fr)
  • modelling (fr)
  • morpheus (fr)
  • opensslcoccinelle (fr)
  • oserrors (fr)
  • outreachy (fr)
  • patchinference (fr)
  • pfminer (fr)
  • reconcilingpatches (fr)
  • recovering (fr)
  • researchandroid (fr)
  • reverseeng (fr)
  • semanticpatches (fr)
  • shareddevice (fr)
  • sloccount (fr)
  • smatch (fr)
  • smpl (fr)
  • sparse (fr)
  • spatiotemporal (fr)
  • stratego (fr)
  • symdrive (fr)
  • tesla (fr)
  • toolchain (fr)
  • toolsupport (fr)
  • towardsdiagnosis (fr)
  • towardsunder (fr)
  • trackingcode (fr)
  • understandingevolution (fr)
  • understandinggenetic (fr)
  • untrustedhardware (fr)
  • whisper (fr)
  • free (fr)
  • github (fr)
  • WYSIWIBdeclarative (fr)
  • WYSIWIBexploiting (fr)
  • aheadoftime (fr)
  • analyzingimpact (fr)
  • automatedapproach (fr)
  • automaticsoftware (fr)
  • automaticverification (fr)
  • beyondexpert (fr)
  • casestudy (fr)
  • checker (fr)
  • cil (fr)
  • coccinelle (fr)
  • coccinelle10yearsevolution (fr)
  • coccinellecode (fr)
  • collateralevolutions (fr)
  • compiler (fr)
  • deltaoriented (fr)
  • detectingerror (fr)
  • devil (fr)
  • enforcingapi (fr)
  • faultslinux (fr)
  • faultslinux10 (fr)
  • filesystem (fr)
  • findingbugs (fr)
  • findingresource (fr)
  • finegrained (fr)
  • foundationflowbased (fr)
  • genericpatch (fr)
  • giveprocess (fr)
  • glimpse (fr)
  • globaltrans (fr)
  • helpful (fr)
  • hercules (fr)
  • idutils (fr)
  • improved (fr)
  • improvingsecurity (fr)
  • increasingautomation (fr)
  • introductioncoccinelle (fr)
  • isitpossible (fr)
  • linuxdevice (fr)
  • menhir (fr)
  • merging (fr)
  • mining (fr)
  • minix (fr)
  • modelextraction (fr)
  • modelling (fr)
  • morpheus (fr)
  • opensslcoccinelle (fr)
  • oserrors (fr)
  • outreachy (fr)
  • patchinference (fr)
  • pfminer (fr)
  • reconcilingpatches (fr)
  • recovering (fr)
  • researchandroid (fr)
  • reverseeng (fr)
  • semanticpatches (fr)
  • shareddevice (fr)
  • sloccount (fr)
  • smatch (fr)
  • smpl (fr)
  • sparse (fr)
  • spatiotemporal (fr)
  • stratego (fr)
  • symdrive (fr)
  • tesla (fr)
  • toolchain (fr)
  • toolsupport (fr)
  • towardsdiagnosis (fr)
  • towardsunder (fr)
  • trackingcode (fr)
  • understandingevolution (fr)
  • understandinggenetic (fr)
  • untrustedhardware (fr)
  • whisper (fr)
prop-fr:isbn
  • 978 (xsd:integer)
  • 521652006 (xsd:integer)
  • 769507530 (xsd:integer)
  • 1595935770 (xsd:integer)
  • 3540221190 (xsd:decimal)
  • 9781424444229 (xsd:decimal)
  • 9781424465941 (xsd:decimal)
  • 9781450301169 (xsd:decimal)
  • 9781450302081 (xsd:decimal)
  • 9781450312042 (xsd:decimal)
  • 9781450316323 (xsd:decimal)
  • 9781450324601 (xsd:decimal)
  • 9781450327046 (xsd:decimal)
  • 9781450327732 (xsd:decimal)
  • 9781450328876 (xsd:decimal)
  • 9781450330138 (xsd:decimal)
  • 9781450340199 (xsd:decimal)
  • 9781450356381 (xsd:decimal)
  • 9781450360067 (xsd:decimal)
  • 9781467392891 (xsd:decimal)
  • 9781479919345 (xsd:decimal)
  • 9781509011957 (xsd:decimal)
  • 9781595939227 (xsd:decimal)
  • 9781605580135 (xsd:decimal)
  • 9781605583280 (xsd:decimal)
  • 9781605583792 (xsd:decimal)
  • 9781605584508 (xsd:decimal)
  • 9781605585772 (xsd:decimal)
  • 9781605589589 (xsd:decimal)
  • 9781931971447 (xsd:decimal)
prop-fr:issn
  • 38 (xsd:integer)
  • 163 (xsd:integer)
  • 164 (xsd:integer)
  • 167 (xsd:integer)
  • 302 (xsd:integer)
  • 926 (xsd:integer)
  • 950 (xsd:integer)
  • 1000 (xsd:integer)
  • 1553 (xsd:integer)
  • 1557 (xsd:integer)
  • 1558 (xsd:integer)
  • 1571 (xsd:integer)
  • 1573 (xsd:integer)
  • 2047 (xsd:integer)
prop-fr:lang
  • en (fr)
  • en (fr)
prop-fr:langageDeProgrammation
  • Langage C, OCaml et Python (fr)
  • Langage C, OCaml et Python (fr)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:licence
prop-fr:mois
  • décembre (fr)
  • mai (fr)
  • mars (fr)
  • septembre (fr)
  • janvier (fr)
  • juillet (fr)
  • août (fr)
  • avril (fr)
  • juin (fr)
  • novembre (fr)
  • octobre (fr)
  • février (fr)
  • décembre (fr)
  • mai (fr)
  • mars (fr)
  • septembre (fr)
  • janvier (fr)
  • juillet (fr)
  • août (fr)
  • avril (fr)
  • juin (fr)
  • novembre (fr)
  • octobre (fr)
  • février (fr)
prop-fr:nom
  • Bai (fr)
  • Blanc (fr)
  • Chou (fr)
  • Dai (fr)
  • Gien (fr)
  • Keys (fr)
  • Li (fr)
  • Sui (fr)
  • Tu (fr)
  • Yi (fr)
  • Lohmann (fr)
  • Davis (fr)
  • Levy (fr)
  • Chen (fr)
  • Anderson (fr)
  • Ray (fr)
  • Hernandez (fr)
  • Mérillon (fr)
  • Thomas (fr)
  • Watson (fr)
  • Muller (fr)
  • Sasha (fr)
  • Wu (fr)
  • Armand (fr)
  • Benni (fr)
  • Godfrey (fr)
  • Hansen (fr)
  • Hu (fr)
  • Liu (fr)
  • Lu (fr)
  • Ma (fr)
  • Nguyen (fr)
  • Rahul (fr)
  • Ryan (fr)
  • Saha (fr)
  • Stuart (fr)
  • Wang (fr)
  • Xu (fr)
  • Xue (fr)
  • Yang (fr)
  • Zhang (fr)
  • Zhao (fr)
  • Zhou (fr)
  • Andersen (fr)
  • Brunel (fr)
  • Herder (fr)
  • Lo (fr)
  • Merino (fr)
  • Candea (fr)
  • Gibson (fr)
  • Jiang (fr)
  • Laurie (fr)
  • MacKenzie (fr)
  • Martinez (fr)
  • Roth (fr)
  • Swift (fr)
  • Doligez (fr)
  • Leung (fr)
  • Liebig (fr)
  • Lobo (fr)
  • Stephens (fr)
  • Yan (fr)
  • Ziegler (fr)
  • Burgy (fr)
  • Maigné (fr)
  • Rodriguez (fr)
  • Duchamp (fr)
  • Vij (fr)
  • Mao (fr)
  • Joubert (fr)
  • Pottier (fr)
  • Kang (fr)
  • Khoo (fr)
  • Kruegel (fr)
  • Eggert (fr)
  • Donaldson (fr)
  • Reiter (fr)
  • Bos (fr)
  • Jana (fr)
  • Zhu (fr)
  • Grimm (fr)
  • Gallardo (fr)
  • Marlet (fr)
  • Prantl (fr)
  • Ryzhyk (fr)
  • Zhen (fr)
  • Moha (fr)
  • Padioleau (fr)
  • Visser (fr)
  • Calvès (fr)
  • Necula (fr)
  • Apel (fr)
  • Réveillère (fr)
  • Heiser (fr)
  • Legg (fr)
  • Vigna (fr)
  • Weimer (fr)
  • Hofer (fr)
  • Raghunath (fr)
  • Mosser (fr)
  • Abd-El-Malek (fr)
  • Amani (fr)
  • Annamalai (fr)
  • Bershad (fr)
  • Bissyandé (fr)
  • Blendinger (fr)
  • Chavarría-Miranda (fr)
  • Chelf (fr)
  • Chipounov (fr)
  • Chisnall (fr)
  • Chubb (fr)
  • Cipar (fr)
  • Consel (fr)
  • Corina (fr)
  • Elsner (fr)
  • Engler (fr)
  • Falleri (fr)
  • Fiuczynski (fr)
  • Ganger (fr)
  • Garbe (fr)
  • Goel (fr)
  • Gudka (fr)
  • Hallem (fr)
  • Huth (fr)
  • Janker (fr)
  • Kadav (fr)
  • Kartsaklis (fr)
  • Krishnamoorthy (fr)
  • Lawall (fr)
  • Lengauer (fr)
  • Machiry (fr)
  • Manber (fr)
  • Mardinian (fr)
  • Marinos (fr)
  • McKenney (fr)
  • McPeak (fr)
  • Mirla (fr)
  • Monperrus (fr)
  • Morandat (fr)
  • Olesen (fr)
  • Ong (fr)
  • Palix (fr)
  • Panyala (fr)
  • Renzelmann (fr)
  • Rievers (fr)
  • Riveill (fr)
  • Rothberg (fr)
  • Régis-Gianas (fr)
  • Sanghi (fr)
  • Sanán (fr)
  • Searls (fr)
  • Shröder-Preikschat (fr)
  • Spensky (fr)
  • Stallman (fr)
  • Tanenbaum (fr)
  • Tschudin (fr)
  • Wachs (fr)
  • Yuen (fr)
  • Zulie (fr)
  • Bai (fr)
  • Blanc (fr)
  • Chou (fr)
  • Dai (fr)
  • Gien (fr)
  • Keys (fr)
  • Li (fr)
  • Sui (fr)
  • Tu (fr)
  • Yi (fr)
  • Lohmann (fr)
  • Davis (fr)
  • Levy (fr)
  • Chen (fr)
  • Anderson (fr)
  • Ray (fr)
  • Hernandez (fr)
  • Mérillon (fr)
  • Thomas (fr)
  • Watson (fr)
  • Muller (fr)
  • Sasha (fr)
  • Wu (fr)
  • Armand (fr)
  • Benni (fr)
  • Godfrey (fr)
  • Hansen (fr)
  • Hu (fr)
  • Liu (fr)
  • Lu (fr)
  • Ma (fr)
  • Nguyen (fr)
  • Rahul (fr)
  • Ryan (fr)
  • Saha (fr)
  • Stuart (fr)
  • Wang (fr)
  • Xu (fr)
  • Xue (fr)
  • Yang (fr)
  • Zhang (fr)
  • Zhao (fr)
  • Zhou (fr)
  • Andersen (fr)
  • Brunel (fr)
  • Herder (fr)
  • Lo (fr)
  • Merino (fr)
  • Candea (fr)
  • Gibson (fr)
  • Jiang (fr)
  • Laurie (fr)
  • MacKenzie (fr)
  • Martinez (fr)
  • Roth (fr)
  • Swift (fr)
  • Doligez (fr)
  • Leung (fr)
  • Liebig (fr)
  • Lobo (fr)
  • Stephens (fr)
  • Yan (fr)
  • Ziegler (fr)
  • Burgy (fr)
  • Maigné (fr)
  • Rodriguez (fr)
  • Duchamp (fr)
  • Vij (fr)
  • Mao (fr)
  • Joubert (fr)
  • Pottier (fr)
  • Kang (fr)
  • Khoo (fr)
  • Kruegel (fr)
  • Eggert (fr)
  • Donaldson (fr)
  • Reiter (fr)
  • Bos (fr)
  • Jana (fr)
  • Zhu (fr)
  • Grimm (fr)
  • Gallardo (fr)
  • Marlet (fr)
  • Prantl (fr)
  • Ryzhyk (fr)
  • Zhen (fr)
  • Moha (fr)
  • Padioleau (fr)
  • Visser (fr)
  • Calvès (fr)
  • Necula (fr)
  • Apel (fr)
  • Réveillère (fr)
  • Heiser (fr)
  • Legg (fr)
  • Vigna (fr)
  • Weimer (fr)
  • Hofer (fr)
  • Raghunath (fr)
  • Mosser (fr)
prop-fr:numéro
  • 1 (xsd:integer)
  • 2 (xsd:integer)
  • 3 (xsd:integer)
  • 4 (xsd:integer)
  • 5 (xsd:integer)
  • 8 (xsd:integer)
prop-fr:page
  • 4 (xsd:integer)
  • 54 (xsd:integer)
  • 133 (xsd:integer)
  • 305 (xsd:integer)
  • 382 (xsd:integer)
prop-fr:pages
  • 1 (xsd:integer)
  • 3 (xsd:integer)
  • 5 (xsd:integer)
  • 7 (xsd:integer)
  • 10 (xsd:integer)
  • 12 (xsd:integer)
  • 18 (xsd:integer)
  • 25 (xsd:integer)
  • 37 (xsd:integer)
  • 43 (xsd:integer)
  • 47 (xsd:integer)
  • 59 (xsd:integer)
  • 65 (xsd:integer)
  • 67 (xsd:integer)
  • 73 (xsd:integer)
  • 90 (xsd:integer)
  • 103 (xsd:integer)
  • 106 (xsd:integer)
  • 114 (xsd:integer)
  • 119 (xsd:integer)
  • 122 (xsd:integer)
  • 131 (xsd:integer)
  • 132 (xsd:integer)
  • 141 (xsd:integer)
  • 167 (xsd:integer)
  • 169 (xsd:integer)
  • 191 (xsd:integer)
  • 213 (xsd:integer)
  • 216 (xsd:integer)
  • 234 (xsd:integer)
  • 247 (xsd:integer)
  • 279 (xsd:integer)
  • 313 (xsd:integer)
  • 327 (xsd:integer)
  • 333 (xsd:integer)
  • 345 (xsd:integer)
  • 375 (xsd:integer)
  • 380 (xsd:integer)
  • 496 (xsd:integer)
  • 587 (xsd:integer)
  • 601 (xsd:integer)
  • 1007 (xsd:integer)
prop-fr:prénom
  • Dawson (fr)
  • Jonathan (fr)
  • Pan (fr)
  • Qiang (fr)
  • Renaud (fr)
  • A. (fr)
  • Andrew S. (fr)
  • B. (fr)
  • E. (fr)
  • Henry (fr)
  • J. (fr)
  • Laurent (fr)
  • Matthew (fr)
  • Michael (fr)
  • Nicolas (fr)
  • P. (fr)
  • R. (fr)
  • Y. (fr)
  • Christophe (fr)
  • Peter (fr)
  • C. (fr)
  • Adrian (fr)
  • Alexander (fr)
  • Andreas (fr)
  • Ben (fr)
  • Brian (fr)
  • Charles (fr)
  • Christian (fr)
  • Christopher (fr)
  • D. (fr)
  • Damien (fr)
  • Daniel (fr)
  • David (fr)
  • Florian (fr)
  • Frank (fr)
  • François (fr)
  • George (fr)
  • Gilles (fr)
  • John (fr)
  • Julia (fr)
  • Julien (fr)
  • Marco (fr)
  • Michel (fr)
  • Robert (fr)
  • Wolfgang (fr)
  • Dan (fr)
  • Giovanni (fr)
  • Gregory (fr)
  • James (fr)
  • Leonid (fr)
  • Martin (fr)
  • René (fr)
  • S. (fr)
  • Sidney (fr)
  • Herbert (fr)
  • Samuel (fr)
  • Shantanu (fr)
  • Andy (fr)
  • Benjamin (fr)
  • Brooks (fr)
  • Christos (fr)
  • Jesper (fr)
  • Matthew J. (fr)
  • Mona (fr)
  • Nick (fr)
  • Seth (fr)
  • Sun (fr)
  • Wei (fr)
  • Xavier (fr)
  • Xu (fr)
  • Yu (fr)
  • F. (fr)
  • Paul E. (fr)
  • Sébastien (fr)
  • W. (fr)
  • Christoph (fr)
  • Fabrice (fr)
  • Jörg (fr)
  • Mark D. (fr)
  • Oscar (fr)
  • Valentin (fr)
  • Yuan (fr)
  • Ajay (fr)
  • Gaël (fr)
  • Kai (fr)
  • Matias (fr)
  • Vitaly (fr)
  • Alastair (fr)
  • Shen (fr)
  • Jake (fr)
  • Arun (fr)
  • Jean-Rémy (fr)
  • Michael M. (fr)
  • Doc (fr)
  • Sven (fr)
  • G.C. (fr)
  • Michael K. (fr)
  • Floréal (fr)
  • Henrik (fr)
  • S.P. (fr)
  • Chad (fr)
  • Luis R. (fr)
  • Gernot (fr)
  • Yoann (fr)
  • Ilias (fr)
  • Anh Cuong (fr)
  • Aravind (fr)
  • Asim (fr)
  • Baishakhi (fr)
  • Balachandra (fr)
  • Baowen (fr)
  • Garth A. (fr)
  • Gen (fr)
  • Gregory R. (fr)
  • Hareton (fr)
  • Hu-Qiu (fr)
  • Hua (fr)
  • Jia-Ju (fr)
  • Jingling (fr)
  • Jorrit N. (fr)
  • Junjie (fr)
  • Karan (fr)
  • Keng Chai (fr)
  • Khilan (fr)
  • Lingxiao (fr)
  • M.M (fr)
  • Mads Chr (fr)
  • Marc E. (fr)
  • Michael R. A. (fr)
  • Muthukaruppan (fr)
  • Naouel (fr)
  • Peng-Fei (fr)
  • Peter Senna (fr)
  • René Rydhof (fr)
  • Savia (fr)
  • Shi-Min (fr)
  • Shiping (fr)
  • Siau-Cheng (fr)
  • Sriram (fr)
  • Suman (fr)
  • Tegawendé (fr)
  • Udi (fr)
  • Wanja (fr)
  • Wenjing (fr)
  • Yangyang (fr)
  • Yanjie (fr)
  • Yanjin (fr)
  • Yibiao (fr)
  • Yu-Ping (fr)
  • Yulei (fr)
  • Yuming (fr)
  • Zhenyang (fr)
  • jia-Ju (fr)
  • Dawson (fr)
  • Jonathan (fr)
  • Pan (fr)
  • Qiang (fr)
  • Renaud (fr)
  • A. (fr)
  • Andrew S. (fr)
  • B. (fr)
  • E. (fr)
  • Henry (fr)
  • J. (fr)
  • Laurent (fr)
  • Matthew (fr)
  • Michael (fr)
  • Nicolas (fr)
  • P. (fr)
  • R. (fr)
  • Y. (fr)
  • Christophe (fr)
  • Peter (fr)
  • C. (fr)
  • Adrian (fr)
  • Alexander (fr)
  • Andreas (fr)
  • Ben (fr)
  • Brian (fr)
  • Charles (fr)
  • Christian (fr)
  • Christopher (fr)
  • D. (fr)
  • Damien (fr)
  • Daniel (fr)
  • David (fr)
  • Florian (fr)
  • Frank (fr)
  • François (fr)
  • George (fr)
  • Gilles (fr)
  • John (fr)
  • Julia (fr)
  • Julien (fr)
  • Marco (fr)
  • Michel (fr)
  • Robert (fr)
  • Wolfgang (fr)
  • Dan (fr)
  • Giovanni (fr)
  • Gregory (fr)
  • James (fr)
  • Leonid (fr)
  • Martin (fr)
  • René (fr)
  • S. (fr)
  • Sidney (fr)
  • Herbert (fr)
  • Samuel (fr)
  • Shantanu (fr)
  • Andy (fr)
  • Benjamin (fr)
  • Brooks (fr)
  • Christos (fr)
  • Jesper (fr)
  • Matthew J. (fr)
  • Mona (fr)
  • Nick (fr)
  • Seth (fr)
  • Sun (fr)
  • Wei (fr)
  • Xavier (fr)
  • Xu (fr)
  • Yu (fr)
  • F. (fr)
  • Paul E. (fr)
  • Sébastien (fr)
  • W. (fr)
  • Christoph (fr)
  • Fabrice (fr)
  • Jörg (fr)
  • Mark D. (fr)
  • Oscar (fr)
  • Valentin (fr)
  • Yuan (fr)
  • Ajay (fr)
  • Gaël (fr)
  • Kai (fr)
  • Matias (fr)
  • Vitaly (fr)
  • Alastair (fr)
  • Shen (fr)
  • Jake (fr)
  • Arun (fr)
  • Jean-Rémy (fr)
  • Michael M. (fr)
  • Doc (fr)
  • Sven (fr)
  • G.C. (fr)
  • Michael K. (fr)
  • Floréal (fr)
  • Henrik (fr)
  • S.P. (fr)
prop-fr:périodique
  • 10 (xsd:integer)
  • 11 (xsd:integer)
  • 2009 (xsd:integer)
  • 2010 (xsd:integer)
  • 2016 (xsd:integer)
  • 201511 (xsd:integer)
  • dbpedia-fr:Electronic_Notes_in_Theoretical_Computer_Science
  • Cambridge University Press (fr)
  • ACM Computing Surveys (fr)
  • Lecture Notes in Computer Science (fr)
  • ACM SIGPLAN Notices (fr)
  • ACM Transactions on Computer Systems (fr)
  • Science of Computer Programming (fr)
  • ACM SIGOPS Operating Systems Review (fr)
  • Operating Systems Review (fr)
  • ACM SIGARCH Computer Architecture News (fr)
  • Proceedings of the 9th International Conference on aspect-oriented software development (fr)
  • Proceedings of the USENIX 1996 Annual Technical Conference (fr)
  • Proceedings of the 2012 ACM workshop on relaxing synchronization for multicore and manycore scalability (fr)
  • Proceedings of the First Workshop on virtualization in mobile computing (fr)
  • Proceedings of the 5th European conference on computer systems (fr)
  • POPL '09 Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages (fr)
  • Proceedings of the Ninth European Conference on computer systems (fr)
  • Proceedings of the 27th IEEE/ACM International Conference on automated software engineering (fr)
  • Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on computer systems 2008 (fr)
  • Proceedings of the 40th International Conference on software engineering (fr)
  • Proceedings of the companion publication of the 13th international conference on Modularity (fr)
  • ACM Transactions on Storage (fr)
  • Automated Software Engineering (fr)
  • Conférence MiNET: Les systèmes d'exploitation (fr)
  • ERCIM News (fr)
  • Information and Software Technology (fr)
  • Journal Of Software-Evolution and Process (fr)
  • Journal of Computer Science and Technology (fr)
  • Proceedings of the 29th ACM/IEEE international conference on automated software engineering (fr)
  • Parallel Computing (fr)
  • Proceedings of the 25th USENIX Security Symposium (fr)
  • Proceedings of the EurOpen Autumn 1991 Conference (fr)
  • Proceedings of the 1994 Winter USENIX Technical Conference (fr)
  • Software: Practice and Experience (fr)
  • Technical Report IR-CS-018 (fr)
  • The Journal of Systems & Software (fr)
  • USENIX Security (fr)
  • Proceedings of the 2nd International Workshop on feature-oriented software development (fr)
  • Proceedings of the 37th International Conference on software engineering (fr)
  • Proceedings of the Seventh Workshop on programming languages and operating systems (fr)
  • Proceedings of the 8th workshop on aspects, components, and patterns for infrastructure software (fr)
  • Proceedings of the Tenth International Workshop on variability modelling of software-intensive systems (fr)
  • Proceedings of the 1st Workshop on programming language evolution (fr)
  • Proceedings of the IEEE/ACM international conference on automated software engineering (fr)
  • Proceedings of the Fourth USENIX Symposium on Operating Systems Design and Implementation (fr)
  • Proceedings of the 9th Asia-Pacific Workshop on systems (fr)
  • Proceedings 2000 International Conference on Software Maintenance (fr)
  • Proceedings of the 4th workshop on programming languages and operating systems (fr)
  • Proceedings of the 2018 USENIX Annual Technical Conference (fr)
  • Proceedings of the 3rd workshop on programming languages and operating systems (fr)
  • Proceedings of the 4th conference on Symposium on Operating System Design & Implementation (fr)
prop-fr:texte
  • Mémoire (fr)
  • CIL (fr)
  • collection (fr)
  • fonction (fr)
  • bloc (fr)
  • Logique du temps arborescent (fr)
  • Outreachy (fr)
  • Stratego (fr)
  • analyse de flux de données (fr)
  • callsite (fr)
  • espaces blancs (fr)
  • faute (fr)
  • finalize (fr)
  • fragment (fr)
  • pointeur nul (fr)
  • syntaxe (fr)
  • tokens (fr)
  • unparse (fr)
  • Mémoire (fr)
  • CIL (fr)
  • collection (fr)
  • fonction (fr)
  • bloc (fr)
  • Logique du temps arborescent (fr)
  • Outreachy (fr)
  • Stratego (fr)
  • analyse de flux de données (fr)
  • callsite (fr)
  • espaces blancs (fr)
  • faute (fr)
  • finalize (fr)
  • fragment (fr)
  • pointeur nul (fr)
  • syntaxe (fr)
  • tokens (fr)
  • unparse (fr)
prop-fr:titre
  • A Lightweight Method for Building Reliable Operating Systems Despite Unreliable Device Drivers (fr)
  • Automatically Detecting Error Handling Bugs Using Error Specifications (fr)
  • Towards an understanding of change types in bug fixing code (fr)
  • Understanding collateral evolution in Linux device drivers (fr)
  • An automated approach for finding variable-constant pairing bugs (fr)
  • Coccinelle: Tool support for automated CERT C Secure Coding Standard certification (fr)
  • CIL: Intermediate language and tools for analysis and transformation of C programs (fr)
  • Increasing Automation in the Backporting of Linux Drivers Using Coccinelle (fr)
  • Coccinelle: 10 years of Automated Evolution in the Linux Kernel (fr)
  • Global transformations for legacy parallel applications via structural analysis and rewriting (fr)
  • Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel (fr)
  • An empirical study of operating systems errors (fr)
  • Analyzing the Impact of Feature Changes in Linux (fr)
  • Automatic Software Repair: A Bibliography (fr)
  • Automatic verification of active device drivers (fr)
  • Toolchain-independent variant management with the Leviathan filesystem (fr)
  • Beyond expert-only parallel programming? (fr)
  • Devil : An IDL for Hardware Programming (fr)
  • Enforcing the use of API functions in linux code (fr)
  • Evolution in open source software: a case study (fr)
  • Faults in Linux 2.6 (fr)
  • Faults in linux: ten years later (fr)
  • Finding resource-release omission faults in Linux (fr)
  • Fine-grained and accurate source code differencing (fr)
  • Generic patch inference (fr)
  • Give a Process to your Drivers! (fr)
  • HERCULES/PL: the pattern language of HERCULES (fr)
  • ID Utils (fr)
  • Linux Device Driver Emulation in Mach (fr)
  • Menhir reference manual (fr)
  • On reconciling patches and aspects (fr)
  • Outreachy (fr)
  • Recovering device drivers (fr)
  • SLOCCount (fr)
  • Semantic patch inference (fr)
  • Semantic patches considered helpful (fr)
  • Coccinelle: reducing the barriers to modularization in a large C code base (fr)
  • Smatch -- The Source Matcher (fr)
  • Source code of the Coccinelle project (fr)
  • Sparse, Linus & the Lunatics (fr)
  • Symdrive: Testing drivers without devices (fr)
  • TESLA: temporally enhanced system logic assertions (fr)
  • Towards easing the diagnosis of bugs in OS code (fr)
  • SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers (fr)
  • Finding Bugs in Open-Source Software using coccinelle (fr)
  • Spatio-temporal context reduction: a pointer-analysis-based static approach for detecting use-after-free vulnerabilities (fr)
  • WYSIWIB: exploiting fine‐grained program structure in a scriptable API‐usage protocol‐finding process (fr)
  • Untrusted Hardware Causes Double-Fetch Problems in the I/O Memory (fr)
  • A delta-oriented approach to support the safe reuse of black-box code rewriters (fr)
  • DR. CHECKER: A soundy analysis for Linux kernel drivers (fr)
  • Comparing and Merging Files With Gnu Diff and Patch (fr)
  • Logic in Computer Science: Modelling and reasoning about systems (fr)
  • Morpheus: variability-aware refactoring in the wild (fr)
  • Finding Error Handling Bugs in OpenSSL Using Coccinelle (fr)
  • Improving the Security of Infrastructure Software using Coccinelle (fr)
  • Semantic patches for documenting and automating collateral evolutions in Linux device driver (fr)
  • Tracking code patterns over multiple software versions with Herodotos (fr)
  • A foundation for flow-based program matching: using temporal logic and model checking (fr)
  • Program transformation with Stratego/XT rules, strategies, tools, and systems in Stratego/XT 0.9 (fr)
  • Linux use-after-free vulnerability found in Linux 2.6 through 4.20.11 (fr)
  • Research on Android Vulnerability Mining Technology Based on Control Flow Analysis (fr)
  • Shared device driver model for virtualized mobile handsets (fr)
  • Understanding the genetic makeup of Linux device drivers (fr)
  • Documenting and automating collateral evolutions in linux device drivers (fr)
  • Équipe : Whisper - Well Honed Infracstructure Software for Programming Environments and Runtimes (fr)
  • Improved device driver reliability through hardware verification reuse (fr)
  • A model-extraction approach to verifying concurrent C programs with CADP (fr)
  • WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code (fr)
  • GLIMPSE: A Tool to Search Through Entire File Systems (fr)
  • Reverse engineering of binary device drivers with RevNIC (fr)
  • Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions (fr)
  • PF-Miner: A practical paired functions mining method for Android kernel in error paths (fr)
  • File system virtual appliances: Portable file system implementations (fr)
  • Mining and checking paired functions in device drivers using characteristic fault injection (fr)
  • Coccinelle: A program Matching and Transformation Tool for Systems Code (fr)
  • Introduction to Coccinelle and its Usage in the Linux Kernel (fr)
  • Is It Possible to Automatically Port Kernel Modules? (fr)
  • A Lightweight Method for Building Reliable Operating Systems Despite Unreliable Device Drivers (fr)
  • Automatically Detecting Error Handling Bugs Using Error Specifications (fr)
  • Towards an understanding of change types in bug fixing code (fr)
  • Understanding collateral evolution in Linux device drivers (fr)
  • An automated approach for finding variable-constant pairing bugs (fr)
  • Coccinelle: Tool support for automated CERT C Secure Coding Standard certification (fr)
  • CIL: Intermediate language and tools for analysis and transformation of C programs (fr)
  • Increasing Automation in the Backporting of Linux Drivers Using Coccinelle (fr)
  • Coccinelle: 10 years of Automated Evolution in the Linux Kernel (fr)
  • Global transformations for legacy parallel applications via structural analysis and rewriting (fr)
  • Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel (fr)
  • An empirical study of operating systems errors (fr)
  • Analyzing the Impact of Feature Changes in Linux (fr)
  • Automatic Software Repair: A Bibliography (fr)
  • Automatic verification of active device drivers (fr)
  • Toolchain-independent variant management with the Leviathan filesystem (fr)
  • Beyond expert-only parallel programming? (fr)
  • Devil : An IDL for Hardware Programming (fr)
  • Enforcing the use of API functions in linux code (fr)
  • Evolution in open source software: a case study (fr)
  • Faults in Linux 2.6 (fr)
  • Faults in linux: ten years later (fr)
  • Finding resource-release omission faults in Linux (fr)
  • Fine-grained and accurate source code differencing (fr)
  • Generic patch inference (fr)
  • Give a Process to your Drivers! (fr)
  • HERCULES/PL: the pattern language of HERCULES (fr)
  • ID Utils (fr)
  • Linux Device Driver Emulation in Mach (fr)
  • Menhir reference manual (fr)
  • On reconciling patches and aspects (fr)
  • Outreachy (fr)
  • Recovering device drivers (fr)
  • SLOCCount (fr)
  • Semantic patch inference (fr)
  • Semantic patches considered helpful (fr)
  • Coccinelle: reducing the barriers to modularization in a large C code base (fr)
  • Smatch -- The Source Matcher (fr)
  • Source code of the Coccinelle project (fr)
  • Sparse, Linus & the Lunatics (fr)
  • Symdrive: Testing drivers without devices (fr)
  • TESLA: temporally enhanced system logic assertions (fr)
  • Towards easing the diagnosis of bugs in OS code (fr)
  • SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers (fr)
  • Finding Bugs in Open-Source Software using coccinelle (fr)
  • Spatio-temporal context reduction: a pointer-analysis-based static approach for detecting use-after-free vulnerabilities (fr)
  • WYSIWIB: exploiting fine‐grained program structure in a scriptable API‐usage protocol‐finding process (fr)
  • Untrusted Hardware Causes Double-Fetch Problems in the I/O Memory (fr)
  • A delta-oriented approach to support the safe reuse of black-box code rewriters (fr)
  • DR. CHECKER: A soundy analysis for Linux kernel drivers (fr)
  • Comparing and Merging Files With Gnu Diff and Patch (fr)
  • Logic in Computer Science: Modelling and reasoning about systems (fr)
  • Morpheus: variability-aware refactoring in the wild (fr)
  • Finding Error Handling Bugs in OpenSSL Using Coccinelle (fr)
  • Improving the Security of Infrastructure Software using Coccinelle (fr)
  • Semantic patches for documenting and automating collateral evolutions in Linux device driver (fr)
  • Tracking code patterns over multiple software versions with Herodotos (fr)
  • A foundation for flow-based program matching: using temporal logic and model checking (fr)
  • Program transformation with Stratego/XT rules, strategies, tools, and systems in Stratego/XT 0.9 (fr)
  • Linux use-after-free vulnerability found in Linux 2.6 through 4.20.11 (fr)
  • Research on Android Vulnerability Mining Technology Based on Control Flow Analysis (fr)
  • Shared device driver model for virtualized mobile handsets (fr)
  • Understanding the genetic makeup of Linux device drivers (fr)
  • Documenting and automating collateral evolutions in linux device drivers (fr)
  • Équipe : Whisper - Well Honed Infracstructure Software for Programming Environments and Runtimes (fr)
  • Improved device driver reliability through hardware verification reuse (fr)
  • A model-extraction approach to verifying concurrent C programs with CADP (fr)
  • WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code (fr)
  • GLIMPSE: A Tool to Search Through Entire File Systems (fr)
  • Reverse engineering of binary device drivers with RevNIC (fr)
  • Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions (fr)
  • PF-Miner: A practical paired functions mining method for Android kernel in error paths (fr)
  • File system virtual appliances: Portable file system implementations (fr)
  • Mining and checking paired functions in device drivers using characteristic fault injection (fr)
  • Coccinelle: A program Matching and Transformation Tool for Systems Code (fr)
  • Introduction to Coccinelle and its Usage in the Linux Kernel (fr)
  • Is It Possible to Automatically Port Kernel Modules? (fr)
prop-fr:trad
  • Block_ (fr)
  • C_string_handling#strtok (fr)
  • Call_site (fr)
  • Collection_ (fr)
  • Computation_tree_logic (fr)
  • Data-flow_analysis (fr)
  • Finalizer (fr)
  • Fragment_ (fr)
  • Function_object (fr)
  • George_Necula#C_Intermediate_Language (fr)
  • Memory_management_ (fr)
  • Null_pointer (fr)
  • Outreachy (fr)
  • Stratego/XT (fr)
  • Syntax_ (fr)
  • Trap_ (fr)
  • Unparser (fr)
  • Whitespace_character (fr)
  • Block_ (fr)
  • C_string_handling#strtok (fr)
  • Call_site (fr)
  • Collection_ (fr)
  • Computation_tree_logic (fr)
  • Data-flow_analysis (fr)
  • Finalizer (fr)
  • Fragment_ (fr)
  • Function_object (fr)
  • George_Necula#C_Intermediate_Language (fr)
  • Memory_management_ (fr)
  • Null_pointer (fr)
  • Outreachy (fr)
  • Stratego/XT (fr)
  • Syntax_ (fr)
  • Trap_ (fr)
  • Unparser (fr)
  • Whitespace_character (fr)
prop-fr:url
prop-fr:volume
  • 1 (xsd:integer)
  • 4 (xsd:integer)
  • 8 (xsd:integer)
  • 17 (xsd:integer)
  • 23 (xsd:integer)
  • 24 (xsd:integer)
  • 31 (xsd:integer)
  • 32 (xsd:integer)
  • 33 (xsd:integer)
  • 35 (xsd:integer)
  • 40 (xsd:integer)
  • 43 (xsd:integer)
  • 45 (xsd:integer)
  • 46 (xsd:integer)
  • 47 (xsd:integer)
  • 48 (xsd:integer)
  • 51 (xsd:integer)
  • 73 (xsd:integer)
  • 77 (xsd:integer)
  • 83 (xsd:integer)
  • 86 (xsd:integer)
  • 91 (xsd:integer)
  • 121 (xsd:integer)
  • 166 (xsd:integer)
  • 2304 (xsd:integer)
  • 3016 (xsd:integer)
  • 20190924 (xsd:integer)
prop-fr:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • Le logiciel Coccinelle, un outil de correspondance et transformation en langage C, a été réalisé en 2008 par l’actuelle équipe de recherche Whisper (Equipe de projet commune entre l’Inria et la Sorbonne Université) pour faciliter les spécifications et automatisations de l'évolution du noyau Linux. La nouvelle contribution de Coccinelle fut d'autoriser les développeurs à écrire des règles de manipulation de code directement dans la structure syntaxique du code, via la généralisation de (en) de patch. Au fil des années, l’outil Coccinelle a été largement utilisé dans le développement du noyau Linux, aboutissant à plus de 6000 commits, et a trouvé sa place dans le processus de développement de Linux. (fr)
  • Le logiciel Coccinelle, un outil de correspondance et transformation en langage C, a été réalisé en 2008 par l’actuelle équipe de recherche Whisper (Equipe de projet commune entre l’Inria et la Sorbonne Université) pour faciliter les spécifications et automatisations de l'évolution du noyau Linux. La nouvelle contribution de Coccinelle fut d'autoriser les développeurs à écrire des règles de manipulation de code directement dans la structure syntaxique du code, via la généralisation de (en) de patch. Au fil des années, l’outil Coccinelle a été largement utilisé dans le développement du noyau Linux, aboutissant à plus de 6000 commits, et a trouvé sa place dans le processus de développement de Linux. (fr)
rdfs:label
  • Coccinelle (logiciel) (fr)
  • Coccinelle (software) (en)
  • Coccinelle (ソフトウェア) (ja)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License