Clang Static AnalyzerのCheckerの内部仕様を泥臭い感じで見ています。 Name欄のリンクを辿って下さい。
| Name | Abstract | U |
|---|---|---|
| ArrayBoundCheckerV2 | 配列のインデックスの範囲 | o |
| CastToStructChecker | 基本型から構造体型へのキャスト | o |
| CheckSecuritySyntaxOnly | セキュリティ問題を持つ関数 | o |
| CheckSizeofPointer | ポインタをsizeofする問題 | o |
| ChrootChecker | chroot関数の不適切な使用 | x |
| FixedAddressChecker | NULL以外の固定アドレスの使用 | o |
| GenericTaintChecker | 汚染された変数 | o |
| MallocOverflowSecurityChecker | malloc引数のオーバフロー | x |
| ReturnUndefChecker | 未初期化の変数をreturn | o |
| UndefBranchChecker | 未初期化の変数を判定 | o |
| UndefinedAssignmentChecker | 未初期化の変数を代入 | o |
U: Use（私の独断で有用だと思ったものはo、要改善だと思ったものはx）