Semantic patches for documenting and automating collateral evolutions in Linux device drivers | Synapse