3 ms·
Oh wow, mindblowing stuff. Glad to see tech like this being open sourced, fuels the imagination about possible future scenarios. Do you use it on the Linux Kern
by scns 5y ago
Oh wow, mindblowing stuff. Glad to see tech like this being open sourced, fuels the imagination about possible future scenarios. Do you use it on the Linux Kernel?
- minxomat 5y agoA 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/ https://codeql.github.com/docs/codeql-overview/about-codeql/ (disclosure: I work at GH on CQL) [1] https://pwning.systems/posts/sequoia-variant-analysis/ https://pwning.systems/posts/sequoia-variant-analysis/
- X6S1x6Okd1st 5y agoOof on the terms & conditions: https://securitylab.github.com/tools/codeql/license/ https://securitylab.github.com/tools/codeql/license/