static-analysis

4熱

3答えて

私は、Javaプログラムのためのボックスデータと制御依存解析をいくつか持っているライブラリ/ APIを探しています。これは、データ依存性を計算し、依存性を制御するために、与えられたプログラムの制御フローグラフ（CFG）に関する静的解析である。すでに完了している場合、これらのテクニック/アルゴリズムの再実装は避けてください。プロシージャ間の分析は素晴らしいですが、プロシージャ内の分析も行うライブラリ

1熱

4答えて

Java静的解析：はじめに

こんにちは私は、Javaソースコードの静的解析を使い始めることにしました。まず、ソースツリーを直接解析するのが最も簡単ですが、そこにはAPIがあると仮定します。特に、このようなコード許可API持っていいだろう。もちろん for (MetaClass m : mySourcePackage.getClasses()) { System.out.println(m.getMethods(

1熱

1答えて

カバレッジを数えるときにソナーがスキップする方法を指定する方法は？

私は現在のプロジェクトでコード解析にソナーを使用しています。私の質問は、特定のメソッド、特にコードカバレッジをカウントするときにゲッターとセッターを除外する方法を指定する方法です。また、特定のBeanを使用するユニットテストがある場合でも、@Componentアノテーションと@Valueアノテーションでは、ラインカバレッジは0であることに気付きました。興味深いことに、@Autowiredはスキッ

0熱

1答えて

StyleCop - メソッド名のルールのみを無効にする

たとえば、メソッドのMy naming ruleはSampleName、パラメータはsampleNameです。次のコードでは、publicとvirtualのようにメソッド名を制御することはできませんので、私はそれを私の命名規則に合うようにGetIdsに変更することはできません。 public override void GetIDs(ref string[] availableDefinition

6熱

3答えて

変数へのアクセスの前にロックをチェックする静的解析ツール

C＃または.Netの静的解析ツールがかなりあることは知っています。使用可能なツールのリストについては、questionを参照してください。私は過去にそれらのいくつかを使用しており、問題を検出する良い方法があります。私は現在、私たちのチームにあるいくつかのロックルールを自動的に実施する方法を探しています。それとも「バーのロックを獲得しなければならないメンバーFOOを使用するすべてのパブリックメ

3熱

2答えて

どのVarsがClojure関数に影響しますか？

Clojureで定義された関数の結果にどのVarsが影響するかをプログラムでどのように把握するのですか？はClojureの関数のこの定義を考えてみましょう： (def ^:dynamic *increment* 3) (defn f [x] (+ x *increment*)) これはxの関数であるが、また、*increment*の（ともclojure.core/+（1）の、しか

0熱

2答えて

ステータスを安定から失敗に昇格するようにJenkins PMDを設定する

PMD違反が見つかった場合にJenkinsサーバーをビルドに不安定に設定し、その後のビルドで違反が修正されない場合、ビルドには失敗しました。これでPMDプラグインのしきい値を設定しようとしましたが、不安定または失敗しました。状態から状態への移行ができません。私は別のプロジェクトでJenkins/PMDからこの振る舞いを見たと思っていましたが、誤解されている可能性があります。乾杯！

8熱

1答えて

ランクごとにFindBugs 2.0バグのリスト？

私はバグのlistがあることを知っていますが、私はランク（バージョン2.0では1から20）または少なくともランク付けグループ（懸念、Troubling、Scary、Scariest）に関する追加情報を持つリストを持っていたいと思います。多分私は何かを見逃していますが、FindBugsフォーラムはアクティブではありませんか？

1熱

1答えて

スタティックコード解析/コード注釈

私はステートマシンのように動作しているコードを書いています。だから、：一部の機能は他人が特定の状態で実行することが許可されている特定の状態に設定されています。（現実には、それはもう少し複雑ですが、これらは基本です、それをシンプルに保つために。）現在、私は、関数が現在の状態で許可されているかどうかを確認するために、ランタイム・アサーションを使用しています。これは自己文書化の一種であるため、こ

10熱

2答えて

無料ツールを使用して、Cコードのプログラム依存グラフを生成できます。

Cソースコードからプログラム依存グラフ（PDG）を生成します。私はどのようにそれを説明する論文を見つけましたが、すべて商用のCodeSurferツールを使用しました。このジョブを実行できる無料のツールやオープンソースプロジェクトはありますか？