linux-ql

CodeQL experiments for analyzing the Linux kernel.