0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

技术解读 | SpEL表达式注入漏洞分析、检查与防御

华为DevCloud 来源:未知 2023-03-25 07:55 次阅读

在安全角度来看外部来源的数据,均应视为不可信数据,对外部数据,其包含的所有信息都须经过校验或者过滤,再向下游服务进行传递。若无防护手段,攻击者可以通过构造恶意输入,对服务进行攻击。程序中如果使用未经校验的输入构造SpEL语句,就有可能造成SpEL表达式注入漏洞。部分SpEL表达式注入漏洞CVSS3.x 评分极高,nvd认定为高危漏洞,具有高致命性。


一、SpEL表达式介绍


Spring表达式语言(Spring Expression Language,SpEL)是 Spring Framework的核心技术之一,其支持在运行时查询和操作对象图。SpEL语法类似于Unified Expression Language,但提供了更加丰富的功能,最特别的是方法调用与字符串模板功能。SpEL主要支持以下功能:

  • 文字表达式

  • 布尔和关系运算符

  • 正则表达式

  • 类表达式

  • 访问properties, arrays, lists, maps

  • 方法调用

  • 关系运算符

  • 参数

  • 调用构造函数

  • Bean引用

  • 构造Array

  • 内嵌lists

  • 内嵌maps

  • 三元运算符

  • 变量

  • 用户定义的函数

  • 集合投影

  • 集合筛选

  • 模板表达式


SpEL功能强大,可以操作类和方法:

  • 引用方法:dog.run()

  • 引用静态方法:T(java.lang.Math).PI

  • 类实例化:使用new实例化对象,类名必须是全限定名,java.lang包内的除外如Integer、String等

  • 变量定义及赋值引用


在解析SpEL之后,获取表达式结果时,可以指定表达式的上下文对象:EvaluationContext

  • StandardEvaluationContext(默认):支持全套SpEL语言和功能配置选项,功能强大但存在隐患

  • SimpleEvaluationContext:仅支持SpEL语法的子集,不包括Java类型引用,构造函数和bean引用,功能相对简单但是安全


二、SpEL表达式注入漏洞


历史报告的大部分SpEL漏洞大多涉及不受信任的用户输入的情况,恶意攻击者可能利用SpEL实现任意代码执行、拒绝服务等攻击,与SpEL相关的部分CVE漏洞见表1。


表1部分SpEL注入CVE漏洞


常见的SpEL注入攻击流程如图 1所示,漏洞的基本条件有:1.使用StandardEvaluationContext;2. 未对输入的SpEL进行校验;3. 对表达式调用了getValue()或setValue()方法。当满足上述条件时,就给了攻击者可乘之机。


图1常见的SpEL注入攻击流程


三、漏洞实例


| 3.1CVE-2022-22963 Spring Cloud FunctionSpEL注入漏洞


|3.1.1基本信息

漏洞id:

CVE-2022-22963


漏洞简介:

在Spring Cloud Function 相关版本,存在SpEL表达式注入。恶意攻击者无需认证可通过构造特定的 HTTP 请求头注入 SpEL 表达式,最终执行任意命令,获取服务器权限。


漏洞发布地址:

https://nvd.nist.gov/vuln/detail/cve-2022-22963


漏洞安全级别:


漏洞代码仓地址:

https://github.com/spring-cloud/spring-cloud-function


漏洞补丁提交地址:

https://github.com/spring-cloud/spring-cloud-function/commit/0e89ee27b2e76138c16bcba6f4bca906c4f3744f


漏洞影响包版本:

3.0.0 <= Spring Cloud Function <= 3.2.2


|3.1.2Spring Cloud Function介绍


Spring Cloud Function 是基于 Spring Boot 的函数计算框架。它提供了一个通用的模型,用于在各种平台上部署基于函数的软件,包括像 Amazon AWS Lambda 这样的 FaaS(函数即服务,function as a service)平台。该项目致力于促进函数为主的开发单元,它抽象出所有传输细节和基础架构,并提供一个通用的模型,用于在各种平台上部署基于函数的软件。


|3.1.3CVE-2022-22963漏洞攻击路径


使用spring-cloud-function-web的Spring boot 应用,通过设置Message Headers来传达路由指令,也可以在请求头中指定spring.cloud.function.definition 或spring.cloud.function.routing-expression作为应用程序属性,允许使用 Spring 表达式语言。


当在application.properties中设置spring.cloud.function.definition=functionRouter从而将默认路由绑定具体函数由用户进行控制。


攻击者调用/functionRouter接口,并在请求头的spring.cloud.function.routing-expression中使用攻击性的SpEL语句,服务端就会解析SpEL并执行。


漏洞攻击图示如图 2所示。


图2CVE-2022-22963漏洞攻击路径


|3.1.4CVE-2022-22963漏洞修复方式


该漏洞主要从四处进行了修复:

(1)声明一个SimpleEvaluationContext,专用作来自header的SpEL的解析;

(2)新增一个布尔变量isViaHeader,用于标记当前Expression是否来自Header;

(3)如果是从Header中获取的spring.cloud.function.routing-expression表达式,isViaHeader为true ;

(4)isViaHeader为true时,expression.getValue指定使用headerEvalContext。

如图 3所示。


图3CVE-2022-22963漏洞修复


| 3.2CVE-2022-22980 Spring DataMongoDBSpEL表达式注入漏洞


|3.2.1基本信息

漏洞id:

CVE-2022-22980


漏洞简介:

Spring Data for MongoDB是 Spring Data 项目的一部分,该项目旨在为新的数据存储提供熟悉和一致的基于Spring的编程模型,同时保留存储的特定特征和功能。Spring Data MongoDB应用程序在对包含查询参数占位符的SpEL表达式使用@Query或@Aggregation注解的查询方法进行值绑定时,如果输入未被过滤,则容易受到SpEL注入攻击。


漏洞发布地址:

https://nvd.nist.gov/vuln/detail/CVE-2022-22980


漏洞安全级别:

高(CVSS3.x: 9.8)


漏洞代码仓地址:

https://github.com/spring-projects/spring-data-mongodb


漏洞补丁提交地址:

3.3.xhttps://github.com/spring-projects/spring-data-mongodb/commit/7c5ac764b343d45e5d0abbaba4e82395b471b4c43.4.xhttps://github.com/spring-projects/spring-data-mongodb/commit/5e241c6ea55939c9587fad5058a07d7b3f0ccbd3


漏洞影响包版本:

Spring DataMongoDB== 3.4.0 3.3.0 <= Spring Data MongoDB <= 3.3.4 其他不维护的老版本


漏洞时间线:


|3.2.2Spring Data forMongoDB介绍


Spring Data for MongoDB是Spring Data的一个子模块。目标是为MongoDB提供一个相近的一致的基于Spring的编程模型。其核心功能是映射POJO到Mongo的DBCollection中的文档,并且提供Repository 风格数据访问层。主要特性有:

  • Spring 配置支持:

    使用基于Java的@Configuration类或基于XML命名空间的配置来驱动Mongo实例和副本

  • MongoTemplate辅助类:

    可提高执行常见Mongo操作的效率,包括文档和POJO之间的集成对象映射

  • 异常处理:

    异常转换为Spring的可移植的数据访问异常层次结构

  • 功能丰富的对象映射与Spring的转换服务集成

  • 基于注释的映射元数据、并且可扩展以支持其他元数据格式

  • 持久化和映射生命周期事件

  • 使用MongoReader/MongoWrite 抽象的低级映射

  • 基于Java的查询、条件和更新DSL

  • Repository接口的自动实现,包括对自定义查询方法的支持

  • QueryDSL集成以支持类型安全的查询,以及地理空间整合

  • Map-Reduce集成

  • JMX管理和监控

  • 对存储库的CDI支持

  • GridFS支持


|3.2.3CVE-2022-22980漏洞攻击路径

图4CVE-2022-22980漏洞攻击路径


|3.2.4CVE-2022-22980复现


1)实验代码:learnjavabug

2)运行服务,com.threedr3am.bug.spring.data.mongodb.Application#main

3)Postman发送请求,如图5所示


图5Postman填写参数示例


4)现象:计算器程序被执行


|3.2.5CVE-2022-22980修复方式


Spring Data for MongoDB在修复此漏洞时,重新实现evaluator,指定EvaluationContext类型,如图 6所示。


图6CVE-2022-22980修复方式


四、检测与防御手段


(1)对于SpEL表达式注入漏洞漏洞,可以使用静态分析工具进行代码检查,可以有效规避部分问题。

(2)在此类场景中,对于用户输入,应当仔细校验,检查用户输入的合法性,保障其内容为正常数据。且在端侧与服务侧均应对用户数据进行校验,对非受信用户输入数据进行净化,避免用户输入任意内容。

(3)及时更新Spring Framework版本,避免因版本老旧而被利用的问题发生。

(4)使用源码静态分析工具进行白盒自动化检测,在代码合入阶段、静态分析监控阶段及时发现相关问题。


原文标题:技术解读 | SpEL表达式注入漏洞分析、检查与防御

文章出处:【微信公众号:华为DevCloud】欢迎添加关注!文章转载请注明出处。

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 华为
    +关注

    关注

    215

    文章

    33629

    浏览量

    247163

原文标题:技术解读 | SpEL表达式注入漏洞分析、检查与防御

文章出处:【微信号:华为DevCloud,微信公众号:华为DevCloud】欢迎添加关注!文章转载请注明出处。

收藏 人收藏

    评论

    相关推荐

    西门子博途的算术表达式

    算术表达式既可以是一个数字值,也可以是由带有算术运算符的两个值或表达式组合而成。 算术运算符可以处理当前 CPU 所支持的各种数据类型。如果在该运算中有 2 个操作数,那么可根据以下条件来确定结果的数据类型。
    的头像 发表于 01-24 11:36 488次阅读

    SIMATIC S7-1500 PLC S7-SCL表达式详解

    表达式为了计算一个终值所用的公式,它由地址(变量)和运算符组成。表达式的规则如下。
    的头像 发表于 11-28 09:36 470次阅读
    SIMATIC S7-1500 PLC S7-SCL<b class='flag-5'>表达式</b>详解

    linux正则表达式匹配字符串

    在Linux操作系统中,正则表达式是一种强大的模式匹配工具,它可以用于在文本中查找、替换和筛选特定的字符串。准确掌握正则表达式的语法和常见应用,对于Linux系统的管理员和开发人员来说
    的头像 发表于 11-23 10:26 335次阅读

    什么是正则表达式?正则表达式如何工作?哪些语法规则适用正则表达式

    实现自动化文本处理。在许多编程语言中,正则表达式都被广泛用于文本处理、数据分析、网页抓取等领域。通过正则表达式,我们可以精确地筛选、操作和格式化文本,提高工作效率。
    的头像 发表于 11-03 14:41 568次阅读
    什么是正则<b class='flag-5'>表达式</b>?正则<b class='flag-5'>表达式</b>如何工作?哪些语法规则适用正则<b class='flag-5'>表达式</b>?

    基于SpEL可以实现的功能

    社区提供一种受良好支持的表达式语言,可以跨Spring产品组合中的所有产品使用。SpEL基于一种与技术无关的API,在需要时可以集成其他表达式语言实现。 作用
    的头像 发表于 09-30 10:37 434次阅读

    Java Lambda表达式的新特性

    Java Lambda表达式是Java 8中最重要的新特性之一。 它们是一种可传递的匿名函数,可以作为参数传递给方法或存储在变量中,因此可以在需要的时候调用它们。 基础 1. 简介 Lambda
    的头像 发表于 09-30 10:29 2290次阅读

    怎么去选择使用gm的三种表达式呢?

    我们在写跨导gm的表达式时,知道gm有三种表达式表达式含有的变量其实只有三个,一个W/L,一个Vgs-Vth,还有一个Id。
    的头像 发表于 09-17 15:31 3100次阅读
    怎么去选择使用gm的三种<b class='flag-5'>表达式</b>呢?

    zabbix触发器表达式 基本RS触发器表达式 rs触发器的逻辑表达式

    zabbix触发器表达式 基本RS触发器表达式 rs触发器的逻辑表达式  Zabbix是一款开源的监控软件,它能通过监控指标来实时监测服务器和网络的运行状态,同时还能提供警报和报告等功能来帮助管理员
    的头像 发表于 08-24 15:50 1215次阅读

    如何使用lambda表达式提升开发效率?

    Java8 的一个大亮点是引入 Lambda 表达式,使用它设计的代码会更加简洁。当开发者在编写 Lambda 表达式时,也会随之被编译成一个函数式接口。
    发表于 08-24 10:25 172次阅读

    Python中的正则表达式

    哈喽大家好,我是了不起,今天给大家讲Python中的正则表达式 在Python中,正则表达式是一种强大的文本处理工具,它可以用来匹配、搜索、替换文本。正则表达式是一个特殊的字符序列,它可以描述一类
    的头像 发表于 06-21 16:52 713次阅读

    探讨Spring框架中的属性注入技术

    在本文中,我们深入探讨了 Spring 框架中的属性注入技术,包括 setter 注入、构造器注入、注解式属性注入,以及使用
    的头像 发表于 06-14 09:37 693次阅读
    探讨Spring框架中的属性<b class='flag-5'>注入</b><b class='flag-5'>技术</b>

    OpenHarmony中使用正则表达式

    本文主要介绍笔者在做开源鸿蒙应用开发时,ArkTs 中使用正则表达式处理像 string 等字符串对象。
    的头像 发表于 06-06 09:24 659次阅读

    一文详解Verilog表达式

    表达式由操作符和操作数构成,其目的是根据操作符的意义得到一个计算结果。表达式可以在出现数值的任何地方使用。
    的头像 发表于 05-29 16:23 1939次阅读
    一文详解Verilog<b class='flag-5'>表达式</b>

    shell脚本基础:正则表达式grep

    在Linux上有许多命令可以使用正则表达式,其中最常见的是grep命令和sed命令。正则表达式有多种类型,每种类型中可以使用的元字符类型不同。最常见的是基本正则表达式和扩展正则表达式
    的头像 发表于 05-29 09:29 776次阅读
    shell脚本基础:正则<b class='flag-5'>表达式</b>grep

    Linux入门之正则表达式

    正则表达式是用来表达字符串匹配模式的方法,利用正则表达式,可以让我们轻易地实现对目标字符串的**查找**、**删除**、**替换**等操作。 正则表达式并不复杂,它并不包含难以理
    的头像 发表于 05-12 15:31 567次阅读
    Linux入门之正则<b class='flag-5'>表达式</b>