Tomcat CVE-2017-12616 ​信息泄露漏洞分析

最近的几个 Tomcat 的 CVE

1. CVE-2017-5664      Tomcat Security Constraint Bypass

2. CVE-2017-12615    远程代码执行漏洞

3. CVE-2017-12616    信息泄露漏洞

共性

1. 都是鸡肋

2. 都跟 JspServlet 和 DefaultServlet 有关系

CVE-2017-12615 这个远程代码执行遍地都是了，好像没有人看 CVE-2017-12616 造成的 JSP 源代码泄露的问题。这里简单写一下。

CVE-2017-12616

要求

目标利用 VirtualDirContext 来挂载虚拟目录。挂载虚拟目录的需求应该还是有一些的，所以应该比开 PUT 的概率要大一些，不过也是鸡肋。

简要分析

要造成 Jsp 源代码泄露，肯定需要让 DefaultServlet 来处理 jsp 的请求。Tomcat 利用类似 JNDI 的方式来管理 Web 资源（JSP，静态文件，Class 等）。默认情况下，资源由 FileDirContext 来进行管理。 而利用 VirtualDirContext 挂载的虚拟目录，是由 VirtualDirContext 来管理的。

通过类似 CVE-2017-12615 的利用方式访问虚拟目录中的资源，让请求由 DefaultServlet 处理，Tomcat 从 VirtualDirContext 管理的资源中获取访问的 jsp 文件（通过 doLookup 方法），直接将内容返回，造成源代码泄露。

为什么只有虚拟目录存在这个漏洞？因为非虚拟目录默认由 FileDirContext 管理的。FileDirContext 中有存在有一个名为 file 的检查方法。

protected File file(String name) {

    File file = new File(base, name);
    if (file.exists() && file.canRead()) {

        if (allowLinking)
            return file;
        
        // Check that this file belongs to our root path
        String canPath = null;
        try {
            canPath = file.getCanonicalPath();
        } catch (IOException e) {
            // Ignore
        }
        if (canPath == null)
            return null;

        // Check to see if going outside of the web application root
        if (!canPath.startsWith(absoluteBase)) {
            return null;
        }

        // Case sensitivity check - this is now always done
        String fileAbsPath = file.getAbsolutePath();
        if (fileAbsPath.endsWith("."))
            fileAbsPath = fileAbsPath + "/";
        String absPath = normalize(fileAbsPath);
        canPath = normalize(canPath);
        if ((absoluteBase.length() < absPath.length())
            && (absoluteBase.length() < canPath.length())) {
            absPath = absPath.substring(absoluteBase.length() + 1);
            if (absPath.equals(""))
                absPath = "/";
            canPath = canPath.substring(absoluteBase.length() + 1);
            if (canPath.equals(""))
                canPath = "/";
            if (!canPath.equals(absPath))
                return null;
        }

    } else {
        return null;
    }
    return file;

}

该方法不能防止 /a.jsp/ 这样的 URL，但是 DefaultServlet 随后有检查末尾的 /，导致 / 不能被使用。

而新版本的修复方式也是对代码进行了小范围的重构，将上面的检查方法拆到了名为 validate 的方法中，并重写了 VirtualDirContext 中大量的方法，调用 validate 来访问的文件进行检查。

利用

与 CVE-2017-12615 类似，达到查看 Jsp 文件源代码的效果。

修复

升级