Error provenance in the Linux kernel done with semantic patching
github.com