タグ付けされた質問 「static-analysis」

閉まっている。この質問はスタックオーバーフローのガイドラインを満たしていません。現在、回答を受け付けていません。 この質問を改善してみませんか？ Stack Overflowのトピックとなるように質問を更新します。 6年前休業。 PHPソースファイルの静的分析ツールはありますか？バイナリ自体は構文エラーをチェックできますが、次のような他のことを行うものを探しています。 未使用の変数割り当て 最初に初期化されずに割り当てられる配列 そしておそらくコードスタイルの警告 ...

466 php  code-analysis  static-analysis 

現在のところ、この質問はQ＆A形式には適していません。私たちは回答が事実、参考文献、または専門知識によってサポートされることを期待しますが、この質問はおそらく議論、議論、投票、または拡張された議論を誘います。この質問を改善でき、再開できると思われる場合は、ヘルプセンターにアクセスしてください。 7年前休業。 Javaには、FindBugs、Checkstyle、PMDなどの非常に優れたオープンソースの静的分析ツールがいくつかあります。これらのツールは使いやすく、非常に便利で、複数のオペレーティングシステムで実行でき、無料です。 市販のC ++静的分析製品を利用できます。このような製品を購入することは素晴らしいことですが、学生にとってはコストが高すぎるため、通常、試用版を入手するのはかなり困難です。 別の方法は、複数のプラットフォーム（WindowsおよびUnix）で実行されるオープンソースのC ++静的分析ツールを見つけることです。オープンソースツールを使用することにより、特定のニーズに合わせて変更できます。ツールを見つけるのは簡単なことではありません。 以下は、他の人が発見または提案したC ++静的分析ツールの短いリストです。 C ++チェックhttp://sf.net/projects/cppcheck/ Oink http://danielwilkerson.com/oink/index.html CおよびC ++コードカウンターhttp://sourceforge.net/projects/cccc/ スプリント（回答から） Mozillaのポーク（回答より）（これは現在Oinkの一部です） MozillaのDehydra（回答より） -Weffc++GNU g ++のオプションを使用（回答から） いくつかのどのようなものがあり、他のポータブルオープンソースのC ++静的解析ツールは、誰でも知っているのと推奨できること？ いくつかの関連リンク。 /programming/97454/c-static-code-analysis-tool-on-windows http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis http://www.chris-lott.org/resources/cmetrics/ C / C ++ソースコードを一連のコーディング標準と照合する無料のツールですか？ http://spinroot.com/static/ 静的コード分析ツールの選択

301 c++  coding-style  static-analysis 

Rustの本の寿命の章を読んでいて、名前付き/明示的な寿命のこの例に出くわしました。 struct Foo<'a> { x: &'a i32, } fn main() { let x; // -+ x goes into scope // | { // | let y = &5; // ---+ y goes into scope let f = Foo { x: y }; // ---+ f goes into scope x = …

199 reference  rust  static-analysis  lifetime 

閉まっている。この質問はスタックオーバーフローのガイドラインを満たしていません。現在、回答を受け付けていません。 この質問を改善してみませんか？Stack Overflowのトピックとなるように質問を更新します。 6年前休業。 この質問の答えはコミュニティの努力です。この投稿を改善するには、既存の回答を編集してください。現在、新しい回答や相互作用を受け入れていません。 C＃コードに対する静的分析に使用できるツールは何ですか？FxCopとStyleCopについて知っています。他にありますか？私は以前NStaticに出くわしましたが、永遠に見えるように開発されています-私が見たことのないものからかなり滑らかに見えます。 これらと同じように（これは主に静的分析に対する私の関心です）、マルチスレッドの問題（デッドロック、競合状態など）のコードをテストするためのツールも少し不足しているように見えます。Typemock Racerがポップアップしたので、それを見ていきます。これ以上の何か？ 使用したツールについての実際の意見は高く評価されます。

174 c#  code-analysis  static-analysis 

私は統合するだろう非常に多くのようなpylintを私のpythonプロジェクトのビルドプロセスに、しかし、私は1つのショーストッパーに実行した：私は非常にuseful--見つけること、エラーの種類の一つは：E1101: *%s %r has no %r member*一般的なDjangoのフィールドを使用しているとき--constantlyエラーを報告します、 例えば： E1101:125:get_user_tags: Class 'Tag' has no 'objects' member これはこのコードによって引き起こされます： def get_user_tags(username): """ Gets all the tags that username has used. Returns a query set. """ return Tag.objects.filter( ## This line triggers the error. tagownership__users__username__exact=username).distinct() # Here is the Tag class, models.Model is provided …

140 python  django  static-analysis  pylint 

現在のところ、この質問はQ＆A形式には適していません。事実、参考文献、専門知識によって回答が裏付けられることを期待していますが、この質問は、討論、議論、投票、または拡張ディスカッションを求める可能性があります。この質問を改善でき、再開できると思われる場合は、ヘルプセンターにアクセスしてください。 8年前に閉鎖。 Javaプロジェクトで使用しているコード分析ツールは何ですか？ 私はすべての種類に興味があります 静的コード分析ツール（FindBugs、PMD、その他） コードカバレッジツール（Cobertura、Emma、その他） その他の計装ベースのツール 他に何か、私が何かを逃しているなら 該当する場合は、使用するビルドツールと、これらのツールがIDEとビルドツールの両方とどの程度統合されているかも説明してください。 ツールが特定の方法でのみ使用できる場合（IDEプラグインとして、またはビルドツールプラグインとして）、その情報も注目に値します。

117 java  code-coverage  static-analysis 

閉まっている。この質問はスタックオーバーフローのガイドラインを満たしていません。現在、回答を受け付けていません。 この質問を改善してみませんか？Stack Overflowのトピックとなるように質問を更新します。 2年前休業。 この質問を改善する 変数名のタイプミスのような愚かなことをするとコンパイラーが文句を言うのに慣れていますが、JavaScriptにはこのパスを許可する癖があります。 JavaScript用の静的分析ツールはありますか？

110 javascript  static-analysis 

PMDとCheckStyleを比較する質問がありました。ただし、PMDとFindBugsの違い/類似性については、うまく分類できません。主な違いは、PMDがソースコードで機能するのに対し、FindBugsはコンパイル済みバイトコードファイルで機能することです。しかし、機能に関しては、どちらか一方または両方の選択である必要がありますか、それとも互いに補完し合うのでしょうか？

107 java  static-analysis  findbugs  pmd 

大規模なソースリポジトリが複数のプロジェクトに分割されています。ソースコードの状態に関するレポートを作成し、対処する必要のある問題領域を特定します。 具体的には、サイクロマティックの複雑度が高いルーチンを呼び出し、繰り返しを識別し、おそらく糸くずのような静的分析を実行して、疑わしい（したがって誤っている可能性が高い）構造を見つけたいと思います。 このようなレポートを作成するにはどうすればよいですか？

99 python  static-analysis  cyclomatic-complexity 

特定の関数にヒットしている可能性のあるすべての実行パスを見つけるためのコールグラフを生成しようとしています（この関数につながるパスがたくさんあるので、すべてのパスを手動で把握する必要はありません） ）。例えば： path 1: A -> B -> C -> D path 2: A -> B -> X -> Y -> D path 3: A -> G -> M -> N -> O -> P -> S -> D ... path n: ... CodevizとDoxygenを試しましたが、どちらの結果もターゲット関数Dの呼び出し先しか表示されません。私の場合、Dはクラスのメンバー関数であり、そのオブジェクトはスマートポインターでラップされます。クライアントは、Dを呼び出すために、常にファクトリを介してスマートポインタオブジェクトを取得します。 誰かがこれを達成する方法を知っていますか？

87 c++  static-analysis  call-graph 

Java製品のビルドシステムに静的分析ツールを導入しています。Maven2を使用しているため、CheckstyleとPMDの統合は無料です。ただし、基本的なスタイルルールを適用するという点では、これら2つのツールの機能には大きな重複があるようです。 これらの両方を利用することには利点がありますか？1つが機能する場合、2つのツールを維持したくありません。いずれかを選択した場合、どちらを使用する必要がありますか。その理由は何ですか。 FindBugsの使用も計画しています。他に検討すべき静的分析ツールはありますか？ 更新：コンセンサスは、PMDがCheckStyleよりも優先されるということのようです。両方を使用する確固たる理由はわかりません。また、2セットのルールファイルを維持したくないので、おそらくPMDのみを目指します。また、FindBugsを導入し、最終的にはMackerを導入してアーキテクチャルールを適用します。

86 java  static-analysis  findbugs  checkstyle  pmd 

PEP8は次のことを示唆しています。 インポートは、次の順序でグループ化する必要があります。 標準ライブラリのインポート 関連するサードパーティの輸入 ローカルアプリケーション/ライブラリ固有のインポート インポートの各グループの間に空白行を入れる必要があります。 標準は、静的コード分析ツールを使用して、パッケージ内のどこに違反しているかどうかを確認する方法はある、のようなpylint、pyflakes、pychecker、pep8？ 違反の例： from my_package import my_module from django.db import models import os インポートする正しい方法： import os from django.db import models from my_package import my_module

84 python  python-import  static-analysis  pep8