UndefinedBehaviorSanitizer

符号付き整数のオーバーフローなどの未定義の動作を実行時に検出する、ClangとGCCの機能。Clangでは、暗黙の整数の変換で値が変わったことを報告する検査も指定できる。

概念URI

https://comcomponent.com/knowledge/undefinedbehaviorsanitizer/

別名・表記

UBSan

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• 整数オーバーフローはUndefinedBehaviorSanitizerで確認できます。足し算のオーバーフローは型の変換の警告では分からない。UndefinedBehaviorSanitizerのsigned-integer-overflowの検査は、名前の長さを2,147,483,637バイトにして動かしたときに10行目のオーバーフローを報告した。報告が出るのは、その値の入力で動かしたときだけ。 / 確度: 条件付きの関係 / 確認日: 2026-11-14 出典

この概念を扱う記事

• size_tをintに入れる警告は無視してよいか？(言及)

一次資料

• https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html
• https://gcc.gnu.org/onlinedocs/gcc/Instrumentation-Options.html

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。