. Archlinux,

A. Bessey, K. Block, B. Chelf, A. Chou, B. Fulton et al., A few billion lines of code later, Communications of the ACM, vol.53, issue.2, pp.66-75, 2010.
DOI : 10.1145/1646353.1646374

J. Bottomley, Maintainer's summit agenda planning. https: //lists.linuxfoundation.org/pipermail/ksummit- discuss, 2017.

N. Brown, Sparse: a look under the hood, p.689907, 2016.

B. , J. Doligez, D. Hansen, R. R. Lawall, J. L. And-muller et al., A foundation for flow-based program matching: using temporal logic and model checking, POPL, pp.114-126, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00297708

. Checkkconfigsymbols,

, Clang vs other open source compilers

. Coccinelle-github-repository,

. Coccinelle and . List,

, Coccinelle website

. Coccinellery,

C. and J. , KS2010: Lightning talks, 2010.

. Cpython,

D. , M. And, C. , and R. D. , A " minimal disruption " skeleton experiment: seamless map & reduce embedding in OCaml, International Conference on Computational Science, pp.1837-1846, 2012.

, 15] Debian. https://packages.debian.org/search? keywords=coccinelle

E. and J. , Inside the mind of a Coccinelle programmer, p.698724, 2016.

E. , D. R. Chelf, B. Chou, A. And-hallem, and S. , Checking system rules using system-specific, programmerwritten compiler extensions, In OSDI, pp.1-16, 2000.

. Fedora,

. Firefox,

. Frama-c,

, Gartner says worldwide sales of smartphones grew 9 percent in first quarter of 2017

. Gentoo,

, Glimpse

H. , V. Kerrisk, and M. Ks2012, Semantic patching with Coccinelle https://lwn Kernel build/boot testing, 2009.

K. , A. Mandrykin, M. Mutilin, V. Novikov, E. Petrenko et al., Configurable toolset for static verification of operating systems kernel modules, Programming and Computer Software, vol.41, issue.1, pp.49-64, 2015.

K. , A. Bissyandébissyand´bissyandé, T. F. Kim, D. Klein, J. Mon-perrus et al., Impact of tool support in patch construction, ISSTA, 2017.

L. , C. And-adve, and V. S. , LLVM: A compilation framework for lifelong program analysis & transformation, CGO, pp.75-88, 2004.

L. , J. Palinski, D. Gnirke, L. And-muller, and G. , Fast and precise retrieval of forward and back porting information for Linux device drivers, USENIX Annual Technical Conference, pp.15-26, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01556589

L. , J. L. Brunel, J. Palix, N. Hansen, R. R. Stu-art et al., WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process, Softw., Pract. Exper, vol.1, pp.43-67, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00940320

, Linux kernel patch submission checklist

L. Http,

L. , J. David, F. Thomas, G. Lawall, J. L. And-muller et al., Fast and portable locking for multicore architectures, ACM Trans. Comput. Syst, vol.4, issue.13, pp.331-1362, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01252167

M. , A. Spensky, C. , C. , J. Stephens et al., CHECKER: A soundy analysis for Linux kernel drivers, USENIX Security, 2017.

M. , D. Eggert, P. And-stallman, R. ´. Erillon, F. et al., Comparing and Merging Files With Gnu Diff and Patch Unified Format section , http://www.gnu.org/software, MARLET, R., AND MULLER, G. Devil: An IDL for hardware programming, 2003.

O. In, USENIX Association

M. and I. , Revert " make 'bt sfi data' const " . https://lkml. org/lkml, 2017.

N. , G. C. Mcpeak, S. Rahul, S. P. And-weimer, and W. , CIL: Intermediate language and tools for analysis and transformation of C programs, Compiler Construction, 11th International Conference LNCS 2304, pp.213-228, 2002.

. Netbsd,

. Outreachy,

P. and Y. , Parsing C/C++ code without pre-processing, CC, pp.109-125, 2009.

P. , Y. Lawall, J. Hansen, R. R. And-muller, and G. , Semantic patches for collateral evolutions in device drivers, Linux Symposium, 2007.

P. , Y. Lawall, J. L. Hansen, R. R. And-muller, and G. , Documenting and automating collateral evolutions in Linux device drivers, EuroSys, pp.247-260, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00123142

P. , Y. Lawall, J. L. And-muller, and G. , Understanding collateral evolution in Linux device drivers, EuroSys, pp.59-71, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00070251

P. , N. Thomas, G. Saha, S. Calv-`-escalv-`-calv-`-es, C. Muller et al., Faults in Linux 2.6, pp.1-440, 2014.

. Qemu,

R. , M. J. Kadav, A. And, and M. M. Swift, Symdrive: Testing drivers without devices, OSDI USENIX, pp.279-292, 2012.

. Riot,

R. , L. R. And-lawall, and J. , Increasing automation in the backporting of Linux drivers using Coccinelle, EDCC (2015), pp.132-143

R. , L. Keys, J. Mirla, B. Raghunath, A. Vij et al., Improved device driver reliability through hardware verification reuse, ASPLOS, pp.133-144, 2011.

S. and W. , Evolutionary development of a semantic patch using Coccinelle, p.380835, 2010.

A. Shevchenko, Revert " make 'bt sfi data' const " . https: //lkml.org/lkml, 2017.

. Sloccount56, H. Stuart, R. R. Hansen, J. L. Lawall, J. Andersen et al., https://blogs.oracle.com/linuxkernel/ smatch-static-analysis-tool-overview,-by-dan- carpenter Towards easing the diagnosis of bugs in OS code, 4th Workshop on Programming Languages and Operating Systems, 2007.

M. M. Swift, M. Annamalai, B. N. Bershad, and H. M. And-levy, Recovering device drivers, ACM Transactions on Computer Systems, vol.24, issue.4, pp.333-360, 2006.
DOI : 10.1145/1189256.1189257

. Systemd,

T. , R. Sincero, J. Dietrich, and C. Schr¨oderschr¨,

P. , W. And-lohmann, and D. , Revealing and repairing configuration inconsistencies in large-scale system software, International Journal on Software Tools for Technology Transfer, vol.14, issue.5, pp.531-551, 2012.

, The kbuild-all archives

T. and L. , Linux kernel source tree. https://git.kernel.org/pub/scm/linux

V. and S. J. , Linux totally dominates supercomputers

. Wine, https://github.com/wine-mirror/wine