codeql 代码审计

plokmju88 发布于2021-10-08 10:04 / 2371人阅读

摘要：刚刚把环境搭建好了。。。我今天大概就做了以下几步。命令行库数据库项目反正我明白了，他们说的那个其实可以不用管，自己就有库可以直接下载用使用过程首先利用编译源码生成一个数据库自己写查询语句利用库进行查询得出查询结果

刚刚把环境搭建好了。。。搭建环境永远是最讨厌的一步

如果你只是想看看codeql运行起来有什么效果，怎么运行，大概怎么使用。那么我建议你打开这个公共课程

CodeQL U-Boot Challenge (C/C++) | GitHub Learning LabLearn to use CodeQL, a query language that helps find bugs in source code. Find 9 remote code execution vulnerabilities in the open-source project Das U-Boot, and join the growing community of security researchers using CodeQL.https://lab.github.com/githubtraining/codeql-u-boot-challenge-(cc++)只要有github账号就可以开始学习了，它会一步步带你做完这个过程的。

我今天大概就做了以下几步。（全程在ubuntu上）

1.安装vscode vscode直接下载安装很慢，需要修改下载前缀下载完使用命令行解压 打开vscode命令是code

2.下载codeql命令行（对应linux版本）下载起来也是慢的要死，然后找第三方网站下载成功。

下载完成以后解压然后将路径添加到PATH里然后命令行使用codeql能不能用

3.下载codeql库

4.下载codeql u-boot这个项目和它的数据库（已经经过codeql数据库）（git clone很慢的话就直接下载.zip吧）

5.打开vscode 下载codeql插件下载好以后把codeql cli 路径填进去（可执行文件路径）。然后把codeql库导入，然后把codeql u-boot添加到workpalce (add folder to workplace)

6.添加u-boot已经编译好的数据库

7.可以使用查询了并且显示查询结果

如图所示这就是经过codeql查询以后显示的 u-boot项目漏洞和污点追踪流程

如果不明白可以看:CodeQL 环境搭建 - 简书

下面这些链接如果错了也很正常。。。。。反正我成功了。

命令行codeql:GitHub - github/codeql-cli-binaries: Binaries for the CodeQL CLI

codeql库：https://github.com/github/codeql

uboot数据库:https://downloads.lgtm.com/snapshots/cpp/uboot/u-boot_u-boot_cpp-srcVersion_d0d07ba86afc8074d79e436b1ba4478fa0f0c1b5-dist_odasa-2019-07-25-linux64.zip

uboot项目:https://codeload.github.com/AlphaGir/codeql-uboot/zip/refs/heads/main

vscode：http://vscode.cdn.azure.cn/stable/7f6ab5485bbc008386c4386d08766667e155244e/code_1.60.2-1632313585_amd64.debhttp://vscode.cdn.azure.cn/stable/7f6ab5485bbc008386c4386d08766667e155244e/code_1.60.2-1632313585_amd64.deb

反正我明白了，他们说的那个vscode-starter其实可以不用管，codeql自己就有库可以直接下载用

codeql 使用过程首先利用codeql编译源码生成一个数据库 ->自己写查询语句利用codeql库进行查询->得出查询结果

文章版权归作者所有，未经允许请勿转载,若此文章存在违规行为，您可以联系管理员删除。

转载请注明本文地址：https://www.ucloud.cn/yun/121749.html

通过代码审计找出网站中的XSS漏洞实战(三)

摘要：一背景笔者此前录制了一套的视频教程，在漏洞案例一节中讲解手工挖掘工具挖掘代码审计三部分内容准备将内容用文章的形式再次写一此前两篇已经写完，内容有一些关联性，其中手工挖掘篇地址为快速找出网站中可能存在的漏洞实践一本文主要记录通过代码审计的方式一、背景笔者此前录制了一套XSS的视频教程，在漏洞案例一节中讲解手工挖掘、工具挖掘、代码审计三部分内容,准备将内容用文章的形式再次写一此,前两篇...

Ryan_Li 2019-07-01 10:48 评论0 收藏0
Java代码审计连载之—添油加醋

摘要：在代码审计中，按业务流程审计当然是必须的，人工的流程审计的优点是能够更加全面的发现漏洞，但是缺点是查找漏洞效率低下。代码审计学习之旅总有人问我代码审计该怎么学习，该从哪学习，现在统一回复，表示我也不知道。。。在代码审计中，按业务流程审计当然是必须的，人工的流程审计的优点是能够更加全面的发现漏洞，但是缺点是查找漏洞效率低下。如果要定向的查找漏洞，逆向跟踪变量技术就显得更加突出，如查找X...

dunizb 2019-08-15 11:08 评论0 收藏0
Vitess安全审计结果（pdf）

摘要：作者我们很高兴地宣布，最近接受了由基金会资助的安全评估。审计员设法覆盖了与软件系统主存储库相关的所有方面的广泛覆盖范围。这次由基金会资助的评估，结果证明了数据库缩放器是安全可靠的。作者：Adrianna Tan showImg(https://segmentfault.com/img/bVbpJNB?w=2868&h=1361); 我们很高兴地宣布，Vitess最近接受了由CNCF/...

W4n9Hu1 2019-07-01 17:38 评论0 收藏0
Vitess安全审计结果（pdf）

摘要：作者我们很高兴地宣布，最近接受了由基金会资助的安全评估。审计员设法覆盖了与软件系统主存储库相关的所有方面的广泛覆盖范围。这次由基金会资助的评估，结果证明了数据库缩放器是安全可靠的。作者：Adrianna Tan showImg(https://segmentfault.com/img/bVbpJNB?w=2868&h=1361); 我们很高兴地宣布，Vitess最近接受了由CNCF/...

learn_shifeng 2019-07-01 17:09 评论0 收藏0