Mathworks Polyspaceの代わりに誰かがオープンソースプロジェクトを知っていますか（または商用プロジェクトで自由に使うことができます）？Mathworks Polyspaceに代わるオープンソース？
私はコードチェック用のツールを探していて、静的チェックのための良い選択肢を見つけましたが、PolySpaceはそれほど強力な機能を提供していないようです。そこには本当の選択肢はないと思いますが、おそらくあなたはもっとよく知っています。 :)
要求として（申し訳ありませんが、遅延のために、RLが追いつく...）私は、このツールのための私の好みの言語を追加します。
PolyspaceはC、C++、Javaのみを扱うため、探しているのは確かに です。 C＃とJavaで普及しているメソッドの動的検索では、これらの言語の分析が簡単にはなりません。 Cについては
は、私はこれは古い問題であることを知っていますが、静的コード解析に興味がある場合は、ここ言語によって並べ替えlist of toolsがあるので、ツールの多くがあるhttp://frama-c.cea.fr/
これは本当に素晴らしいツールのように見えます。私はそれを再生するためにubuntu VMにインストールしました。先端に感謝します。 :) – cringe
Polyspaceはいくつかの非常に洗練されたプログラム解析技術を中心に設計されています。私はすぐにいつでもこのオープンソース/フリー版を見ることはないと思う。
を見てみましょう。 polyspace http://klee.llvm.org
クレーにかなり近いと思われるJavaコードのためのオープンソースのツールのためだけ見れば
私はあなたにC/CについてはFindBugs
をお勧めします++ありクレーは、ツールであること研究プロジェクトの結果であり、C/C++プログラムをLLVMバイトコードにコンパイルしてカスタムインタープリタで実行することで、C/C++プログラムのシンボリック実行を実行できます。これにより、バッファオーバーフロー、ゼロ除算、オーバーシュートなどのランタイムエラーの検出が可能になり、そのようなエラーが検出された場合には、テストケースを書き込んで再現し、エラーが発生した値を確認します。もともとは標準のコマンドラインユーティリティ用に書かれていて、入力プログラムをシンボリックにすることで汎用プログラムにも使用できます（私は組み込みファームウェアでテストしています）。お役に立てれば！
ようこそスタックオーバーフロー！あなたの答えはリンクのみであり、SO基準によっては良い練習とはみなされません。もっと具体的に私にそれを広げてください。 –
あなたの答えを編集するほうが、コメントを追加する方がいいでしょう。あなたの下の編集リンクが表示されます。 –
ツールに必要な言語に名前を付けた場合は、役立つ場合があります。 –
ええと、この質問に多くの入力がないように見える...％ - ） – cringe