Work

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