static-analysis

2熱

4答えて

私はいくつかの雑誌の記事とGimpelのPC-lintとFlexelint C/C++コンパイラのWebサイトを読んだ。これは本当に高価です（少なくとも私の場合）が、コストを正当化するメリットがあるようです。他の誰かが使用したり購入したりして、自分の意見を述べることができるのでしょうか？

2熱

1答えて

.NET 3.5 SP1に依存するコードを見つける

.NET 3.5 SP1ではコンパイルされますが、3.5 RTMではコンパイルされないコードを見つけるために、ある種のコード解析を実行する方法はありますか？ FxCopは、SP1で導入されたアセンブリに対して機能しますが、新しいメソッドとプロパティを呼び出すコードではその使用法を検出しません。

6熱

4答えて

私の変数を宣言する場所でsplintを無視させるにはどうしたらいいですか？

私は変数を宣言するところでsplintを無視する方法を知っていますか？私は、古い学校cは、すべての機能に始まり、右で変数を宣言することを示していますことを知っているが、私は、私はそれらを使用する場所に近いものを宣言したいと悪い人ですので、。良い例はint iを入れることです。 for（i = 0; ...）の直前。 #include <stdio.h> int main() {

3熱

4答えて

特定のメソッド/タイプを非推奨にする

一部のメンバー（またはタイプ）を使用しないようにするには、それらを古いものとしてマークする方法があります。コンパイルされたサードパーティ製アセンブリのメンバー（またはタイプ）を非推奨にする方法はありますか？または、少なくとも、使用時に確実に（または警告を出す）ために？

3熱

1答えて

レースコンディションアナライザ

C++、C、Java用の競合状態分析ツールがいくつかあります。誰でも.NET用に同じような静的解析ツールを知っていますか？

8熱

5答えて

スタティックコードアナライザー：アンマネージドC++ Visual Studio 2008

Visual Studio 2008で商用アンマネージドC++アプリケーションを開発しました。スタティックコード解析ツールを追加したいと思います。推奨事項 MSVCにツールを組み込むことができれば本当にいいと思います。私はおよそPC-Lint + Visual Lint を考えているしかし、私は同様に、Coverityでハード見てみるUnderstand、およびKlockworkされています。

8熱

3答えて

抽象クラスの空のメソッド

私はJavaプロジェクトを解析するためにPMDをインストールしました。本当に素晴らしいツールです。私は、PMDのドキュメントをチェックアウトし、説明は言うを「抽象クラスで空のメソッドを代わりに抽象的でなければなりません」：はとにかく、私は言っていくつかのエラーが得ましたの開発者は、適切なコードを記述するのではなく、空の実装に頼ることがあります。だから私はこのコードスタイルエラーの背後にあ

30熱

12答えて

"strict strict" Pythonコンパイラが必要ですか？

static analysis tools for Pythonが存在しますが、コンパイル時のチェックは、Pythonが受け入れるrun-time binding philosophyとは正反対の傾向にあります。可能静的解析ツールで標準のPythonインタプリタをラップして "use strict"のような制約を適用することはできますが、そのようなことは広く普及していません。「厳密な使用」の動

3熱

2答えて

スプリントとテストカバレッジの分析？

私は、コードのテストカバレッジ分析も生成する、splintの成熟度を持つ静的解析ツールを探しています。例えば、libfoo.cの非静的関数はすべてlibfoo.hになければなりません。そのトークンによってlibfoo.hのすべての関数は単体テストを持つべきです。もちろん、このような振る舞いには何らかの細かい制御が必要ですが、これは静的解析ツールのスタートアップコンフィギュレーションファイルで定義

5熱

10答えて

Javaコード使用チェッカー

私は、私たちのライブラリのどれくらいが使用されているかを判断したいライブラリに取り組んでいます。 I.私たちは図書館のどのメソッドが公開されているのか知っていますが、呼び出されることはありません。ゴール：静的解析現在のプロジェクトのパッケージAの各パブリックメソッドを呼び出すコードの行数を決定します。コールの数がゼロの場合、メソッドはそのように報告される必要があります。