浅析JAVA代码审计中的“幽灵代码”

从漏洞挖掘的角度看JAVA的切面、拦截器和过滤器。

一、前言

在接触几次JAVA代码审计项目后,发现JAVA和PHP挺不一样的,在很多看起来没有做任何过滤处理、没有任何权限设置的漏洞链中,却无法完整复现漏洞。经常和团队的小伙伴们扣脑壳的说:“讲道理这里没有任何过滤,直接传入到xxx里面,怎么可能会没有xx漏洞呢?”。在研究学习以后,做了总结,包含:Spring AOP、拦截器和过滤器三个部分内容。

二、Spring AOP

2.1 基础知识

引用百度百科的原话:

在软件业,AOP为Aspect Oriented Programming的缩写,意为:面向切面编程,通过预编译方式和运行期间动态代理实现程序功能的统一维护的一种技术。AOP是OOP的延续,是软件开发中的一个热点,也是Spring框架中的一个重要内容,是函数式编程的一种衍生范型。利用AOP可以对业务逻辑的各个部分进行隔离,从而使得业务逻辑各部分之间的耦合度降低,提高程序的可重用性,同时提高了开发的效率。

其使用步骤:
(1)使用@Aspect注解实现一个切面类。
(2)在切面类内添加一个切点方法,使用Spring的AOP注解设置Advice通知类型和切入点表达式。
(3)如果切入点表达式是注解类型,则在Controller中添加一个注解 @xxx,被注解的方法才会调用切点,执行切点中的代码。

Advice通知类型介绍:
(1)Before:在目标方法被调用之前做增强处理,@Before只需要指定切入点表达式即可
(2)AfterReturning:在目标方法正常完成后做增强,@AfterReturning除了指定切入点表达式后,还可以指定一个返回值形参名returning,代表目标方法的返回值
(3)AfterThrowing:主要用来处理程序中未处理的异常,@AfterThrowing除了指定切入点表达式后,还可以指定一个throwing的返回值形参名,可以通过该形参名
来访问目标方法中所抛出的异常对象
(4)After:在目标方法完成之后做增强,无论目标方法时候成功完成。@After可以指定一个切入点表达式
(5)Around:环绕通知,在目标方法完成前后做增强处理,环绕通知是最重要的通知类型,像事务,日志等都是环绕通知,注意编程中核心是一个ProceedingJoinPoint

demo-1:

/*
 * LogerAscpect.java
 */
@Aspect
@Component
/* 切入点表达式为execution,表示被指定的类,每个public方法执行前,都执行切点方法 */
public class LoggingAspect {
    // 在执行UserService的每个方法前执行:
    @Before("execution(public * com.itranswarp.learnjava.service.UserService.*(..))")
    public void doAccessCheck() {
        System.err.println("[Before] do access check...");
    }
}

// 然后给@Configuration类加上一个@EnableAspectJAutoProxy注解即可。

demo-2:

/*
 * LogerAscpect.java
 */
@Aspect
@Component
/* 切入点为注解形式,只需要在类上面加上@Loger注解,则进入切面 */
public class LogerAspect {
    @Before("@annotation(controllerLoger)")
    public void doBefore(JoinPoint point, Loger controllerLoger) throws Throwable
    {
        System.out.println("[+] doBefore start .....");
    }
}

2.2 代码案例

从若依(RuoYi)的SQL注入修复看切面:(代码来源于RuoYi == 4.7.2版本)

在新版本的若依中,SysDeptMapper.xml仍使用${,如下:image.png

依次往上:

image.png

image.png

image.png

仍然没看到任何过滤的代码,但实时是漏洞确实被修复了。那么修复代码究竟是使用什么方法在整个流程中起到作用的呢?

可以看到在selectDeptList方法前打了注解,@DataScope(deptAlias = "d"),跟进这个方法:

image.png

其中切面类的实现:在DataScopeAspect.java中

image.png

该类中,打了@Aspect注解,表示是一个切面类,然后使用Before的通知类型,切入点为:打了@DataScope注解的地方,切点方法为:doBefore。

所以,在出现@DataScope注解的时候,在方法调用前会先调用的切点方法doBefore,然后由clearDataScope方法(代码如下)会将param['dataScope']置空,从而达到修复SQL注入的目的。

image.png

注意:controllerDataScope的类型是DataScope,所以注解是DataScope而非controllerDataScope。

三、拦截器(Interceptor)

3.1 基础知识

关于Spring MVC的拦截器,主要就是用于拦截用户的请求并作出相应处理的,通常应用在权限验证、记录请求信息的日志、判断用户是否登录等功能。Interceptor的拦截范围其实就是Controller方法,它实际上就相当于基于AOP的方法拦截。

每个拦截器都必须实现HandlerInterceptor接口,可以选择实现preHandle、afterCompletion和postHandle三个方法,它们分别代表:

  • preHandle:在controller进入前执行拦截器代码。(在preHandle()中,可以直接处理响应,如果return false,则表示无需controller再进行处理了。)
  • postHandle:在controller正常完成后执行拦截器代码,如果controller中抛出异常,则不会执行。
  • afterCompletion:在controller完成后执行拦截器代码,不管controller中是否抛出异常。

使用方法:

  • 定义AuthInterceptor类,实现 HandlerInterceptor 接口
  • 实现preHandle()方法
  • WebMvcConfigurer中注册所有的Interceptor

3.2 代码案例

从一个未授权访问类型漏洞挖掘过程来看拦截器(Interceptor)
在controller的实现中,看到了一个接口,访问该接口则会返回管理员的秘密,如下:

image.png

没有看到任何过滤,心中一想,此处就是一个大越权啊,然后访问:

image.png

然后发现,在AppConfig.java中注册了拦截器,如下:

image.png

所以很可能,权限校验的位置在拦截器中,于是发现:AuthInterceptor拦截器,代码如下:

image.png

逻辑如下:

  • preHandle方法通过isSecret方法来判断当前用户请求的是否是一个秘密的URL,
  • 如果是,则触发authenticateByHeader方法来校验用户是否授权
  • 如果通过校验则交给controller处理
  • 否则提示授权错误。
  • 如果请求不是秘密url,也直接交给controller处理。

接着看下isSecret方法的实现

image.png

将请求的URI与秘密URI列表[其实模拟的需要鉴权的URL]进行对比,返回比对结果。

然后看下authenticateByHeader方法的实现:

image.png

从header中取Authorization的值进行base64解码,然后调用userService.sginin方法进行验证账号密码。

所以,**如果想要访问秘密URL,则需要Authorization头里面的账号密码正确,才能获取到其中的内容。**如下:

image.png

虽然此处只看controller的实现,是没有看到任何权限校验相关的内容的,但其仍不存在未授权访问漏洞,原因就在于鉴权逻辑在拦截器中实现的。

四、过滤器(Filter)

4.1 基础知识

为了把一些公用逻辑从各个Servlet中抽离出来,JavaEE的Servlet规范还提供了一种Filter组件,即过滤器,它的作用是,在HTTP请求到达Servlet之前,可以被一个或多个Filter预处理,类似打印日志、登录检查等逻辑,完全可以放到Filter中。这样,开发者就只需要关注业务逻辑即可。

编写Filter时,必须实现Filter接口,在doFilter()方法内部,要继续处理请求,必须调用chain.doFilter()。最后,用@WebFilter注解标注该Filter需要过滤的URL。这里的/*表示所有路径。

Filter使用方法:

  • 编写authFilter实现Filter接口
  • 实现doFilter方法,编写过滤器逻辑
  • 在web.xml中声明Filter及拦截范围

4.2 代码案例

继续使用和3.2中一样逻辑的demo代码,我们拿到代码后,找到Controller,如下:

image.png

还是没有任何过滤,然后测试,如下:

image.png

这时候,我们发现并没有未授权访问,那么排查Interceptor:全局搜索Interceptor

image.png

发现并没有拦截器,那么可能的只有过滤器Fliter了,查看web.xml代码:

image.png

发现Filter,且过滤范围只有/secret这个URL,然后看下Filter的实现。

image.png

逻辑如下:

  • 当匹配到URL,则进入authFilter当中
  • 调用authenticateByHeader方法进行鉴权处理
    • 如果鉴权失败,直接返回 Authorization error
    • 否则不做任何处理

authenticateByHeader方法的逻辑,依然是从header获取认证字符串,进行校验,如果校验通过则打印log,否则抛出一个异常。当Filter捕获到异常,直接返回Authorization error。

image.png

所以,需要在header头里面有认证字符串才能访问到秘密URL,如下:

image.png

因此,该处不存在未授权访问漏洞,其鉴权代码由Filter实现。

五、总结

对AOP、Interceptor和Filter三种通用逻辑处理方法的研究,了解从Controller入手看似整个调用链存在漏洞但黑盒测试又不存在漏洞的幽灵问题的原因。其实,这种通用逻辑不仅可以处理权限类型的问题,也可以实现SQL注入、命令注入、XSS等各种漏洞关键字过滤。

六、参考

https://bbs.huaweicloud.com/blogs/325317?utm_source=oschina&utm_medium=bbs-ex&utm_campaign=other&utm_content=content
https://www.jianshu.com/p/5b9a0d77f95f
https://www.liaoxuefeng.com/wiki/1252599548343744/1282384114745378

  • 发表于 2022-01-24 10:00:23
  • 阅读 ( 9173 )
  • 分类:代码审计

0 条评论

请先 登录 后评论
Alivin
Alivin

13 篇文章

站长统计