注意:本项目是一个学习项目,可能不会长期维护,作者精力有限,欢迎大佬们二次开发
一个Java自动代码审计工具,尤其针对SpringBoot框架,也可自行改造以适配其他情况
提供一个SpringBoot的Jar包即可进行自动代码审计并生成报告,底层技术基于字节码分析
由于没有真正的执行,例如无法识别过滤等操作,所以会存在误报false positive
注意:漏洞检测并不是简单地检测某个方法内是否包含敏感方法,而是从每个Controller
的每个Mapping
的每一个用户可控参数开始分析与追踪,构建出方法调用链,分析这个参数在整个链路的过程
选择好你的Jar
包后点击Start
即可,默认开启所有配置
注意:目标Jar
是Java 8
编译的情况下兼容性最佳,高版本Java
可能优化指令导致与原规则不匹配产生漏报
选项:
- import rt.jar 绝大多数情况请勿勾选
- analyze all libs 绝大多数情况请勿勾选
- debug mode 保存一些临时的分析结果到当前目录中
配置DoS
模块:
for
循环停止条件可控- 正则规则和输入同时可控
- 数组初始化大小可控
ArrayList
初始化大小可控
配置RCE
模块:
Runtime.exec
直接/拼接执行命令ProcessBuilder
直接/拼接执行命令JNDI
注入导致RCE(lookup
内容可控)GroovyShell.evaluate
直接/拼接执行命令Spring EL
直接/拼接执行命令
配置SSRF
模块:
HttpUrlConnection
请求Apache HttpClient
请求Socket
建立新连接OKHttp
请求
配置SQL Injection
模块:
JdbcTemplate.update
存在字符串拼接JdbcTemplate.execute
存在字符串拼接JdbcTemplate.queryAny
存在字符串拼接Statement.executeQuery
存在字符串拼接Statement.executeUpdate
存在字符串拼接Statement.execute
存在字符串拼接
配置Redirect
模块:
- 使用
HttpServletResponse.sendRedirect
重定向 - 使用
SpringMVC
直接返回String
可控 - 使用
SpringMVC
返回ModelAndView
可控
配置Deserialization
模块:
Java
原生反序列化Fastjson
反序列化SnakeYAML
反序列化Jackson
反序列化Hessian2
反序列化XMLDecoder
反序列化
可以使用以下的方式方便地进行扫描,注意三个boolean
参数绝大多数情况应该设置为false
public static void testRCE() {
CodeInspector inspector = new CodeInspectorImpl();
List<ResultInfo> results = inspector.analyzeRCE(
"your/path/to/jar/file",
false, false, false);
System.out.println(results.size());
}
指定Controller
类名和Mapping
的方法名,以及分析的参数索引,即可画图