 描述
产品电话免费()两次在同一个内存地址,可能导致修改意想不到的内存位置。
 扩展描述
当一个程序调用free()两次使用相同的参数,会损坏程序的内存管理数据结构。这种腐败可能会导致程序崩溃或,在某些情况下,导致两个后调用malloc()返回相同的指针。如果两次malloc()返回相同的值,程序后给攻击者控制的数据写入这个doubly-allocated内存,程序变得容易受到缓冲区溢出攻击。
 替代条款
 的关系
此表显示了弱点和高水平类别相关的这一弱点。这些关系被定义为ChildOf、ParentOf MemberOf,并洞察类似项目可能存在的在较高和较低的抽象级别。此外,关系如PeerOf和CanAlsoBe定义显示类似的弱点,用户可能想要探索。
 相关的视图”研究概念”(cwe - 1000)
自然 |
类型 |
ID |
的名字 |
ChildOf |
类——一个弱点,描述的是一个非常抽象的时尚,通常独立于任何特定的语言或技术。更具体的比一个支柱的弱点,但更普遍的基本的弱点。类级别的弱点通常描述问题的1或2以下维度:行为、财产和资源。 |
666年 |
操作资源在一生的错误的阶段 |
ChildOf |
Base -一个弱点,仍主要是独立的资源或技术,但有足够的细节来提供特定的检测和预防方法。基础水平的弱点通常描述问题的2或3以下维度:行为、财产、技术、语言,和资源。 |
1341年 |
多个版本的相同的资源或处理 |
ChildOf |
Base -一个弱点,仍主要是独立的资源或技术,但有足够的细节来提供特定的检测和预防方法。基础水平的弱点通常描述问题的2或3以下维度:行为、财产、技术、语言,和资源。 |
825年 |
过期的指针 |
PeerOf |
Base -一个弱点,仍主要是独立的资源或技术,但有足够的细节来提供特定的检测和预防方法。基础水平的弱点通常描述问题的2或3以下维度:行为、财产、技术、语言,和资源。 |
123年 |
Write-what-where条件 |
PeerOf |
变体——一个弱点与某种类型的产品,通常涉及到一个特定的语言或技术。更具体的比基本的弱点。变异水平弱点通常描述问题的3到5以下维度:行为、财产、技术、语言,和资源。 |
416年 |
使用后免费 |
光束 |
Base -一个弱点,仍主要是独立的资源或技术,但有足够的细节来提供特定的检测和预防方法。基础水平的弱点通常描述问题的2或3以下维度:行为、财产、技术、语言,和资源。 |
364年 |
信号处理器竞态条件 |
此表显示了弱点和高水平类别相关的这一弱点。这些关系被定义为ChildOf、ParentOf MemberOf,并洞察类似项目可能存在的在较高和较低的抽象级别。此外,关系如PeerOf和CanAlsoBe定义显示类似的弱点,用户可能想要探索。
 简化映射的相关视图”缺点漏洞发布”(cwe - 1003)
自然 |
类型 |
ID |
的名字 |
ChildOf |
类——一个弱点,描述的是一个非常抽象的时尚,通常独立于任何特定的语言或技术。更具体的比一个支柱的弱点,但更普遍的基本的弱点。类级别的弱点通常描述问题的1或2以下维度:行为、财产和资源。 |
672年 |
过期或释放后操作资源 |
此表显示了弱点和高水平类别相关的这一弱点。这些关系被定义为ChildOf、ParentOf MemberOf,并洞察类似项目可能存在的在较高和较低的抽象级别。此外,关系如PeerOf和CanAlsoBe定义显示类似的弱点,用户可能想要探索。
 相关的视图”方案及质量的措施(2020)”(CWE-1305)
自然 |
类型 |
ID |
的名字 |
ChildOf |
类——一个弱点,描述的是一个非常抽象的时尚,通常独立于任何特定的语言或技术。更具体的比一个支柱的弱点,但更普遍的基本的弱点。类级别的弱点通常描述问题的1或2以下维度:行为、财产和资源。 |
672年 |
过期或释放后操作资源 |
此表显示了弱点和高水平类别相关的这一弱点。这些关系被定义为ChildOf、ParentOf MemberOf,并洞察类似项目可能存在的在较高和较低的抽象级别。此外,关系如PeerOf和CanAlsoBe定义显示类似的弱点,用户可能想要探索。
 相关的视图”方案及数据保护措施”(cwe - 1340)
自然 |
类型 |
ID |
的名字 |
ChildOf |
类——一个弱点,描述的是一个非常抽象的时尚,通常独立于任何特定的语言或技术。更具体的比一个支柱的弱点,但更普遍的基本的弱点。类级别的弱点通常描述问题的1或2以下维度:行为、财产和资源。 |
672年 |
过期或释放后操作资源 |
 模式的介绍
不同模式的引入提供了信息如何以及何时可以纳入这一弱点。生命周期的阶段识别点的介绍可能发生,而相关的报告提供了一个典型的场景介绍在给定的阶段。
 常见的后果
这个表指定不同的个人相关后果的弱点。标识应用程序范围的安全领域侵犯,而影响了负面的技术影响,如果敌人成功利用这个弱点。可能提供的信息如何可能的具体结果预计将看到列表中相对于其它后果。例如,可能会有高可能性,缺点将被利用来实现一定的影响,但较低的可能性,它将被利用来实现不同的影响。
范围 |
影响 |
可能性 |
完整性 保密 可用性
|
双重释放内存可能导致write-what-where条件,允许攻击者执行任意代码。 |
|
 利用的可能性
 示范例子
示例1
下面的代码显示了一个简单的双自由漏洞的例子。
char * ptr = (char *) malloc(大小); … 如果(abrt) {
免费(ptr); } … 免费(ptr);
双自由漏洞有两个共同的(有时是重叠的)原因:
-
错误条件和其他特殊情况
-
混乱的程序负责释放内存的一部分
虽然有些双自由漏洞并不比这个例子更复杂,大多数分布在数百行代码,甚至不同的文件。程序员似乎特别容易释放全局变量不止一次。
示例2
而做作,这段代码应该是可利用的在Linux发行版不附带heap-chunk检查总结。
# include < stdio . h > # include < unistd.h > #定义BUFSIZE1 512 #定义BUFSIZE2 ((BUFSIZE1/2) - 8)
int主要(int命令行参数个数,char * * argv) {
char * buf1R1; char * buf2R1; char * buf1R2; buf1R1 = (char *) malloc (BUFSIZE2); buf2R1 = (char *) malloc (BUFSIZE2); 免费(buf1R1); 免费(buf2R1); buf1R2 = (char *) malloc (BUFSIZE1); strncpy (argv [1], buf1R2 BUFSIZE1-1); 免费(buf2R1); 免费(buf1R2); }
 观察到的例子
参考 |
描述 |
|
|
|
双合成摆脱某些错误条件。 |
|
双合成摆脱某些错误条件。 |
|
双合成摆脱某些错误条件。 |
|
无效的asn . 1的双重自由编码。 |
|
双无畸形的GIF。 |
|
双无畸形的GIF。 |
|
双无畸形压缩数据。 |
 潜在的缓解措施
阶段:体系结构和设计
选择一种语言,提供了自动内存管理。 |
实施阶段:
确保每个分配只释放一次。释放一块后,设置指针为NULL,确保指针不能再次释放。在复杂的错误条件,确保清理例程尊重分配正确的状态。如果语言是面向对象,确保对象析构函数删除每个块的内存只有一次。 |
实施阶段:
使用一个静态分析工具找出双自由实例。 |
 影响资源
 会员资格
这MemberOf关系表显示额外CWE类别和视图引用这个弱点作为成员。这些信息通常是有用的在理解一个弱点符合外部信息源的上下文中。
 笔记
的关系
这通常是结果从另一个弱点,如一个未处理的错误或线程之间的竞态条件。也可能是主要的缓冲区溢出等弱点。
理论
可以说双自由是最适当的作为一个孩子的“自由”后使用,但“使用”和“释放”被认为是不同的操作在脆弱性理论,因此这是更准确地“过期或释放后释放资源”,这还不存在。
 分类法映射
映射分类名称 |
节点ID |
适合 |
映射节点名 |
千鸟 |
|
|
DFREE——双重释放脆弱性 |
7有害的王国 |
|
|
双自由 |
扣 |
|
|
双重释放内存 |
CERT C安全编码 |
MEM00-C |
|
分配和释放内存相同的模块,在同一层次的抽象 |
CERT C安全编码 |
MEM01-C |
|
一个新值存储在指针后立即免费() |
CERT C安全编码 |
MEM30-C |
CWE更具体 |
不访问释放内存 |
CERT C安全编码 |
MEM31-C |
|
完全免费的动态分配的内存 |
软件故障模式 |
SFP12 |
|
错误的内存释放 |
 引用
迈克尔•霍华德(REF-44)大卫·勒布朗和Viega约翰。软件安全的“24宗罪”。“罪恶之八:c++灾难。”Page 143. McGraw-Hill. 2010. |
(ref - 62)马克·多德约翰麦克唐纳和贾斯汀Schuh。“软件安全评估的艺术”。第七章,“双释放”,379页。1版。艾迪生卫斯理》2006。 |
|
|