CWE-617: Reachable Assertion
CWE版本: 4.18
更新日期: 2025-09-09
弱点描述
The product contains an assert() or similar statement that can be triggered by an attacker, which leads to an application exit or other behavior that is more severe than necessary.
常见后果
影响范围: Availability
技术影响: DoS: Crash, Exit, or Restart
说明: An attacker that can trigger an assert statement can still lead to a denial of service if the relevant code can be triggered by an attacker, and if the scope of the assert() extends beyond the attacker's own session.
潜在缓解措施
阶段: Implementation
描述: Make sensitive open/close operation non reachable by directly user-controlled data (e.g. open/close resources)
阶段: Implementation
策略: Input Validation
描述: Perform input validation on user data.
检测方法
方法: Automated Static Analysis
Automated static analysis, commonly referred to as Static Application Security Testing (SAST), can find some instances of this weakness by analyzing source code (or binary/compiled code) without having to execute it. Typically, this is done by building a model of data flow and control flow, then searching for potentially-vulnerable patterns that connect "sources" (origins of input) with "sinks" (destinations where the data interacts with external components, a lower layer such as the OS, etc.)
有效性: High
观察示例
参考: CVE-2023-49286
Chain: function in web caching proxy does not correctly check a return value (CWE-253) leading to a reachable assertion (CWE-617)
参考: CVE-2006-6767
FTP server allows remote attackers to cause a denial of service (daemon abort) via crafted commands which trigger an assertion failure.
参考: CVE-2006-6811
Chat client allows remote attackers to cause a denial of service (crash) via a long message string when connecting to a server, which causes an assertion failure.
参考: CVE-2006-5779
Product allows remote attackers to cause a denial of service (daemon crash) via LDAP BIND requests with long authcid names, which triggers an assertion failure.
参考: CVE-2006-4095
Product allows remote attackers to cause a denial of service (crash) via certain queries, which cause an assertion failure.
参考: CVE-2006-4574
Chain: security monitoring product has an off-by-one error that leads to unexpected length values, triggering an assertion.
参考: CVE-2004-0270
Anti-virus product has assert error when line length is non-numeric.
引入模式
| 阶段 | 说明 |
|---|---|
| Implementation | - |
分类映射
| 分类名称 | 条目ID | 条目名称 | 映射适配度 |
|---|---|---|---|
| The CERT Oracle Secure Coding Standard for Java (2011) | MET01-J | Never use assertions to validate method arguments | - |
| Software Fault Patterns | SFP3 | Use of an improper API | - |