柷敔的博客

最近尝试用CodeQL分析linux kernel，但是在初学阶段遇到一些配置和使用上的问题，多方查找以后逐个尝试解决，最后记录一下，文中使用codeql版本是1.20。的过程中，如果打算自行编写ql文件，初学很容易出现“ERROR: could not resolve module cpp”之类的报错。CodeQL分析的基本原理是对项目进行源码分析，建立CodeQL数据库，然后通过一系列类似SQL的查找来挖掘程序漏洞。才需要使用元数据，所以如果不在ql文件头部注明元数据的话，也可以使用。

本文讲述了如何使用clang编译linux kernel以生成bc文件，并使用llvm pass对其进行分析。