1. Clang/LLVMの使い方
- Mac上でのビルド方法
- Clang Exampleのビルド方法
2. Clang Static Analyzer
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）
