,
A few billion lines of code later, Communications of the ACM, vol.53, issue.2, pp.66-75, 2010. ,
DOI : 10.1145/1646353.1646374
Maintainer's summit agenda planning. https: //lists.linuxfoundation.org/pipermail/ksummit- discuss, 2017. ,
Sparse: a look under the hood, p.689907, 2016. ,
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
,
, Clang vs other open source compilers
,
,
, Coccinelle website
,
KS2010: Lightning talks, 2010. ,
,
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
Inside the mind of a Coccinelle programmer, p.698724, 2016. ,
Checking system rules using system-specific, programmerwritten compiler extensions, In OSDI, pp.1-16, 2000. ,
,
,
,
, Gartner says worldwide sales of smartphones grew 9 percent in first quarter of 2017
,
, Glimpse
Semantic patching with Coccinelle https://lwn Kernel build/boot testing, 2009. ,
Configurable toolset for static verification of operating systems kernel modules, Programming and Computer Software, vol.41, issue.1, pp.49-64, 2015. ,
Impact of tool support in patch construction, ISSTA, 2017. ,
LLVM: A compilation framework for lifelong program analysis & transformation, CGO, pp.75-88, 2004. ,
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
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
,
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
CHECKER: A soundy analysis for Linux kernel drivers, USENIX Security, 2017. ,
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. ,
, USENIX Association
Revert " make 'bt sfi data' const " . https://lkml. org/lkml, 2017. ,
CIL: Intermediate language and tools for analysis and transformation of C programs, Compiler Construction, 11th International Conference LNCS 2304, pp.213-228, 2002. ,
,
,
Parsing C/C++ code without pre-processing, CC, pp.109-125, 2009. ,
Semantic patches for collateral evolutions in device drivers, Linux Symposium, 2007. ,
Documenting and automating collateral evolutions in Linux device drivers, EuroSys, pp.247-260, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00123142
Understanding collateral evolution in Linux device drivers, EuroSys, pp.59-71, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00070251
, Faults in Linux 2.6, pp.1-440, 2014.
,
Symdrive: Testing drivers without devices, OSDI USENIX, pp.279-292, 2012. ,
,
Increasing automation in the backporting of Linux drivers using Coccinelle, EDCC (2015), pp.132-143 ,
Improved device driver reliability through hardware verification reuse, ASPLOS, pp.133-144, 2011. ,
Evolutionary development of a semantic patch using Coccinelle, p.380835, 2010. ,
Revert " make 'bt sfi data' const " . https: //lkml.org/lkml, 2017. ,
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. ,
Recovering device drivers, ACM Transactions on Computer Systems, vol.24, issue.4, pp.333-360, 2006. ,
DOI : 10.1145/1189256.1189257
,
,
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
Linux kernel source tree. https://git.kernel.org/pub/scm/linux ,
Linux totally dominates supercomputers ,
https://github.com/wine-mirror/wine ,