0x00 fastjson

fastjson是一个非常流行的库,可以将数据在JSON和Java Object之间互相转换,但是在2017年官方主动爆出了fastjson的反序列化漏洞以及升级公告,这次我们就学习一下这个漏洞。

最终的payload会放到我的GitHub上。

这次使用的fastjson是1.2.23版本:

<!-- https://mvnrepository.com/artifact/com.alibaba/fastjson -->
<dependency>
    <groupId>com.alibaba</groupId>
    <artifactId>fastjson</artifactId>
    <version>1.2.23</version>
</dependency>

在分析漏洞之前,我们先看下这个库都有什么样的功能,我们先创建一个User对象:

class User {
    private int age;
    public String username;
    private String secret;

    public int getAge() {
        return age;
    }

    public void setAge(int age) {
        this.age = age;
    }

    public String getUsername() {
        return username;
    }

    public void setUsername(String username) {
        this.username = username;
    }

    public String getSecret() {
        return secret;
    }
}

我们主要关注一下从JSON还原回Object的方法,主要的API有两个,分别是JSON.parseObjectJSON.parse,最主要的区别就是前者返回的是JSONObject而后者返回的是实际类型的对象,当在没有对应类的定义的情况下,通常情况下都会使用JSON.parseObject来获取数据。

fastjson接受的JSON可以通过@type字段来指定该JSON应当还原成何种类型的对象,在反序列化的时候方便操作。

String myJSON = "{\"@type\":\"me.lightless.fastjsonvuln.User\",\"age\":99,\"username\":\"lightless\",\"secret\":\"2333\"}";
JSONObject u3 = JSON.parseObject(myJSON);
System.out.println("u3 => " + u3.get("secret"));

如果需要还原出private成员的话,还需要加上Feature.SupportNonPublicField

User u3 = (User) JSON.parseObject(myJSON, User.class, Feature.SupportNonPublicField);

0x01 跟踪分析

根据官方的公告中的WAF检测方法来看,问题很有可能是因为反序列化了任意类型的class从而导致的RCE。

image_1cfa8lmv48jh1ir5kqc48bqt59.png-30.9kB

从网上找到的payload中也能看出利用的是TemplatesImpl来执行的命令,这个在之前的JDK7u21中已经分析过了,可能还存在其他的执行命令方法,这些我们暂且不谈,主要来看fastjson的部分。

我们搭建一个简单的Web应用来接受用户POST过来的JSON并且进行反序列化:

@RestController
public class IndexController {
    @RequestMapping(value = "/fastjson", method = RequestMethod.GET)
    public String fastjson() {
        return "Hello World!";
    }

    @RequestMapping(value = "/fastjson", method = RequestMethod.POST)
    public JSONObject testVuln(@RequestBody String data) {

        JSONObject obj = JSON.parseObject(data, Feature.SupportNonPublicField);

        JSONObject ret = new JSONObject();
        ret.put("code", 1001);
        ret.put("data", "Hello " + obj.get("name"));

        return ret;
    }

}

传入我们带有@type类型的JSON字符串并且开始调试。在JSON.parseObject处下断并开始向下跟。

image_1cfcenkal1bf414mq1pc3165g1um3m.png-123.4kB

一开始会跟进到JSON.parse方法,并且调用了parse()方法继续进行JSON格式的匹配。继续跟进parser.parse()方法。

image_1cfcerdhndcu15js1pjlt0qfkj13.png-117.6kB

到了这里之后,开始依次进行JSON的解析,我们传入的第一个字符是{,所以进入LBRACE这个分支中,并继续进入parseObject(object, fieldName)方法来解析对象。

image_1cfcf0rqur0h9hqpl71k251fig40.png-20.4kB

这个时候lexer所在的字符为",会进入下面这个分支继续解析JSON字符串,通过scanSymbol方法获取到双引号之间的字符串也就是@type

image_1cfcf6gro136r1fr3taa1lji1dtd4d.png-78.4kB

之后会获取@type字段的值,并且尝试获取这个类的Class,经过一系列的判断后,调用了deserializer.deserialize(this, clazz, fieldName)方法进行反序列化。

image_1cfcfkk1p5eu7ucttcv56mle6a.png-71.7kB

一开始没找到sortedFieldDeserializers是在什么地方生成的,想仔细跟一下代码,于是就从头到尾的看了下getDeserializer(clazz)的部分,发现是在这里生成的。这个函数的目的是获取一个可以反序列化我们通过@type指定的类的deserializer,由于预定于的列表中没有,于是会继续调用createJavaBeanDeserializer()来生成一个,实际上是调用了ParseConfig.build()方法,其中会通过反射机制获取我们指定类的一些信息,通过对method进行一些过滤,猜测出gettersetter并推出一些可能存在的field

具体的猜测规则这里不展开说明了,感兴趣的话可以自行跟一下

紧接着就依次处理JSON字符串中的各个字段,当匹配到payload中的_tfactory字段的时候,由于我们传入的JSON字符串中是一个空的对象,进入parseField方法后,继续向下跟就会调用到JavaBeanDeserializer.deserialize()方法,在这里会为_factory创建一个TransformerFactoryImpl对象并赋值。

同样的,_outputProperties字段我们也是传入了一个空对象,会进入和上面相同的流程,仔细分析一下这段代码,这里是触发命令执行的关键部分。

image_1cfcii0mgkkanel19hq1a99me777.png-39.2kB

首先依然会进入parseField方法

image_1cfcionuerns1iubu1g1v5g6ou7k.png-85.4kB

进入之后会调用smartMatch(key)方法,这个方法的主要作用是进行一些『智能匹配』,方便后续获取对应变量的gettersetter。调用后这个方法会去掉字符串中的-、删除开头的下划线等,所以当我们传入了_outputProperties的时候,实际上就给处理成了outputProperties,并返回对应的FieldDeserializer对象,之后就会调用该对象的parseField方法。进入该方法后,就会调用setValue(object, value)方法,继续跟进。

image_1cfck1foh1tf811rcgjt1p7nh6q81.png-27.7kB

跟进之后显而易见,getOutputProperties被调用了:

image_1cfcnnur51i3b1i9f1ie2ep3ckc8e.png-101.2kB

然后就会执行我们在_bytecodes构造的恶意字节码,造成命令执行。

0x02 一些疑问

根据上面的流程,我们应该已经可以写出PoC了,这里就不占用篇幅展示了,直接放到了我的GitHub上。

一开始在构造的时候发现字节码中存在许多的不可显字符,网上公开的PoC中使用了base64来编码,感觉非常神奇,为什么fastjson会帮我们解码呢?于是构造了数组传入之后,发现fastjson在处理[B类型的数组时,会调用lexer.bytesValue(),其中的lexer就是JSONScanner,这个bytesValue()方法会自动帮我们执行一次base64解码,所以我们构造payload的时候只需要传入base64编码后的内容即可。

image_1cff1jiv41ho31dd21l6a1n631bm18r.png-23kB

image_1cff1jvh91bsc2lm13k0ffi1s9f98.png-19.2kB

至此,其实整个流程已经走完了,但是还有一点令我们非常难受,就是我们的demo中,在接收JSON的时候设置了Feature.SupportNonPublicField。默认情况下fastjson只会反序列化public的方法和属性,而我们构造的PoC中有private的成员变量_bytecodes_name,为了给这些变量赋值,则必须要假设服务端开启了SupportNonPublicField功能。

而现实情况下,大部分都是parse(json)parseObject(json)一把梭,使用这个功能的情况不是很多,这样一来就导致我们的PoC没有了良好的通用性,那么有没有解决方案呢?答案当然是有的,那就是不使用TemplatesImpl,换一种RCE的触发方式即可。在网上经过一番搜索,发现了一些可以利用的方法

主要是利用JNDI+RMI方法,这个可以参考之前的spring-tx.jar的反序列化问题,当时就是采用这种方式来触发的。但是调用链不太好找,这个PPT中给出了多个利用链,这里的调用链后续再进行分析,这里暂且不做验证。

这样一来,只要是开发同学在编写代码时,直接反序列化了用户传入的JSON,就有可能造成RCE,而攻击者也无需关心SupportNonPublicField是否开启了,危害提高了许多。

0x03 修复措施

在fastjson的官方补丁中,将loadClass(typeName, config.getDefaultClassLoader())替换为了config.checkAutoType(typeName),并且扩充了黑名单列表,将传入的类名与黑名单一一比较,如果发现了相同开头的类就停止反序列化。

// 新增的黑名单
bsh
com.mchange
com.sun.
java.lang.Thread
java.net.Socket
java.rmi
javax.xml
org.apache.bcel
org.apache.commons.beanutils
org.apache.commons.collections.Transformer
org.apache.commons.collections.functors
org.apache.commons.collections4.comparators
org.apache.commons.fileupload
org.apache.myfaces.context.servlet
org.apache.tomcat
org.apache.wicket.util
org.codehaus.groovy.runtime
org.hibernate
org.jboss
org.mozilla.javascript
org.python.core
org.springframework

可以看到绝大部分常用的类都已经被加进来了,但是如果不经常维护此名单,一旦后面出现了新的可以利用的类,很容易就绕过这个限制。