static-analysis

6熱

1答えて

人間が読めるフレーズや単語（Python、VB.NETなど）で主に構成されているプログラミング言語に対して、開発環境のエラーフィードバックと自動補完を提供するために必要なチェック数が少なく、これは、C言語のコードとは対照的に、コード構造のシンボルや句読点に依存しています。

34熱

3答えて

javax.annotation：@Nullableと@CheckForNullの比較

2つの違いは何ですか？両方とも、値がヌルである可能性があり、それに応じて処理される、すなわちヌルをチェックすべきであることを意味するようである。更新：上記 2つのアノテーションがJSR-305/FindBugsのの一部です：あなたは@CheckForNullを使用する場合と使用したコード： http://findbugs.sourceforge.net/manual/annotations.ht

7熱

1答えて

IntelliJ静的解析ツールをコマンドラインから実行する

IntelliJは、デッドコードや不適切な初期化された変数などを検出するための非常に優れた静的解析ツールを持っていると聞いたことがあります。 IntelliJの静的解析ツールをコマンドラインからソースコード上で実行する方法。これは可能ですか？コマンドラインからIntelliJの静的解析ツールを実行するためのインターフェイスはありますか？

19熱

2答えて

Coffeescript静的解析/静的型チェック - ロードブロッキング

私はCoffeescriptがすばらしい言語だと思います！私は静的解析をCoffeescriptに追加するいくつかのプロジェクト/課題/機能を探していました。しかし、いくつかの検索の後、私は、Coffeescript faqとthis pageは、静的解析が実行可能でないかもしれないことを示しました。私は、Coffeescriptで静的解析/静的型検査を実装する際に根本的な問題がある場合、この種

7熱

1答えて

Visual Studioスタティックコード分析からライブラリヘッダーを除外するにはどうすればよいですか？

私はQt/C++アプリケーションを/ analyzeフラグでコンパイルするようにbuildbotをセットアップしました。しかし分析はまた、私は気にしないQTヘッダ掘り下げるさ： c:\qt\qt-everywhere-opensource-src-4.8.1\src\corelib\tools\qvector.h(547) : warning C6011: Dereferencing NULL

0熱

2答えて

OptionがJavaでnullにならないかどうかを静的に分析する

機能的なJava Optionフィールドが初期化されていないバグがありますので、値はnullになります。開発者がOptionフィールドを初期化するのを忘れた場合は、静的コード解析ツールを使用して警告します。これを行うにはどうすればよいですか？これを実現するためのツールの1つにプラグインをコーディングする必要がありますか？または、誰かがすでにこれを実装しているかもしれないと思いますか？

2熱

3答えて

メソッドの呼び出し元を見つける

リソースを取得するメソッドがそれを解放するかどうかを確認しようとしています。単一のjarファイル内のクラス内のメソッドの呼び出し元を見つけるための最良のツールは何ですか？ CheckStyleまたはFindBugsでこれを行うことはできますか？どうやって？私はBCELなどを使用してこれを行うことができますが、以前はバイトコードで作業したことがなく、これを行うには時間がかかりすぎます。 "java

4熱

1答えて

splint：forループの解析エラー

私はc99コードの静的解析器としてsplintを使用しています。スプリントはかなりc99に準拠していないようです。したがって、私はこのパッチを適用しています http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20080718/52cc25f6/attachment.obj 今、私は解析エラーを取得していないによる宣言を

8熱

1答えて

clangのscan-buildは単純なcppファイルでは機能しません

clangのc++-analyzerをおもちゃのC++ファイルで動かすことはできません。 #include <iostream> using namespace std; int main() { int t[4]; int x,y; t[5]=1; if(x) y = 5; x = t[y]; } makefil

3熱

1答えて

私のCILモジュールでcillyに与えられたファイルにアクセスする方法

CIL（C中間言語）に新しい機能を追加しました。私は今 $cilly --dotestmodule --save-temps -D HAPPY_MOOD -o test test.c を使用して、私の新しいモジュールを実行することができるよ、私のtestmoduleに、私はtest.cのファイルのCfg.computeFileCFGを呼びたいです。しかし、自分のモジュールでtest.cファイル