Undefined Behavior - CI/CD用語集の定義
未定義動作 (UB) とは、言語標準が何の要件も課さないプログラム操作 (符号付きオーバーフロー、範囲外アクセス、data race) です。compiler はそれが決して起こらないと仮定して最適化できるため、UB は予測不能なクラッシュや悪用可能なバグを生みます。
関連ガイド
Memory Safety - CI/CD Glossary DefinitionMemory safety guarantees code never accesses memory incorrectly - no buffer overruns, use-after-free, or null…
Data Race - CI/CD Glossary DefinitionA data race is two threads accessing the same memory at once with at least one write and no synchronization -…
Sanitizer - CI/CD Glossary DefinitionA sanitizer is a compiler-instrumented runtime checker - for memory errors, data races, or undefined behavior…