問題タブ [clang-static-analyzer]

Objective-C で特定の C API をラップしています。CFTypeRef手続き型 API から一部を取得し、OOP API からラッピング オブジェクトを返す便利なメソッドがあります。このオブジェクトは、渡されたものを保持しCFTypeRef、独自の割り当て解除時に解放します。便利なメソッドは次のようになります。

CFTypeRef単にいくつかを取得してラッピング オブジェクトを返すメソッドがたくさんあります。

これは少し不器用なので、別の便利な方法を考え出しました。

doSomethingこれで、メソッドを次のように書き直すことができます。

私はこれが好き。私はこのwrapNonRetainedFooメソッドをあまり誇りに思っていませんが、パッケージのパブリック インターフェイスの一部ではないため、いくつかのメソッドで数行のボイラープレート コードを節約できます。

欠点は、静的アナライザーXXXが潜在的なリークとしてラインにフラグを立てることです。どうすれば改善できますか? cf_consumed後でオブジェクトを解放することをアナライザーに知らせるために、引数属性をいじろうとしましたが、うまくいかないようです。

「Fix-it」がいつ表示されるか知りたいのですが？すべてのエラーに表示させることは可能ですか（そして変更を提案しますか？） 「Fix-it」が分析および検出したコードのエラーを明らかにします。しかし、それは私をさらに助けることができますか？

以前のCocoaメモリ管理ルールで述べたように

名前が「alloc」または「new」で始まるメソッドまたは「copy」を含むメソッド（alloc、newObject、mutableCopyなど）を使用してオブジェクトを作成する場合、またはオブジェクトに保持メッセージを送信する場合は、オブジェクトの所有権を取得します。

2010年12月以降は読んでいませんが、それ以降は

名前が「alloc」、「new」、「copy」、または「mutableCopy」で始まるメソッド（たとえば、alloc、newObject、mutableCopy）を使用して、オブジェクトを「作成」します。

ここで、プレフィックスとして「コピー」が必要であることに注意してください。これにより、Clang Static Analyzerからいくつかのメモリ関連の警告が発生しました:(。インターウェブを検索した後、これがiOSのメモリ管理の基本基盤の1つであるため、なぜこれが変更されたのかについて結論を出すことができませんでした。

誰かが理由を知っていますか？ありがとう！

I am getting some errors from the Clang Static Analyzer saying that I have a few leaks from the following code. However I am unable to find the leak. Please tell me where the leak is.

Xcode 4静的アナライザーは、私のコードでいくつかの誤検知を報告します。それらを抑制する方法はありますか？

アナライザーを実行したところ、コード内の行に関連付けることができない警告がいくつか見つかりました。どう対処したらいいのかわからない。それらをクリックすると、エディター内の適切なファイルが表示されますが、アナライザーの要約結果からそのことがわかります。これらのそれぞれが何を指しているのかわかりません。また、コードを1行ずつ実行するのは生産的ではありません（何を探しているのかわかりません）。

最後の警告として、自動リリースを削除しましたが、削除されましたが、returnステートメントで使用されているため、リリースする方法がわかりません。

一般的に、これらをどうすればよいですか？

Xcode 4 の静的アナライザーは、そうでないように思われる場合に、このメソッドに過度に解放された戻り値があるというフラグを立てます。

return キーワードからそれに続く式を指す矢印と、その式からアナライザーの警告を指す矢印があります。静的分析は次のとおりです。

1. メソッドは、保持カウントが +1 の Objective-C オブジェクトを返します
2. 送信されたオブジェクト - autorelease メッセージ
3. 所有参照として呼び出し元に返されるオブジェクト (呼び出し元に転送される単一の保持カウント)
4. +0 (非所有) 保持カウントで呼び出し元に返されたオブジェクト
5. +1 (所有) 保持カウントが予期される呼び出し元に返される +0 保持カウントを持つオブジェクト

静的アナライザーが間違っていますか、それともこのコードに何か問題がありますか?

リクエストにより、-initWithURL:postString:メソッド:

プロジェクトをクリーニングして再構築した後でも、この警告が表示され続けます。

更新: Xcode 4.2 にアップグレードした後、Xcode 静的アナライザーはこれを問題としてフラグ付けしなくなりました。

この質問に対するコメントへの回答: Xcode 4 静的アナライザーの警告を抑制することは可能ですか? 、これは誤検知です（少なくとも私はそう信じています）。

以下のコードは、次のメッセージを表示します。

'action' に格納された値は囲み式で使用されますが、値が実際に 'action' から読み取られることはありません。

hudson ビルド サーバーで clang 静的アナライザーをセットアップしようとしています。このブログ投稿のアドバイスに従うと、次のエラーが発生します。

RUN_CLANG_STATIC_ANALYZERパラメータをxcodebuild（を使用せずに）に渡すとscan-build、いくつかのplistファイルが生成されますが、HTML出力を期待しているため、それらのファイルをユーザーに表示する方法がわかりません。

誰もこれで成功しますか？

私は Clang を初めて使用するので、静的コード アナライザーの既存の機能を拡張できるかどうかを知りたいと思っていました。基本的に今のところ、コードを分析し、特定の呼び出しを探して目的の C コードでファイル システム アクセスを確認するチェックを追加したいと考えています。Clang が生成する既存の静的分析レポートに調査結果を統合して出力したいと考えています。これはClangでできることですか？スクリプト (python など) を記述してソース コードを解析することで、より簡単な方法があることは知っていますが、既存の Clang でこれを実行できるかどうかを確認したいと考えています。これを達成できる可能性のあるlibClangライブラリを見ましたが、静的分析結果レポートに統合されず、異なっているようです.

どんな助けでも大歓迎です。