CWE-192 詳細

Integer coercion refers to a set of flaws pertaining to the type casting, extension, or truncation of primitive data types.

導入モード

Implementation

適用可能なプラットフォーム

言語

名前： C (Undetermined)
名前： C++ (Undetermined)
名前： Java (Undetermined)
名前： C# (Undetermined)

一般的な結果

観察された例

潜在的な緩和策

Phases : Requirements
A language which throws exceptions on ambiguous data casts might be chosen.
Phases : Architecture and Design
Design objects and program flow such that multiple or complex casts are unnecessary
Phases : Implementation
Ensure that any data type casting that you must use is entirely understood in order to reduce the plausibility of error in use.

検出方法

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

脆弱性マッピングノート

理由 : This CWE entry is at the Variant level of abstraction, which is a preferred level of abstraction for mapping to the root causes of vulnerabilities.
コメント : Carefully read both the name and description to ensure that this mapping is an appropriate fit. Do not try to 'force' a mapping to a lower-level Base/Variant simply to comply with this preferred level of abstraction.

ノート

Several flaws may fall under the category of integer coercion errors. Within C, it might be that "coercion" is semantically different than "casting", possibly depending on whether the programmer directly specifies the conversion, or if the compiler does it implicitly. This has implications for the presentation of this entry and others, such as CWE-681, and whether there is enough of a difference for these entries to be split.

参考文献

REF-44

24 Deadly Sins of Software Security
Michael Howard, David LeBlanc, John Viega.

REF-62

The Art of Software Security Assessment
Mark Dowd, John McDonald, Justin Schuh.

REF-18

The CLASP Application Security Process
Secure Software, Inc..
https://cwe.mitre.org/documents/sources/TheCLASPApplicationSecurityProcess.pdf

登録情報

変更履歴