CWE

常见的弱点枚举

一个由社区开发的软件&硬件缺陷类型的列表

2021 CWE最重要的硬件的弱点
CWE最危险的弱点
>CWE列表> CWE -个人字典定义(4.9)
ID

cwe - 1339:精度不足或精度实数

弱点ID: 1339
抽象:基地
结构:简单的
视图定制的信息:
+描述
程序流程一个实数与实现数量的表示不保存所需的准确度和精密度的小数部分,导致一个不正确的结果。
+扩展描述

当一个安全监察决定或者计算需要高度精确,精确的数字,如金融计算或价格,然后小数量的变化可以被攻击者利用。

有多种方法来存储一个实数的小数部分电脑。在所有这些情况下,是有限度的记录分数的准确性。如果分数可以表示为一个固定数量的数字(二进制和十进制),可能没有足够的数字分配给代表数量。在其他情况下不能代表人数固定数量的数字由于十进制的重复或二进制符号(例如0.333333…)或由于超越数如Π或√2。四舍五入的数字可能会导致计算机的情况下结果不充分匹配的结果足够精确的数学。

+的关系
部分帮助此表显示了弱点和高水平类别相关的这一弱点。这些关系被定义为ChildOf、ParentOf MemberOf,并洞察类似项目可能存在的在较高和较低的抽象级别。此外,关系如PeerOf和CanAlsoBe定义显示类似的弱点,用户可能想要探索。
+相关的视图”研究概念”(cwe - 1000)
自然 类型 ID 的名字
ChildOf 支柱支柱——一个弱点是最抽象类型的弱点和代表一个主题类/基地/变体相关弱点。支柱是不同于一个类别作为支柱技术上仍然是一种弱点,描述了一个错误,而一个类别代表一个共同特征用于组相关的东西。 682年 错误的计算
PeerOf 基地Base -一个弱点,仍主要是独立的资源或技术,但有足够的细节来提供特定的检测和预防方法。基础水平的弱点通常描述问题的2或3以下维度:行为、财产、技术、语言,和资源。 190年 整数溢出或概括的
CanPrecede 类类——一个弱点,描述的是一个非常抽象的时尚,通常独立于任何特定的语言或技术。更具体的比一个支柱的弱点,但更普遍的基本的弱点。类级别的弱点通常描述问题的1或2以下维度:行为、财产和资源。 119年 不当的操作限制的范围内一个内存缓冲区
CanPrecede 类类——一个弱点,描述的是一个非常抽象的时尚,通常独立于任何特定的语言或技术。更具体的比一个支柱的弱点,但更普遍的基本的弱点。类级别的弱点通常描述问题的1或2以下维度:行为、财产和资源。 834年 过多的迭代
部分帮助此表显示了弱点和高水平类别相关的这一弱点。这些关系被定义为ChildOf、ParentOf MemberOf,并洞察类似项目可能存在的在较高和较低的抽象级别。此外,关系如PeerOf和CanAlsoBe定义显示类似的弱点,用户可能想要探索。
+相关观点“软件开发”(cwe - 699)
自然 类型 ID 的名字
MemberOf 类别类别——CWE条目包含一组其他条目,共享一个共同的特点。 189年 数字错误
+背景细节
  • 固定:一些实现使用固定数量的二进制位表示整数和分数。在示范例子对穆勒的复发,分数108.0 - ((815.0 - 1500.0 / z) / y)不能代表8个二进制数字。数值精度等在语言PL / 1语言中,COBOL和Ada在小数位数表示,而不是二进制数字。在SQL和数据库、整数和分数的长度由程序员指定的小数。在C语言中,固定根据ISO / IEC TR18037实现实数
  • 浮动:存储在一个版本的科学记数法与一个固定长度的基础和有效数字。这允许灵活性整数部分时为了更准确更小。当处理大整数,小数精度更少。语言如PL / 1、COBOL和Ada的准确性而不是使用二进制数字十进制数字表示。Python还实现了十进制浮点数使用IEEE 754 - 2008编码方法。
  • 比:存储为两个整数之比。这些整数也有其局限性。这些整数可以存储在一个固定的比特数或一个向量的数字。虽然数字的向量方法提供了非常大的整数,他们不能真正代表一个重复或超越数这些数字永远不要有固定的长度。
有三个主要方法在计算机中存储实数。每个方法描述以及他们如何存储数据的局限性。
+模式的介绍
部分帮助不同模式的引入提供了信息如何以及何时可以纳入这一弱点。生命周期的阶段识别点的介绍可能发生,而相关的报告提供了一个典型的场景介绍在给定的阶段。
阶段 请注意
实现 介绍了这一弱点当开发人员选择一个方法来表示一个实数。弱点可能只有可见非常具体的数字输入。
+适用的平台
部分帮助该清单显示了给定的弱点可以可能的地区出现。这些可能是为特定命名的语言,操作系统,架构、模式、技术、或一个类这样的平台。列出的平台是随着频率的出现疲态实例。

语言

类:不是特定于语言的患病率(待定)

操作系统

类:不使用患病率(待定)

体系结构

类:不是特定于体系结构的患病率(待定)

技术

类:不是特定于技术的患病率(待定)

+常见的后果
部分帮助这个表指定不同的个人相关后果的弱点。标识应用程序范围的安全领域侵犯,而影响了负面的技术影响,如果敌人成功利用这个弱点。可能提供的信息如何可能的具体结果预计将看到列表中相对于其它后果。例如,可能会有高可能性,缺点将被利用来实现一定的影响,但较低的可能性,它将被利用来实现不同的影响。
范围 影响 可能性
可用性

技术的影响:DoS:崩溃,退出或重新启动

这个弱点通常会导致未定义的结果,因此崩溃。在一些实现程序将停止在计算如果疲软导致溢出。
完整性

技术的影响:执行未经授权的代码或命令

数学的结果并不如预期。这可能导致问题的价值还没有被正确地计算和提供一个错误的答案。
保密
可用性
访问控制

技术的影响:阅读应用程序数据;修改应用程序数据

这个弱点有时会引发缓冲区溢出,可以用来执行任意代码。这通常是在程序的隐式安全政策的范围。
+示范例子

示例1

穆勒的复发是一个系列,应该收敛于5号。与下面的代码在运行本系列,不同的实现在特定迭代:实数的失败

(坏的代码)
例如语言:生锈
fn rec_float (y: f64 z: f64) - > f64
{
(108.0)- (815.0 - 1500.0 / z / y);
}

fn float_calc(转:usize) - > f64
{
让狗x: Vec Vec ! < f64 > = (4.0, 4.25);
(2 . .把+ 1).for_each(| |数量
{
x。推(rec_float (x(数- 1)x(数量- 2)));
});

x(转)
}

下面的图表显示了不同的数据值结构锈语言当穆勒的递归执行80次迭代。数据结构f64 64位浮点数。数据结构我<数字> F <数字>是固定使用第一个数字表示128位长整数的大小和第二大小比例的大小(例如I16F112使用16位整数和分数的112位)。比率的数据结构在三个不同的实现:手机等使用32位有符号整数比,i64使用一个64位有符号整数比和长整型数字使用一个带符号整数的比例高达2 ^ 32位数256基地。注意即使有112位64位无符号整数的分数或比率,这个数学仍然不收敛的期望值5。穆勒的复发

(好的代码)
例如语言:生锈
使用num_rational:: BigRational;

fn rec_big (y: BigRational z: BigRational) - > BigRational
{
BigRational:: from_integer (BigInt::从(108))
- ((BigRational:: from_integer (BigInt::从(815))
——BigRational:: from_integer (BigInt::从(1500))/ z)
/ y)
}

fn big_calc(转:usize) - > BigRational
{
让狗x: Vec Vec ! < BigRational > = [BigRational: from_float (4.0) .unwrap (), BigRational:: from_float (4.25) .unwrap ());

(2 . .把+ 1).for_each(| |数量
{
x。推(rec_big (x(数- 1).clone (), x[数量- 2].clone ()));
});
x[转].clone ()
}

示例2

1991年2月25日,在入侵伊拉克前夕的沙特阿拉伯,伊拉克飞毛腿导弹发射的位置打了一个我们在达兰军营,沙特阿拉伯。错误时候,造成28人死亡ref - 1190]。

示例2引用:
(ref - 1190)浮点数“改善”。2015-10-22。<https://hackaday.com/2015/10/22/an-improvement-to-floating-point-numbers/>。

示例3

斯莱普,一个海上钻井平台在北海,是错误地低估了50%力量的浮力细胞所需的关键集群建设。这导致泄漏在浮力细胞降低,导致里氏3.0级地震,约700美元损失(ref - 1281]。

示例3引用:
道格拉斯·n·阿诺德(ref - 1281)。“斯莱的沉没海上平台”。<https://www-users.cse.umn.edu/阿诺德/灾难/ sleipner.html>。
+观察到的例子
参考 描述
链:一系列浮点精度错误(cwe - 1339)在web浏览器渲染引擎造成界外读(cwe - 125),对跨源数据的访问
链:在浮点舍入误差的计算(cwe - 1339)在图像处理器导致无限循环(cwe - 835)
链:机器学习产品会出现基于堆的缓冲区溢出(cwe - 122)当一些integer-oriented界限计算通过使用地板天花板()和()在浮点值(cwe - 1339)
链:精度不足(cwe - 1339随机数发生器)导致一些零位可靠地生成,减少熵(cwe - 331)
由于无限循环链:web浏览器崩溃——“坏的循环逻辑(依靠)浮点数学(cwe - 1339]退出循环cwe - 835)”
+潜在的缓解措施

阶段:实施;修复和维护

开发人员或维护者可以搬到一个更准确的表示实数。在极端情况下,程序员可以移动表示等比例的长整型数字可以表示实数极细的精度。程序员可以使用的概念级真实。这种变化的内存和CPU权衡必须检查。因为浮点实数是用在许多程序和许多地方,实现它们的硬件和大多数格式变化将导致计算进入软件导致较慢的程序。
+引用
(ref - 1186)”和数学是COBOL持有你的人质吗?”。2018-07-28。<https://medium.com/the -技术- archaeologist/is cobol -控股——你——人质——数学- 5498 c0eb428b>。
[ref - 1187]“中间结果和运算精度”。2021-06-30。<https://www.ibm.com/docs/en/cobol-zos/6.2?topic=appendixes-intermediate-results-arithmetic-precision>。
8.1.2 (ref - 1188)”。任意精度的数字”。2021-06-24。<https://www.postgresql.org/docs/8.3/datatype-numeric.html DATATYPE-NUMERIC-DECIMAL>。
[ref - 1189]“缪勒复发”。2017-11-11。<https://scipython.com/blog/mullers-recurrence/>。
(ref - 1190)浮点数“改善”。2015-10-22。<https://hackaday.com/2015/10/22/an-improvement-to-floating-point-numbers/>。
[ref - 1191]“高性能计算:我们刚刚错误答案更快吗?”。1999-06-23。<https://www3.nd.edu/ ~ markst / cast-award-speech.pdf>。
+内容的历史
+提交
提交日期 提交者 组织
2021-07-08 CWE内容团队 主教法冠
+修改
修改日期 修饰符 组织
2022-10-13 CWE内容团队 主教法冠
更新Demonstrative_Examples
更多的信息是可用的,请选择一个不同的过滤器。
页面最后更新:2022年10月13日