PVS-Studioでテストしたオープンソースプロジェクト

同様の記事がすでに当社のウェブサイトに公開されています。 しかし、プロジェクトの数は増え続けており、年に一度リストを更新するのが合理的だと思います。 これが私たちがやることです。

私たちは無料のオープンソースプロジェクトが得意です。 発見された欠陥についてプロジェクトの作者に通知し、必要に応じてしばらくの間ライセンスを提供しようとします。


また、 CppCatと呼ばれる軽量のコードアナライザーがあることを読者に思い出させたいと思います。 汎用診断では、PVS-Studioに近い機能です。 ただし、チーム作業を目的とするものではありません。 重要な点-試用版では、CppCatを7日間完全に使用できます。 これは、平均的なオープンソースプロジェクトをテストするには十分です。 CppCatとPVS-Studioとの違いの詳細については、記事「 PVS-Studioの代替品250ドル 」をご覧ください。

PVS-Studioでこれまでに検証されたオープンソースプロジェクトのリスト：

• Lokiライブラリの64ビットバージョンを確認します 。 （2009年9月）
• WinMergeテスト （2010年10月）、 2番目のテスト （2012年3月）
• メモ帳++チェック （2010年11月）、 2番目のチェック （2012年2月）
• Fennec Media Projectをご覧ください （2010年11月）
• QutIMチェック （2010年11月）
• TortoiseSVNテスト （2010年12月）、 2番目のテスト （2013年6月）
• 究極のツールボックス検証 （2010年12月）
• Intel IPPサンプル検証 （2011年1月）、 2番目の検証 （2011年10月）、 3番目の検証 （2012年4月）
• Miranda IMを確認する （2011年3月）
• Chromiumチェック （2011年5月）、 2回目のチェック （2011年10月）、 3回目のチェック （2013年8月）、 4回目のチェック （2013年12月）
• QTチェック （2011年7月）
• Apache HTTPサーバーの検証 （2011年7月）
• Intel Energy Checker SDKの確認（2011年7月）
• Clangチェック （2011年8月）、 2番目のチェック （2012年8月）
• ReactOSテスト （2011年9月）、 2番目のテスト （2013年4月）
• ドゥームチェック3 （2011年11月）
• Firefox検証 （2011年12月）
• Quake III Arena GPLを確認する （2012年2月）
• TrinityCoreレビュー （2012年2月）
• イルカエミューチェックアウト （2012年2月）
• Blender Review （2012年4月）
• MAMEの確認 （2012年7月）
• トランスプロテオームパイプラインチェック （2012年8月）、 2番目のチェック （2013年9月）
• オープンソースではありませんが、誰にとってもメリットがあります。 Visual C ++ライブラリの確認 （2012年9月）
• チェックアウトTor （2012年11月）
• OpenSSL検証 （2012年12月）
• カサブランカをチェック （2013年3月）
• OpenCV検証 （2013年3月）
• Windows 8ドライバーサンプルの確認 （2013年4月）
• オープンソースではありませんが、誰にとってもメリットがあります。 C ++ Builderヘッダーファイルの確認 （2013年5月）
• NetXMS検証 （2013年5月）
• マルチセフトオートテスト （2013年8月）
• ブーストチェック （2013年8月）
• OpenMS検証 （2013年9月）
• VirtualDubの確認 （2013年10月）
• Geant4を確認する （2013年11月）
• PostgreSQL検証 （2013年12月）
• ソースSDKの確認 （2014年1月）
• 記事が書かれていないさまざまな小さなプロジェクト。

私たちのチームはプロジェクトを無料でチェックしません。 見つかったエラーに関する注意事項は、私たちの広告です。 これを隠しません。 しかし、これはあなたが今まで見た中で最も有用な広告であるように思えます！ PVS-Studioは、オープンソースコミュニティを本当に支援します。

これらの記事のボリュームが大きく異なることに気付くかもしれません。 これは理解できます。 たとえば、ReactOSに関する最初の記事を書くとき、アナライザーは2番目のテスト中よりもはるかに少ないルールを実装しました。 この間に、アナライザーは数倍のエラーを見つけることを学びました。 したがって、そのような記事は時間とともに長くなります。 ここで、記事をリファレンスに変えないように、多くの微妙な間違いをスキップする必要があります。

私たちのサイトでは、 見つかったエラーのデータベースも管理しています 。 読者の多くはそれをさまようことに興味があると思います。 しかし、このベースをコーディング標準、書籍の新しい推奨事項、プログラミングに関する記事を開発するためのリソースとして使用できることは、はるかに興味深いことです。 一般に、この基地は「水たまりに座らない方法に関する100の推奨事項」の精神でこの本から成長できるMcConnellを待っています。

残念ながら、CppCatプロジェクトの開発やサポートは終了しています。 理由についてはこちらをご覧ください 。