scan-build-3.7-クラウドでのオンライン

プログラム：

NAME

スキャンビルド —clang静的アナライザー

SYNOPSIS

スキャンビルド [-ohkvV] [-分析ヘッダー] [-チェッカーを有効にする [チェッカー名]]
[-無効-チェッカー [チェッカー名]][ - 助けて] [--ヘルプチェッカー]
[--html-タイトル [=タイトル]][- 立ち止まるな] [-plist] [-plist-html] [-- ステータス バグ]
[--use-c ++ [= compiler_path]][--use-cc [= compiler_path]][- 見る]
[-制約 [ ]][-maxloop N] [-失敗なし-レポート] [-統計]
[-お店 [ ]] ビルドコマンド [ビルドオプション]

DESCRIPTION

スキャンビルド Clang静的アナライザーを呼び出すPerlスクリプトです。 によって使用されるオプション
スキャンビルド またはアナライザーによって最初に表示され、次に ビルドコマンド と任意の
ビルドオプション 通常、ターゲットシステムの構築に使用されます。

静的アナライザーは、チェックアルゴリズムの長いリストを採用しています。を参照してください。 チェッカーズ。 出力はすることができます
標準の.plistおよび/またはHTML形式で記述されています。

次のオプションがサポートされています。

-分析ヘッダー
#includedファイルの関数も分析します。

-チェッカーを有効にする チェッカー名, -無効-チェッカー チェッカー名
有効/無効 チェッカー名。 見る チェッカーズ.

-h, - 助けて
このメッセージを表示します。

--ヘルプチェッカー
デフォルトのチェッカーを一覧表示します。を参照してください。 チェッカーズ.

--html-タイトル[=タイトル]
生成されたHTMLページで使用されるタイトルを指定します。 デフォルトのタイトルは、次の場合に生成されます。
タイトル 指定されていません。

-k, - 立ち止まるな
「続行」オプションを追加します ビルドコマンド。 現在、makeとをサポートしています
xcodebuild。 これは便利なオプションです。 この動作を直接指定できます
ビルドオプションを使用します。

-o HTMLレポートファイルのターゲットディレクトリ。 サブディレクトリは、必要に応じて作成されます。
アナライザーの個別の呼び出しを表します。 このオプションが指定されていない場合、
ディレクトリはで作成されます / tmpに （Mac OS XではTMPDIR）レポートを保存します。

-plist 結果を.plistファイルのセットとして出力します。 （デフォルトでは、 スキャンビルド is
HTMLファイルのセット。）

-plist-html
結果をHTMLファイルと.plistファイルのセットとして出力します

-- ステータス バグ
潜在的なバグが見つかった場合は終了ステータスを1に設定し、それ以外の場合は0に設定します。 デフォルトでは、出口
の状態 スキャンビルド によって返されるものです ビルドコマンド.

--use-c ++[=コンパイラパス]
C ++およびObjective-C ++コードのデフォルトコンパイラを推測します。 このオプションを使用して
代替コンパイラーを指定してください。

--use-cc[=コンパイラパス]
CおよびObjective-Cコードのデフォルトのコンパイラを推測します。 このオプションを使用して
代替コンパイラーを指定してください。

-v からの詳細な出力 スキャンビルド とアナライザー。 XNUMX番目とXNUMX番目 v 増加
冗長性。

-V, - 見る
ビルドが完了すると、分析結果がWebブラウザーに表示されます。

-制約 [ ]
アナライザーが使用する制約エンジンを指定します。 デフォルトでは、「範囲」モデルは
中古。 'basic'を指定すると、によって使用されるより単純で強力でない制約モデルが使用されます。
チェッカー-0.160以前。

-maxloop N
諦める前にブロックにアクセスできる回数を指定します。 デフォルトは4です。
速度を犠牲にして、より包括的なカバレッジを実現します。

-失敗なし-レポート
アナライザーのクラッシュレポートと
前処理されたソースファイル。

-統計 分析中のプロジェクトの訪問統計を生成します。

-お店 [ ]
アナライザーが使用するストアモデルを指定します。 デフォルトでは、「リージョン」ストアモデル
使用されている。 'region'は、フィールドに依存するストアモデルを指定します。 ユーザーは指定することもできます
「基本」は、精度ははるかに低くなりますが、コードをより迅速に分析できます。 「ベーシック」は
チェッカーのデフォルトのストアモデル-0.221以前。

EXIT ステータス

スキャンビルド によって返される値を返します ビルドコマンド ない限り、 -- ステータス バグ or - 立ち止まるな
使用されている。

チェッカーズ

以下にリストされているチェッカーは、 -チェッカーを有効にする &
-無効-チェッカー オプション。 明示的に無効にしない限り、チェッカーのデフォルトグループが実行されます。
どのチェッカーがデフォルトグループを構成するかは、オペレーティングシステムの機能です。
使用する; それらはでリストされています --ヘルプチェッカー.

core.AdjustedReturnValue
関数呼び出しの戻り値が呼び出し元と異なるかどうかを確認します
期待します（たとえば、関数ポインタを介した呼び出しから）。

core.AttributeNonNull
引数が次の関数に引数として渡されるnullポインタを確認します
'nonnull'属性でマークされています。

core.CallAndMessage
関数呼び出しとObjective-Cメッセージ式の論理エラーを確認します
（たとえば、初期化されていない引数、null関数ポインタ）。

core.DivideZero
ゼロによる除算を確認してください。

core.NullDereference
nullポインタの逆参照を確認します。

core.StackAddressEscape
スタックメモリへのアドレスが関数をエスケープしないことを確認してください。

core.UnknownBinaryOperatorResult
二項演算子の未定義の結果を確認します。

core.VLAサイズ
未定義またはゼロサイズのVLAの宣言を確認してください。

core.builtin.BuiltinFunctions
コンパイラの組み込み関数を評価します。例： アロカ（）。

core.builtin.NoReturnFunctions
呼び出し元に戻らないことがわかっている「パニック」関数を評価します。

core.uninitialized.ArraySubscript
配列の添え字として使用されている初期化されていない値を確認します。

core.uninitialized.Assign
初期化されていない値が割り当てられているかどうかを確認します。

core.uninitialized.Branch
分岐条件として使用される初期化されていない値を確認します。

core.uninitialized.CapturedBlockVariable
初期化されていない値をキャプチャするブロックを確認します。

core.uninitialized.UndefReturn
初期化されていない値が呼び出し元に返されているかどうかを確認します。

デッドコード.デッドストア
後で読み取られることのない変数に格納されている値を確認します。

デバッグ.ダンプCFG
制御フローグラフの表示。

debug.DumpCallGraph
コールグラフを表示します。

debug.DumpDominators
特定の制御フローグラフの支配ツリーを印刷します。

debug.DumpLiveVars
生存変数分析の結果を印刷します。

デバッグ.統計
アナライザー統計を使用して警告を発行します。

debug.TaintTest
汚染されたシンボルをそのようにマークします。

デバッグ.ViewCFG
制御を表示-を使用したフローグラフ グラフビズ.

デバッグ.ViewCallGraph
を使用してコールグラフを表示する グラフビズ.

llvm.コンベンション
LLVMコードベース規則のコードを確認してください。

osx.APIさまざまなMacOS XAPIが適切に使用されているかどうかを確認します。

osx.AtomicCAS
への呼び出しを評価する OSアトミック 機能します。

osx.SecKeychainAPI
セキュアキーチェーンAPIの適切な使用を確認してください。

osx.cocoa.AtSync
@synchronizedのミューテックスとして使用されるnullポインターを確認します。

osx.cocoa.ClassRelease
'retain'、 'release'、または 'autorelease'をクラスに直接送信するかどうかを確認します。

osx.cocoa.IncompatibilityMethodTypes
タイプの非互換性を持つObjective-Cメソッドシグネチャについて警告します。

osx.cocoa.NSAutoreleasePool
の次善の使用について警告する NSAutoreleasePool Objective-CGCモード。

osx.cocoa.NSエラー
NSError **パラメータの使用法を確認してください。

osx.cocoa.NilArg
Objective-Cメソッド呼び出しに対する禁止されているnil引数を確認してください。

osx.cocoa.RetainCount
リークと不適切な参照カウント管理を確認します。

osx.cocoa.SelfInit
'self'が初期化メソッド内で正しく初期化されていることを確認してください。

osx.cocoa.UnusedIvars
決して使用されないプライベートivarについて警告します。

osx.cocoa.VariadicMethodTypes
非Objective-C型を期待する可変個引数メソッドに渡すかどうかを確認します
Objective-Cタイプ。

osx.coreFoundation.CFエラー
CFErrorRef *パラメーターの使用法を確認してください。

osx.coreFoundation.CF番号
の適切な使用法を確認してください CF番号作成（）。

osx.coreFoundation.CFRetainRelease
次のnull引数を確認します CF保持（）、 CFリリース（）、 と CFMakeCollectable（）。

osx.coreFoundation.containers.OutOfBounds
を使用するときに、インデックスの範囲外をチェックします CFアレイ APIです。

osx.coreFoundation.containers.PointerSizedValues
次の場合に警告します CFアレイ, CFDictionaryまたは CFセット ポインタサイズ以外の値で作成されます。

security.FloatLoopCounter
浮動小数点値をループカウンターとして使用することについて警告します（CERT：FLP30-C、FLP30-CPP）。

security.insecureAPI.UncheckedReturn
戻り値を常にチェックする必要がある関数の使用について警告します。

security.insecureAPI.getpw
の使用について警告する ゲットパウ（）。

security.insecureAPI.gets
の使用について警告する を取得（）。

security.insecureAPI.mkstemp
いつ警告する ムクテンプ（）は、フォーマット文字列で6X未満が渡されます。

security.insecureAPI.mktemp
の使用について警告する mktemp（）。

security.insecureAPI.rand
の使用について警告する ランド（）、 ランダム（）、および関連する関数。

security.insecureAPI.strcpy
の使用について警告する strcpy（）および ストラキャット（）。

security.insecureAPI.vfork
の使用について警告する vフォーク（）。

unix.API
さまざまなUNIX / Posix関数への呼び出しを確認します。

unix.Malloc
メモリリーク、ダブルフリー、および使用後のフリーを確認します。

unix.cstring.BadSizeArg
一般的なエラーがないか、C文字列関数に渡されるsize引数を確認してください
パターン。

unix.cstring.NullArg
C文字列関数に引数として渡されているnullポインタを確認します。

実施例

スキャンビルド -o / tmp / myhtmldir make -j4

上記の例では、分析レポートが次のサブディレクトリに保存されます。
/ tmp / myhtmldir と実行する make -j4 オプション。 別のサブディレクトリが作成されます
毎回 スキャンビルド プロジェクトを分析します。 アナライザーは、ほとんどの並列ビルドをサポートする必要があります。
ただし、分散ビルドではありません。

作者

スキャンビルド TedKremenekによって書かれました。 によって提供されたドキュメント
ジェームズK.ローデン[メール保護]>.

onworks.netサービスを使用してオンラインでscan-build-3.7を使用する