Comment by mikestorrent

Static analysis and other tools can find this, but they're expensive; wonder what the kernel team has access to?