NASA cFS 7.0.0 整数溢出绕过边界检查

根据用户的要求，我需要从提供的网页截图中提取关于漏洞的关键信息，并用简洁的中文markdown格式进行总结。 1. 漏洞概述 (Vulnerability Overview): 标题: Submit #781971: NASA cFS 7.0.0 Integer overflow in CFE_TBL_ValidateCodeLoadSize bypasses bound 描述: 在 函数中存在整数溢出漏洞。该函数在32位目标上计算 时，使用 算术运算。当 超过 2^32 时，结果会回绕（wrap），产生一个能通过边界检查的较小值。这个错误的 随后被用于目标内存位置，导致在32位目标上， 函数在32位目标处理器（LE32, BE32）上写入超出代码段末尾的内存。 缓解措施: 在64位目标上，由于指针算术不会在 2^32 处回绕，因此该漏洞已被缓解。 2. 影响范围 (Impact/Scope): 受影响组件: NASA cFS 7.0.0 (Core Flight System) 受影响架构: 32位目标处理器 (LE32, BE32)。64位目标不受影响。 具体函数: , 3. 修复方案 (Mitigation/Fix): 预期行为: 边界检查加法应在64位算术中进行，以防止回绕，无论目标架构如何。 代码修复建议: 截图底部的代码片段展示了修复思路，将 的计算从 改为 ，并在比较前进行类型转换。 4. 提取代码 (Code Extraction): Reproduce (复现步骤): 包含具体的 和 值。 Code snips (代码片段): 包含修复前后的代码对比。 5. 组织语言 (Drafting the response): 将上述信息整理成清晰的Markdown结构。 确保代码块完整。 保持语言简洁。 Refining the content: Title: NASA cFS 7.0.0 整数溢出绕过边界检查 Description: 函数在32位目标上计算 时使用 算术。当 超过 2^32 时发生回绕，导致计算出的 变小从而通过边界检查。这导致 在32位目标上向代码段末尾之外的内存写入数据。 Impact: 32位目标 (LE32, BE32)。64位目标已缓解。 Fix: 使用64位算术进行边界检查加法。 Final Polish: 检查是否遗漏了POC或代码。截图中有 "To Reproduce" 部分和 "Code snips" 部分，都需要提取。 Let's write it down. 漏洞概述 漏洞名称: NASA cFS 7.0.0 Integer overflow in CFE_TBL_ValidateCodeLoadSize bypasses bound 漏洞描述: 在 函数中存在整数溢出漏洞。该函数在32位目标上计算 时，使用 算术运算。当 超过 2^32 时，结果会发生回绕（wrap），产生一个能通过边界检查的较小值。这个错误的 随后被用于目标内存位置，导致在32位目标上， 函数向代码段末尾之外的内存写入数据。 缓解情况: 在64位目标上，由于指针算术不会在 2^32 处回绕，该漏洞已被缓解。 影响范围 受影响软件: NASA cFS 7.0.0 (Core Flight System) 受影响架构: 32位目标处理器 (LE32, BE32)。 受影响函数: , 修复方案 预期行为: 边界检查加法应在64位算术中进行，以防止回绕，无论目标架构如何。 修复代码思路**: 将 的计算从 改为 ，并在比较前进行类型转换。 复现步骤 (To Reproduce) 代码片段 (Code Snips)

目标达成 感谢每一位支持者 — 我们达成了 100% 目标！

NASA cFS 7.0.0 整数溢出绕过边界检查

目标达成感谢每一位支持者 — 我们达成了 100% 目标！