Static analysis of semantic differences in kernel versions - View it on GitHub