static-analysis

    5

    6答えて

    static analysis tools like lintが怪しいコード行にどのようにフラグを立てるのかと同様に、疑わしいフィールド、関係、構成についてデータベースの構成とスキーマを調べるツールはありますか? 私は必ずしも正規化を求めているわけではありませんが、確かに、ハードAIやHalting Problemを解決せずに検出できるばかばかしいものがあります。

    46

    9答えて

    Scalaコードの静的解析を実行するためのツールはありますか?FindBugsやPMD for JavaやC/C++のSplintに似ていますか?私はFindBugsがJavaをコンパイルすることによって生成されるバイトコードで動作することを知っているので、Scalaでどのように動作するのか不思議です。 Google検索(2009年10月27日現在)はごくわずかです。 Google検索(2010年

    4

    1答えて

    オブジェクト: - (id) readForeignPref { CFPropertyListRef matchStyle = CFPreferencesCopyAppValue(CFSTR("PBXFindMatchStyle"), CFSTR("com.apple.Xcode")); return [(id)matchStyle autorelease]; } は、次の警告を生成:

    5

    2答えて

    私は盲目的に "ベストプラクティス"に従うことで、ベストプラクティスを厳密に守っている悪ふざけの悪ふざけにつながる可能性があることを知っています。固体の原則はそれだけです、の原則です。それらはすべての状況に当てはまるわけではありませんが、コード内で改善が得られる可能性については、依然として非常に優れたヒューリスティックです。 これらの弱点は、ソースコードを深く分析して適用する必要があることです。私

    5

    3答えて

    Javaコードのサイズが小さく、依存するJarファイル数が多い状況があります。しかし、これらのjarファイル内の依存関係は非常に浅いです。ほとんどの場合、単一のインタフェースのjarにのみ依存します。 アプリケーションですべてのjarsを配布する代わりに、実際に使用するjars内に特定のクラスファイルを配布するだけです。その理由は、スペースを節約するためです(このコードはアプレット内に存在します)

    9

    2答えて

    .NET 4.0コード契約で使用するスタティックアナライザーは、Visual StudioのTeam Suiteエディションでのみ使用できるようになると思われます。これはチームの予算外にあると思われます。 契約スタイルコード(必ずしも.netコード契約を使用しているわけではありません)によって設計された同様の静的解析を提供する代替手段(オープンソース、無料または合理的な価格)がありますか? BCL

    5

    4答えて

    私は、ソースコードから決して使用されていないコードを削除するための努力を少なくとも必要としている状況にあります。一般的には静的コード解析ツールを使用します。私たちは他のプロジェクトでこれに大きな幸運をもたらしましたが、私が知る人は、デバイスレベルのコードを扱うC/C++開発者のほとんどです。 私はJava EEシステムで働いているウェブ開発者です。私が開発している技術にとってより適切であると確信で

    5

    9答えて

    私は、大学のクラスのスタティックアナライザーを作成しようとしています。ツールのためのより多くのパワーを提供するために、コール階層を調べることができます(Ctrl + Alt + HはEclipseで行います)。これも高速な操作でなければならないため、バイトコードスキャンではなくインデックスに対してルックアップを実行する必要があります。 しかし、Eclipseプラグインを書くことはあまりにも野心的で

    6

    2答えて

    注:私が話している注釈は、JSR305で指定されています。 は、私は、最新のFindBugsの(1.3.9)を持っており、それはエラーが正しく @Nonnullで注釈され、いくつかのフィールドは、nullに割り当てられている場合見つけました。 私のプロジェクトでは、 "null以外のロジック"はのデフォルトのです。私は nullが明示的にケースの5%でのみ許可されていると言うでしょう。 したがって

    8

    5答えて

    私は静的コード分析を使用してから学んだ私はVBについて学んだことの多く(特にAivostoのプロジェクトアナライザ)。それがチェックするものの1つは、すべてのオブジェクトと配列をクリアしたかどうかです。私はPAがそう言いましたので、これを盲目的にやっていました。しかし、VBがリソースを解放する方法についてもっと少し知ったので、これらのことが自動的に起こっているはずです。これはVB6以前のレガシー機