signed_overflow | unsigned_overflow

整数演算に符号付きまたは符号なしのオーバフローがあるかチェックします。

integer_conversion | implicit_integer_conversion

暗黙的または明示的な整数変換によって値が変更されているかチェックします。

div_by_zero

ゼロによる除算があるかチェックします。

signed_shift | unsigned_shift

シフト時にビットの損失または実装に依存する結果があるかどうかチェックします。

switch

switch 文に未処理のケースがあるかチェックします。

bounds

配列およびその他オブジェクトの境界の外にあるアクセスをチェックします。

bounds_no_checks

ポインタ境界を追跡しますが、チェックは実行しません。#pragma disable_check = boundsも参照してください。