。

通过CodeQLpy可以辅助代码审计人员快速定位代码中的问题#xff0c;目前支持对SprintBoot的jar包#xff0c;SpringMVC的war包#xf…0x01

前言CodeQLpy是作者使用python3实现的基于CodeQL的java代码审计工具github地址https://github.com/webraybtl/CodeQLpy。

通过CodeQLpy可以辅助代码审计人员快速定位代码中的问题目前支持对SprintBoot的jar包SpringMVC的war包直接下载的源码文件夹maven项目源码等方式进行自动化代码审计详细使用方式参考github。

本文旨在阐述CodeQLpy在代码审计中的作用文章后续所有漏洞均以提交CNVD以此漏洞从事任何攻击行为均属于违法行为与本文作者无关。

0x02

案例用友GRP-U8是一款常见的WEB应用经常参加比赛的小伙伴一定不会对这个产品陌生在高校和政府有不错的使用量。

如图2.1所示。

图2.1

GRP-U8产品界面使用CodeQLpy可以直接从目标源码中找到上百个高危的漏洞包括但不限于反序列化任意文件上传任意文件删除SQL注入SSRFXSS等如图2.2所示。

图2.2

使用CodeQLpy之后的部分结果总计结果数接近1000个其中有效漏洞超过100个。

找了几个有代表性的漏洞来演示。

1

任意文件删除漏洞POST

ViewExcel?djlxid902urllogs/info.log.1漏洞对应的代码在com.ufgov.midas.yy.servlet.ViewExcelServlet其中用户可控的source参数是url。

继续跟踪readExcelContent方法内部处理逻辑很多可以只关注我们关心的部分。

继续跟踪deleteFile方法这里可以很清晰的看的文件删除的操作。

2SQL注入漏洞/listSelectDialogServlet?slTypeslFZXslCdtn12;waitfor%20delay%200:0:3漏洞代码在com.ufgov.midas.yy.servlet.ListSelectDialogServlet继续跟踪getProjectLevel方法这里可以很清晰的看到进行了SQL语句拼接的操作。

3任意文件上传漏洞上传之后会在WEB跟中找到漏洞扫描插件并复制到VS中。

2

要查看流必须使用下面的写法如图3.1所示。

其中下面方框中的注释必须要有并且最终的查询结果有四列最好按照图3.1的写法。

图3.1

查看结果中的flow流可以看到完整的数据流如图3.2所示。

图3.2

总结类似的漏洞还有几百个把发现漏洞交给工具把验证漏洞留给自己。

目前工具仍处于前期测试阶段如果有任何bug请在github的issue中提出。

原文链接