Clang の静的アナライザーがエラーを出す原因となる、小さくても完全なコード スニペットを見たいと思います。私の動機は主に、自分の PIC32 コードで動作させようとすることであり、「すべてのコードに問題がない」ことと「実際には何もしていない」ことを区別する方法が必要です。私自身は単純な例を思いつくことができないように見えるので、これは好奇心でもあります。

C89/ANSI または C99 で問題ありません。理想的には、単純なメモリ リークが検出されるようにしたいと考えています。私の使い方は

iOS 4.1 (Xcode 3.2.4) にアップグレードしたばかりですが、静的アナライザーを使用すると、3.2.3 を使用したときに以前は発生していなかったと思われる警告が表示されます。

これで、プロジェクトは問題なくコンパイルされます。これは変更されたものですか、それとも設定が間違っていますか?

注意: ビルド結果ウィンドウを「すべてのメッセージ」に設定しています。

編集：

これに関連する可能性があると思います：

ios-4-1-sdk へのアップグレード後の奇妙な問題

とても有難い

ゲイリー

ソース コードを解析してプロジェクト (C、C#、C++、または Java) のすべてのクラスと関数の依存関係を列挙し、ドキュメント、XML、またはその他の形式で保存するツールはありますか? ありがとうございました。

アプリの最終的な修正を行っており、すべてのコンパイラ/アナライザーの警告を取り除いています。

Core Data エンティティへのアプリ アクセスをラップするクラス メソッドが多数あります。これはアナライザーを「挑発」しています。

これにより、Analyzer の警告が表示されます。

+1 (所有) 保持カウントが予期される呼び出し元に返される +0 保持カウントを持つオブジェクト

上記のクラスメソッドを呼び出すメソッドには、次のものがあります。

これにより、Analyzer の警告が表示されます。

メソッドは、+1 保持カウント (所有参照) を持つ Objective-C オブジェクトを返します。

コア データ エンティティを明示的に解放または自動解放することは通常非常に悪いことですが、それは私に求められていることですか? 最初に、保持カウントが +0 であり、これは悪いことであることがわかります。次に、+1 であることも悪いことであることがわかります。

Analyzer の問題に対処していること、または正しくリリースしていることを確認するにはどうすればよいですか?

前もって感謝します

バージョン252チェッカーバイナリを使用してコードを実行すると、分析エラーは発生しません。ただし、最新の253チェッカーを使用するように変更すると、多数のエラーが返されますが、これらはすべて意味がありません。たとえば、scan-buildスクリプトが完了した後にSafariブラウザに表示されるエラーの画像を次に示します。

これは、エラーリストに表示されるかなり一般的なエラーです。ご覧のとおり、メソッド名の最後にCopyがありますが、それでも誤った名前として報告されています。

チェッカーバージョン253で発生しているエラーの内訳は次のとおりです。

自動解放エラーは、アナライザーがCopyメソッドが実際に正しく名前が付けられていることを認識できないという事実に関連しているようで、到達不能コードの例を探しようとしましたが、それらのパターンや説明を実際に見つけることができませんでしたエラーは、単純なifステートメント内のすべてのコード行であったためです。次に例を示します。

これは、チェッカーの最新バージョンで導入されたバグであり、エラーとして表示される可能性があると思います。ここで見逃している可能性のある他の何か（ある種のビルド設定またはscan-buildスクリプトの問題）はありますか？

このコードは問題ないはずですが、StaticAnalyzerはそれを好みません。理由がわからず、誰かに理解してもらえるといいなと思っていました。コードは正常に機能し、アナライザーの結果は私を悩ませます。

CoinはジェネリックNSObjectであり、初期化メソッドがあります。myCoinは現在のビューのプロパティであり、タイプはCoinです。私はそれが私が漏れていると私に言っていると思いますtempCoin。

私の見解の.hでは、myCoinをnonatomic、retainを持つプロパティとして設定しました。

この通常のリリースと同様にコードを自動リリースしようとしましたが、Static Analyzerは次のように言い続けます：
1。メソッドは+1の保持カウント（所有参照）を持つObjective-Cオブジェクトを返します
2.行97に割り当てられたオブジェクトはもうありませんこの時点以降に参照され、保持カウントが+1（オブジェクトがリークされた）

行97は、私が最初に表示する行です。

ガベージコレクションされたスクリプト環境を実装するCライブラリを使用するObjective-Cプロジェクトを維持しています。場合によっては、保持されているObjective-Cオブジェクトをスクリプトオブジェクトのプライベートフィールドに配置する必要があります。次に、Objective-Cオブジェクトがfinalizeコールバックで解放されます。

プライベート値を設定するための呼び出しは、うまくいけば明白なセマンティクスで、次のようになります。

ファイナライズコールバックはこれを行います：

Clang Static Analyzerは、finalizeコールバックでのランダムリリースに異議を唱えませんが、値が最初に設定されている場合、「行Nに割り当てられたオブジェクトのリークの可能性」と表示されます。</ p>

このメッセージを抑制する注釈または醜くないパターンはありますか？（私は、のようなばかげたことをしたくありません。また[object performSelector:@selector(retain)]、ヘッダー宣言を台無しにしたくないのJS_SetPrivateです。また、与えられた値JS_SetPrivateは任意のポインターであり、必ずしもObjective-Cオブジェクトではないことに注意してください。

私はXcodeの静的アナライザーを使用してプロジェクトの潜在的なリークを見つけていますが、それは完全に正常に機能しています。ただし、オブジェクトを解放した後でも、アナライザーが潜在的なリークを示している場合があります。この結果を理解するのは難しいと感じています。

I would like to know is there any tutorial to use xcode build and anylyse tool...

pls provide me links which points on it.

Thanks for any help

ここで質問するか、スーパーユーザーで質問するか迷ったのですが、こちらのサイトの方が適切でした。

これら2つの分野に特化したClangのドキュメント/分析を探しています:

• Clang と GCC によって提供される警告の比較
  • GCC http://gcc.gnu.org/onlinedocs/gcc/Warning-Options.htmlと比較してClangが行っているチェックの量を具体的に探しています
• フラグの説明、--analyzeそれは正確に何をチェックしますか?