static-analysis

10熱

6答えて

C++コードベースの解析に最も有用なツールはどれですか？費用はいくらですか？私たちは無料のソフトウェアやトライアルソフトウェアで管理できますか？それとも、本当に支払うべき商用ソフトウェアはありますか？主な目的は、コード（例えば、建築上の問題を発見するため）、おそらくはコーディング標準を理解するために、品質問題などの理解を得ることです。主に統計的な分析ですが、コードを実行できることを期待して

4熱

1答えて

静的解析を使用したAsp.NetコードのDRY-nessの測定

コードのDRY-ness（「Do not Repeat Yourself」）を測定するAsp.Netの静的解析ツールはありますか？私はコードがAsp.Netプロジェクト内で複製されている場所のレポートを取得したいと思います。

5熱

1答えて

__deref_out_optと__deref_opt_outの違いは何ですか？

次のSALアノテーションの違いは何ですか？

2熱

2答えて

独自言語のASTを構築するにはどうすればよいですか？

私は独占的言語用のASTを構築する方法を理解しようとしています。 ASTを構築する必要があるので、ソースコードのエラーの可能性をチェックするためのルールとガイドラインを作成することができます。 ASTを構築するにはどうすればよいですか？私が始めるのに役立つ本、記事がありますか？コンパイラのドラゴンブックは助けてくれますか？私は非CSバックグラウンドから来ていることに注意してください。ありがとう

6熱

4答えて

JavaScriptのためのタイプチェッカー？

JavaScriptコードを分析してタイプエラーを検出するための優れたツールがあるかどうかは知りませんか？私は、JavaScript自体が弱くダイナミックに型付けされていることを知っていますが、フィールドアクセスがすべて合理的であることを検証するプログラムを用意できれば、文字列のように数値を扱うことはできません。私は、フィールドの追加や削除、または異なるタイプ間の変換が有効で期待されるJavaSc

0熱

1答えて

Microsoft SAL注釈 - オプションパラメータ

winbase.hでは、DeviceIoControl関数は次のように定義されています。 BOOL WINAPI DeviceIoControl( __in HANDLE hDevice, __in DWORD dwIoControlCode, __in_bcount_opt(nInBufferSize) LPVOID lpInBuffer, __in

3熱

1答えて

GCCコードの統計情報/解析

GCC/G ++に出力解析のオプションがありますか？前のコードと新しいコード（サイズ、クラス/構造のサイズ）との違いを比較できることは便利です。これらは比較のために前の出力と異なる場合があり、多くの目的に役立ちます。このような出力分析が利用できない場合、そのような情報を取得する最良の方法は何ですか？

14熱

2答えて

Xcodeのビルドと分析 - 特定のファイルを意図的にスキップすることは可能ですか？

私のプロジェクトには、他の人が作業している特定のファイルが1つあります。私はそれを混乱させたくないし、それを処理するために "Build and Analyze"を待つことをむしろ望むだろう。このファイルの解析をスキップするようにXcodeに指示する方法はありますか？

4熱

1答えて

一部の契約を静的分析から簡単に除外できますか？

静的アナライザーが証明できないことがわかっている特定の契約があります。特定の種類の契約違反エラーを関数全体から除外できますが、これは広すぎます。 baseline.xml機能を使用して特定の違反エラーを除外することはできますが、チーム環境での監査や文書化は本質的に不可能です。要するに、それは静的アナライザの行き止まりのように見えるサードパーティライブラリで作られた特定の契約もあります Contr

2熱

1答えて

xcodeのStyleCop

xcodeのStyleCopのアナログについて知っている人はいますか？すべての検索が失敗しました。ありがとうございました。