随笔分类 - CodeQL学习

CodeQL练习1

发表于 2023-01-15 21:18阅读：77评论：0推荐：0

摘要：CodeQL官方准备了一些无关编程语言的QL语言练习，我这里整理稍许来记录学习一下。 QL是一种逻辑编程语言，所以它是由逻辑公式构成的。QL使用常见的逻辑连接词（如and、or、not）、量词（如forall和exists），以及其他重要的逻辑概念，如谓词。QL还支持递归和聚合。这使得你可以使用简单阅读全文 »

posted @ 2023-01-15 21:18 B0T1eR 阅读(77) 评论(0) 推荐(0) 编辑