[minxomat]

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/

[X6S1x6Okd1st]

Oof on the terms & conditions:

https://securitylab.github.com/tools/codeql/license/