QL 教程
在使用 CodeQL 分析代码之前，通过解决谜题来学习 QL 的基础知识。本教程将教你如何编写查询，并介绍一些关键的逻辑概念。
- QL 简介: 通过一些简单的练习和示例，学习 QL 和 CodeQL 的基础知识。
- 找到小偷: 在这个虚构的村庄里扮演侦探的角色，找到小偷。在此过程中，你将学习如何在 QL 中使用逻辑连接词、量词和聚合函数。
- 抓住纵火犯: 学习 QL 谓词和类，以解决你作为 QL 侦探的第二个谜题。
- 加冕合法继承人: 这是一个 QL 侦探谜题，它展示了如何在 QL 中使用递归编写更复杂的查询。
- 过河: 使用常见的 QL 特性编写一个查询，找到“过河”逻辑谜题的解决方案。