文章分类 - CodeQL

CodeQL练习1

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

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

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

Coql初始学习

发表于 2022-07-14 17:13阅读：645评论：0推荐：0

摘要：CodeQL使用 CodeQL简述 CodeQL概述 CodeQL是一款静态漏洞检测工具,支持对C/C++，Python，Java，JS等语言的漏洞发现。CodeQL扫描的对象并非源码本身,它是通过搜索源代码相关信息以及数据之间的相互关系,将这些信息生成为AST结构的数据库(CodeDatabase 阅读全文 »

posted @ 2022-07-14 17:13 B0T1eR 阅读(645) 评论(0) 推荐(0) 编辑