Semantic Patches Documenting and Automating Collateral Evolutions in Linux Dev

Semantic Patches Documenting and Automating Collateral Evolutions in Linux Device DriversYoann Padioleau EMNpadator@wanadoo.frJulia L. Lawall DIKUjulia@diku.dkGilles Muller EMNGilles.Muller@emn.fr1 IntroductionDevice drivers form the glue code between an operating system and its devices. In Linux, de- vice drivers are highly reliant for this on the various Linux internal libraries, which encap- sulate generic functionalities related to the var- ious busses and device types. In recent years, thes