 描述
软件正确检查锁的存在,但锁可以外部控制或影响演员以外的目的的控制范围。
扩展描述
这可以防止软件作用于相关资源或执行其他行为所控制的锁。相关可能包括独占锁或互斥锁,或修改一个共享资源视为一个锁。如果锁可以无限期持有时间,然后拒绝服务可能是永久性的。
的关系
模式的介绍
 不同模式的引入提供了信息如何以及何时可以纳入这一弱点。生命周期的阶段识别点的介绍可能发生,而相关的报告提供了一个典型的场景介绍在给定的阶段。
常见的后果
这个表指定不同的个人相关后果的弱点。标识应用程序范围的安全领域侵犯,而影响了负面的技术影响,如果敌人成功利用这个弱点。可能提供的信息如何可能的具体结果预计将看到列表中相对于其它后果。例如,可能会有高可能性,缺点将被利用来实现一定的影响,但较低的可能性,它将被利用来实现不同的影响。
| 范围 |
影响 |
可能性 |
可用性
|
当攻击者可以控制一个锁,程序可能会无限期地等到攻击者释放锁,导致拒绝服务程序的其他用户。这尤其有问题如果有阻塞操作锁。 |
|
示范例子
示例1
这段代码文件试图获得一个锁,然后写入。
函数writeToLog(美元消息){
日志文件=美元fopen(“日志文件。日志”、“一个”);
/ /试图获取日志文件锁
如果(群(日志文件,LOCK_EX)) {
写入文件(日志文件,消息美元);
/ /打开日志文件
群(日志文件,LOCK_UN); } 其他{
在日志文件打印”不能获得锁。没有记录的日志、消息\ n”; } } 文件关闭($日志文件);
PHP默认情况下将无限期等待,直到文件释放锁。如果攻击者能够获得文件锁,这段代码将暂停执行,可能导致拒绝服务的其他用户。注意,在这种情况下,如果攻击者可以执行一个群()文件,他们可能已经摧毁日志文件的特权。然而,这还影响其他项目的执行,取决于群()。
观察到的例子
| 参考 |
描述 |
|
|
程序不能执行时,攻击者获得互斥锁。 |
|
|
程序不能执行攻击者获得一个锁在一个关键的输出文件。 |
|
|
程序不能执行攻击者获得一个锁在一个关键的输出文件。 |
|
|
重要文件可以打开的读访问用户,防止应用程序的安全策略。可能不当相关权限,大窗户竞态条件。 |
|
|
链:可预测的文件名用于锁定,允许攻击者事先创建锁。结果从权限和随机性。 |
|
|
链:锁文件和可预测的名称。从随机合成。 |
|
|
产品不检查是否可以写入一个日志文件,允许攻击者为了避免日志通过访问文件使用独占锁。不重叠错误条件。这不是很 cwe - 412,但很接近。 |
潜在的缓解措施
阶段:体系结构和设计;实现
使用提供的任何访问控制功能,提供锁。 |
阶段:体系结构和设计;实现
不可预知的名称或标识符使用锁。这可能并不总是可能或可行的。 |
阶段:体系结构和设计
考虑修改代码使用非阻塞同步方法。 |
检测方法
白盒子
自动代码分析技术可能无法可靠地检测这一弱点,因为应用程序的行为和通用安全模型决定哪个资源锁是至关重要的。解释弱点可能需要知识的环境,例如,如果一个文件的存在作为一个锁,但是在一个人人可写的目录中创建的文件。 |
会员资格
这MemberOf关系表显示额外CWE类别和视图引用这个弱点作为成员。这些信息通常是有用的在理解一个弱点符合外部信息源的上下文中。
笔记
的关系
这个重叠不足资源池大小的“池”是1。从竞态条件也可以合成,尽管时间窗口在某些情况下可能会相当大。
分类法映射
| 映射分类名称 |
节点ID |
适合 |
映射节点名 |
| 千鸟 |
|
|
无限制的关键资源锁 |
| 7有害的王国 |
|
|
死锁 |
| OWASP十大2004 |
A9 |
CWE更具体 |
拒绝服务 |
| CERT甲骨文安全Java编码标准(2011) |
LCK00-J |
|
使用私人最终锁定对象同步类可能与不受信任的代码 |
| CERT甲骨文安全Java编码标准(2011) |
LCK07-J |
|
避免死锁请求和释放锁的顺序相同 |
| 软件故障模式 |
SFP22 |
|
无限制的锁 |
|
描述
此表显示了弱点和高水平类别相关的这一弱点。这些关系被定义为ChildOf、ParentOf MemberOf,并洞察类似项目可能存在的在较高和较低的抽象级别。此外,关系如PeerOf和CanAlsoBe定义显示类似的弱点,用户可能想要探索。
