static-analysis

    3

    3答えて

    私は、Cプロジェクトで静的解析を実行して、決して呼び出されない関数やコード行を見つけようとしています。私はこのプロジェクトをVisual Studio .NET for WindowsやLinux用gccを使ってビルドすることができます。私は私のためにこれを行うことができるいくつかの合理的なツールを見つけることを試みているが、これまで私は成功していない。私はStack Overflowに関する質問

    0

    2答えて

    これはPMDスタティックアナライザの機能です。コピー&ペースト検出器です。 はい、私はhttp://pmd.sourceforge.net/cpd.htmlをよく読んでいます。 しかし、ant-taskからCPDを実行した場合は、ignoreLiteralsとignoreIdentifiersを指定して作業を微調整できます。コマンドラインを使用してこれらのキーを指定するにはどうすればよいですか?

    1

    3答えて

    私は、Webアプリケーションのセキュリティ上の脆弱性を検出するための静的解析に取り組んでいます。私は、解析を実行するいくつかのWebアプリケーションを探しています。 具体的には、Struts2フレームワークを使用するオープンソースのWebアプリケーションを探していますが、そのようなアプリケーションを見つけるのは難しいです。 誰かが、Struts2を使って書かれた完全なオープンソースのWebアプリケ

    1

    3答えて

    古いCコードをリファクタリングしています。コードには階層化されたアーキテクチャはありません(すべてがすべてでアクセスされています)。私はそれを変更しようとしています。 私は、構造体メンバへの直接アクセスを切断したいです(少なくとも今は書いてください)。アクセス関数を介したアクセスのみを許可したいと思います。私のためにこのルールをチェックできるツールがありますか? 私はフォークを維持しており、アップ

    3

    1答えて

    私は、メソッドの事後条件は、返り値であるrefとoutのパラメータに課されたときにのみ有用であり、フィールドではなく、静的でもインスタンスでもないと結論付けました。理由は、そのメソッドが呼び出されると、その呼び出しの静的解析は、フィールドの事後条件では何もできません。なぜなら、他のスレッドがそのフィールドをどの状態にも変更している可能性があるからです。基本的にフィールドだけである複数のスレッドから

    2

    1答えて

    特定のルールの3000回の違反を超えた場合、pmdレポートの失敗を引き起こす方法はありますか?私はCyclomaticComplexityを1000回未満の違反とし、ExcessivePublicCountを2000年未満にしたいと思っています。私は違反の回数を知る方法があると知っていますが、CCを800に減らしてEPCの数を2200に変更すると、変更が行われなかったかのように表示されます。 2つ

    0

    2答えて

    オブジェクト指向クラスの単一メソッドと正確に一致するメソッドとインスタンス変数の依存関係を調べる方法論を知っている人はいますか?私は、次のコードを持っている場合たとえば、: public class Foo { private int x; private int y; public Foo() { x = 1; y = 2; }

    3

    4答えて

    ThreadFactoryのいくつかの実装を単一のクラスにリファクタリングしました。私はThreadFactoryの新しい実装がチェックイン得れば報告しますビルドを設定したいと思い

    2

    1答えて

    PHPコードでSQLiの脆弱性を発見するためのスタティックコード解析ツールを作成したいと思います。通常は、スクリプトを使用して機能を分離し、不十分な消毒のためにそれらをグレープするだけです。明らかにこのアプローチは限られています。 私が書きたいプログラムの概要は次のとおりです。 検索全ては がするmysql_query トラック各クエリのコールに入るすべての変数を呼び出す関数へのすべての参照を検索

    6

    3答えて

    をプログラムで使用する方法はありますかC source fileは潜在的に危険ですか? 私は何のチェックは、100%の精度が得られないことを知って- しかし、いくつかの表現/キーワードが見つかった場合は赤い旗を発生させますいくつかの基本的なチェックを行うことが少なくとも興味を持っています。何を探すべきなのか? 注:私が検査されるファイルのサイズは、すべてのメモリにを操作する数値解析機能を実現(最大