Longhorn项目v1.9.0版本安全修复全记录
在Longhorn分布式存储系统v1.9.0版本的发布过程中,安全团队对各个组件进行了全面的安全扫描和修复工作。本文将详细介绍这次安全审计的过程、发现的问题以及采取的解决方案。
安全审计背景
作为云原生分布式块存储系统,Longhorn由多个核心组件构成,包括引擎(engine)、管理器(manager)、实例管理器(instance-manager)等。每个版本发布前,团队都会对这些组件进行严格的安全扫描,确保系统不存在已知的高危问题。
v1.9.0版本采用了多阶段发布流程,包括Pre-RC、RC1到RC4等多个候选版本,最终发布GA版本。在每个阶段,安全团队都进行了全面的安全扫描。
发现的主要安全问题
在Pre-RC阶段扫描中,安全团队发现了几个需要关注的安全问题:
-
支持工具包(support-bundle-kit)中的liblzma5问题
该组件存在SUSE-SU-2025:1137-1高危问题,影响xz压缩库的安全更新。 -
CSI组件中的golang标准库问题
csi-provisioner组件被发现存在CVE-2024-34156问题,影响golang的encoding/gob包,可能导致深度嵌套结构解码时的安全问题。 -
gRPC健康检查探针的加密问题
多个组件中的grpc_health_probe工具被发现存在CVE-2025-22869问题,影响golang的crypto/ssh包,可能导致密钥交换过程中的拒绝服务攻击。
修复方案与实施
针对发现的安全问题,团队采取了以下修复措施:
-
支持工具包升级
将support-bundle-kit从v0.0.53升级到v0.0.54版本,解决了liblzma5相关问题。在后续的RC3阶段扫描中,又发现了openssl和sqlite3的新问题,于是进一步升级到v0.0.55版本。 -
CSI组件更新
- 将csi-attacher从v4.8.0升级到v4.8.1
- 将csi-provisioner从v5.1.0升级到v5.2.0
- 将csi-resizer从v1.13.1升级到v1.13.2
-
gRPC健康探针修复
通过更新相关组件的依赖关系,将golang.org/x/crypto从v0.31.0升级到0.35.0,解决了密钥交换问题。
未修复问题的评估
在实例管理器(longhorn-instance-manager)组件中发现的libexpat1问题(SUSE-SU-2025:1201-1)被评估为低风险,团队决定不进行专门修复,原因包括:
- 该问题需要特定条件才能被利用
- 修复需要更新基础镜像的系统包,可能引入不稳定性
- 预计在下个版本的基础镜像更新中会自然解决
安全最佳实践建议
基于这次安全审计的经验,我们建议Longhorn用户:
- 定期更新到最新版本,获取安全修复
- 在生产环境部署前进行独立的安全扫描
- 关注组件依赖关系,特别是第三方库的版本
- 对于无法立即修复的低风险问题,应评估实际业务场景的风险
总结
Longhorn v1.9.0版本通过严格的多阶段安全审计,及时发现并修复了多个潜在的安全风险。这种持续的安全意识和对细节的关注,确保了Longhorn作为企业级存储解决方案的可靠性和安全性。团队将继续保持这种高标准的安全实践,为用户提供安全稳定的存储服务。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C078
baihu-dataset异构数据集“白虎”正式开源——首批开放10w+条真实机器人动作数据,构建具身智能标准化训练基座。00
mindquantumMindQuantum is a general software library supporting the development of applications for quantum computation.Python056
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0131
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00