A comparable, powerful system (CodeQL) was used recently on the kernel[1] and Chrome. You can learn more about it here:
https://codeql.github.com/docs/codeql-overview/about-codeql/(disclosure: I work at GH on CQL)
[1] https://pwning.systems/posts/sequoia-variant-analysis/
