CodeQL初体验——j2eefast代码审计 一
内容提要
本文记录了作者首次使用CodeQL进行代码审计的过程，介绍了CodeQL的基本功能和特点，特别是其对代码上下文的理解能力。作者审计了一个使用Apache Shiro的开源项目，发现了反序列化漏洞和SQL注入问题，展示了CodeQL在漏洞检测中的应用。
关键要点
-
本文记录了作者首次使用CodeQL进行代码审计的过程。
-
CodeQL是由Semmle公司开发的代码分析引擎，2019年被GitHub收购。
-
CodeQL能够将源代码转换为可分析的数据库，允许开发者查询代码以识别潜在的安全漏洞。
-
CodeQL的核心特点包括理解代码上下文语义和支持跨文件/跨函数分析。
-
作者审计了一个使用Apache Shiro的开源项目，发现了反序列化漏洞和SQL注入问题。
-
在审计过程中，作者使用了CodeQL自带的标准查询语句，没有自编写查询。
-
审计发现的第一个漏洞是Apache Shiro的反序列化漏洞，使用的版本较低。
-
使用CodeQL进行自动化审计时，发现了多个SQL注入点，提供了数据流的详细信息。
-
通过分析SQL语句和用户输入点，确认了SQL注入的存在。
-
文章包含免责声明，提醒读者谨慎使用技术信息并遵守相关法律。
延伸解读
CodeQL的优势与应用
CodeQL作为一种代码分析工具，能够深入理解代码的上下文和数据流，这使得它在发现安全漏洞方面比传统静态分析工具更为有效。尤其是在处理复杂的代码库时，CodeQL的跨文件和跨函数分析能力能够显著提高审计效率，帮助开发者快速定位潜在问题。
审计过程中的注意事项
在使用CodeQL进行代码审计时，建议开发者熟悉其标准查询库，以便更有效地识别漏洞。虽然作者在审计过程中使用了标准查询，但对于复杂项目，编写自定义查询可能会更有针对性。此外，审计结果需结合实际代码情况进行分析，避免误判。
反序列化漏洞的风险
反序列化漏洞是一种常见的安全隐患，尤其是在使用较低版本的库时。本文提到的Apache Shiro反序列化漏洞提醒开发者，及时更新依赖库和进行安全审计是防止此类漏洞的重要措施。开发者应关注所使用框架的安全公告，定期检查和更新版本。
延伸问答
CodeQL是什么，它的主要功能是什么？
CodeQL是一款由Semmle公司开发的代码分析引擎，能够将源代码转换为可分析的数据库，允许开发者查询代码以识别潜在的安全漏洞。
作者在审计过程中发现了哪些安全漏洞？
作者在审计过程中发现了反序列化漏洞和多个SQL注入问题。
CodeQL与传统静态代码分析工具相比有什么优势？
CodeQL能够理解代码的上下文语义，支持跨文件和跨函数分析，而不仅仅是简单的文本匹配。
作者使用了哪些工具和方法进行代码审计？
作者使用了CodeQL自带的标准查询语句和VS Code插件进行代码审计。
在审计中，如何确认SQL注入的存在？
通过分析SQL语句和用户输入点，确认了SQL注入的存在，特别是发现了直接拼接的参数sql_filter。
使用CodeQL进行代码审计时需要注意什么？
在使用CodeQL进行审计时，需谨慎使用技术信息并遵守相关法律，且技术内容可能不适用于所有情况。
