PVS-Studio、CppCat。 これらのプロジェクトのテクニカルディレクター、Andrei Karpovとの会話

時折、PVS-Studio静的コードアナライザー（他のアナライザーも考慮されます）専用のHabréに記事が表示されます。この記事では、このプロジェクトまたはそのプロジェクトのチェックがときどき公開され、見つかった問題箇所が公開されます。 少し前に、新しいCppCat製品が導入されました 。これは、小規模で比較的PVS-Studio向けのライトバージョンです。 Visual C ++のPVS-Studioプロジェクトの説明はこことここにあり、新しいプロジェクトの説明は記事「PVS-Studio Alternative for $ 250」にあります。



この記事では、製品に関連するあらゆる種類の技術的詳細に焦点を当てるのではなく、特定のプラットフォーム上での市場での製品の位置付け、会社に関する情報などに焦点を当てます。



コメント内の会社の製品に関する多くの記事で、Linuxなどのプラットフォームのサポートに関する質問を見つけることができます。 この質問もここで提起され、包括的な回答が受け取られます。



PVS-StudioおよびCppCatプロジェクトのテクニカルディレクターであるAndrey Karpov Andrey2008が私の質問に答えます。 Andreyは、プログラミング言語、他の企業の製品、およびこれらの企業との相互作用についての議論も共有しています。

前文

プログラマーの開発を観察すると、パターンに気付くことがあります。 旅の始めに、将来の開発者はいくつかの文献を研究し、フォーラムで何かを尋ねます。 ある時点で、一歩前進するために、彼は「あなた自身のためにデバッガーを開こうとしたことがありますか？」 この多くの、しかし同時に基本的なツールの1つを発見した開発者は、改善の道を続けています。 ある時点で、彼はアイデアを思いつくか、静的コードアナライザーを使用して初期段階でエラーを検索し、WinDbgを設定してエラーを検索しない場合、エラーを検索する時間を短縮することで作業をスピードアップできると言われますあらゆる種類の高度なアプリケーションデバッグを実行します。 この時点で、有料と無料の両方で、市場で利用可能な資金のレビューが開始されます。 このレビューにはこの資料が含まれる場合があります。

私たちは話している...

アンドレイのプロフィールにある「私のサークル」へのリンクをたどりました。 読み取った情報から判断すると、会社は大きくありません。 たぶんこれはプラスです...これは通常、最小限の官僚主義、プロセスへのより大きな関与、より創造的な仕事などです。 大企業と比較して、小企業には独自の魅力があります。 中小企業のプラス面についての良い記事があります。



アンドレイ、会社について少し教えてください。現在、会社に何人の従業員がいますか、会社の製品の開発に直接関わっている従業員は何人ですか？



アンドリュー： はい、私たちは小さな会社です。 もちろん、大きく豊かになりたいです。 しかし、この欲求はゆっくりと満たされています。 それを言ってみましょう。 私たちは持っているものに満足していますが、本当に、もっともっと欲しいです。 パースペクティブは表示されますが、それらは到達するために抵抗します。



明らかな利点があります。リラックスした雰囲気と、たとえば、マーケティング部門が発明した顧客やリリース日に適応する必要がないことです。 ユーザーのメールへの非常に迅速な応答。 もちろん、時間の経過とともに、会社は肥大化し、官僚主義を獲得することができます。 しかし今のところ、私たちの決定と行動は迅速です。 ユーザーが検出されたエラーについて私たちに書いたのと同じ日に配布キットを提供することで、ユーザーを繰り返し驚かせました。



現在、4人がPVS-Studio / CppCatの開発とプロモーションに直接関与しています。 さらに、数えるのは難しいと思います。 従業員または会計士などのパートタイム、またはリモートで作業を行います。 「ハーフマイナー」という言葉を思い出します。



一部の企業慣行では、会社の成功の1つは、製品、その品質、そしていわば自分が欲しいものに主に焦点を当てていることです。 教えてください、会社は製品を使用して独自の製品を開発しています。 PVS-Studioの新しいバージョンを開発するとき、問題を見つけるために同じPVS-Studioであるが、安定した販売バージョンが使用されますか？ 製品が開発バージョンの問題箇所を見つけるのに役立ったときに、興味深い例を挙げていただけますか？



Andrew： PVS-StudioとCppCatは非常に高品質の製品だと思います。 配布キットは、ほぼいつでも作成およびレイアウトできます。 さまざまなレベルとタイプの非常に多くの自動テストを使用しています。 修正されたバージョンがすべてのテストに合格した場合、ユーザーに安全に発行できます。



残念なことに、内部コードのすべての美しさと信頼性は、敵対的な環境の影響によりばらばらになる場合があります。 その結果、製品の印象全体が悪化します。 私たちは非難するつもりはないようですが、私たちの製品は機能しません。 無限の数の例を挙げることができます。 頭に浮かぶ最初のもの：

• サードパーティのツールは、Visual Studio環境で何かを台無しにします。 その結果、問題を回避するために松葉杖を作成するか、同意して「申し訳ありませんが、私たちは何もできません」と答えなければなりません。 そのような例の1つは、 「Visual Studio 2005/2008でのIntel Parallel Studio Service Pack 1統合エラーの説明」です。
• プロジェクト情報のVisual Studio COMインターフェイスは、予期せず例外をスローする場合があります。 どうやら、この不幸な瞬間の環境は何か他のもので忙しいようです。 呼び出しは繰り返し繰り返されるため、サイクルにラップする必要があります。 必ずしも役に立たないタンバリンとのダンス。
• 開発者はウイルス対策Xを使用しており、企業ポリシーによると、設定を変更する権限がありません。 このアンチウイルスは一時ファイルをしばらく「保持」し、アナライザーはそれらを削除できません。 その結果、アナライザーはプロジェクトフォルダーに「クラップス」します。
• その他は覚えておくことができます。 たとえば、 here 、 here 、 hereを見ることができます。

ただし、PVS-Studio自体で検出されたエラーが表示されるのを読者が待っています。 これについての記事を書くように繰り返し求められました。 残念ながら、エラーの例を十分に蓄積することはできません。 正直に言うと、インクリメンタル分析によって検出された場合、それらを書き出すのを忘れています。 私はアルゴリズムを見て、修正し、さらに検討しました。 翌日、私はそのような警告を書くのがいいだろうことを思い出しました。 はい、どこで何が起こったのか覚えていません。





記事「250ドルの代替PVS-Studio」では、同社の新製品CppCatを紹介しました。 当初、プロジェクトはほとんど「ゼロから」作成されたと主張されています。



多くの製品には、たとえばウイルス対策ソフトウェアなど、すべてが構築されているカーネルがあります-これがウイルス対策エンジンです。 原則として、これは会社の複数の製品の1つのコアです。 このカーネルを中心に、システム全体があらゆる種類のロジック、インターフェイス、およびユーザーにとってあらゆる種類の有用性（たとえば、同じレポート生成）で構築されています。これらはすべて、同じエンジンで構築された他社製品とは異なる製品です。



PVS-StudioとCppCatについて知りたいのですが、製品は同じコア上に構築されていますか？ ユーザーは、新製品だけでなく、それが対象とするセグメントの古い製品からも同じ品質のコード分析を期待すべきですか？ 両方の製品が同じコア上に構築されている場合、簡素化された安価な製品のユーザーは、複雑な製品のユーザーと同じアナライザーのバグ修正とイノベーションを受け取るという利点があります。 これはCppCatについて言えますか？



Andrew： はい、PVS-StudioとCppCatは同じコア上に構築されています。 しかし、インターフェースは非常に大幅に再設計されました。



一般的な分析の観点からは、それらは非常に近いものです。 CppCatでは、最も失敗した診断が無効になり、多くのノイズが発生しました。 そして、これが悪いという事実ではありません。 100個の警告のリストを不注意にスクロールして2つのエラーのみを修正するよりも、10個のメッセージを表示して5つのエラーを修正することをお勧めします。



CppCatがPVS-Studioユーザーを部分的に引き離すという事実に関して。 はい、おそらく起こりますが、大量ではありません。 ユーザーの多くは特定の機能を必要としています。 64ビット診断のために誰かがPVS-Studioを購入する場合、誰かが修正されたメトリック「循環的複雑さ」（非公開機能）を必要とします。 誰かがMSBuildなどを使用しています。



PVS-StudioとCppCatで大規模なプロジェクトをチェックすることについて言えば、たとえば、製品がサブプロジェクトの数が500から700を超えるプロジェクトでテストされ、XXX MBのコードはそのような期間のいくつかの指定された構成？



はい、多くのプロジェクトがはるかに小さい可能性は十分にありますが、大規模なソフトウェアシステムの開発者はそのような数に興味があるかもしれません。



アンドレイ： 私たちはそのような統計の収集を専門としていませんでした。 おそらく将来的にはこれを行う価値があります。 今、私は次の数字を与えることができます。



次のプロジェクトを含むVisual Studio 2010で作業するためのテストキットを使用する場合：

• カムスタジオ
• CrashRpt
• ドスボックス
• ffdshow
• IPPサンプル
• ログ
• ミランダ
• モンゴッド
• mpc-hc
• Shareaza_vc10
• STweet
• XUI-GUIフレームワーク
• Zlib_IA64

それから55分で私の作業機械でそれらはすべてチェックされる。 これらのプロジェクトのソースコードは約320メガバイトです。

構成：

• Intel Core i7-4770（3.40 GHz、4x256Kb + 8MB、EM64T、GPU）、コア数-4、スレッド数-8;
• 16ギガバイトのメモリ（2つのブラケット：DDR3 8Gb Kingston PC10600、1333 MHz）;
• テストに関連するものはすべてSSDにあります。

CppCatの価格設定ポリシーには、固定料金でのライセンスの購入が含まれますが、1年間です。 一部の製品では、年間ライセンスにも場所がありますが、企業は毎年同じライセンス価格で製品の新しいバージョンをリリースできます。 更新や新しいバージョンなどでユーザーを刺激することは考えられますか？ 、たとえば、新しいバージョンを購入する必要があることに気付くまで？



アンドレイ： 「無限の」ライセンスの販売は受け入れられないと考えています。 私たちはウイルス対策に精通しているように思われます。 アナライザーは常に新しいエラーをキャッチすることを学び、C ++言語の革新を維持することを学び、新しいVisual Studio環境と新しいバージョンのWindowsをサポートします。



ある意味では、「バグ防止サービス」を販売しています。 このサービスには常に投資と努力が必要です。 このため、正直にアップデートの購入をお願いします。



私は異論を予見します：「しかし、私は更新を必要としません。 一度だけ購入して使用したいです。」 これは愚かです。 3年前にアンチウイルスを使用するのは奇妙です。 最新のウイルス対策ソフトウェアは、さらに多くのウイルスを検出します。 したがって、新しいアナライザーは、古いアナライザーよりも多くのエラーを検出します。 「無限アナライザー」を求める人は、コードのエラーの数を本当に気にしませんでした。 彼はアナライザーを必要としません、そして、あなたはそれに注意を払うことができません。



CppCatを7日間無料でお試しいただけます。 ダウンロードした開発者は、職場で製品を購入して上司に提案する場合、5日間でその製品を評価することはできません。



多くの場合、従業員（製品の直接ユーザー）の意見を考慮せずに管理チームによって製品の必要性が決定される状況ですが、製品の取得における決定要因である従業員の明示的なニーズである状況もあります。



期間を1か月に増やして、広告についてのターゲットオーディエンスを拡大しますが、直接ユーザー、プログラマーは、購入について経営陣に提案をします。



アンドレイ： 期間の延長について。 物議を醸す瞬間。 開発者が5日間いると、彼はツールを試す必要があることを思い出します。 彼が一ヶ月を過ごしたとき、彼は常に「一度」または「怠laz」になります。 短期は行動を刺激します。



アナライザーがコードの一部にどのように応答するかを単に確認することを目的として、オンラインコンパイラに類似したオンラインサービスを実装してみませんか？ また、オンラインサービスで、テストプロジェクトまたは実際のプロジェクトを送信する場合、ユーザーはワークステーションにソフトウェアをインストールせずにプロジェクトをチェックすることができます。 ここでいくつかの興味深いモデルを整理することができます。たとえば、Web開発にはすでに多くの機能があります。無料で使用できるプロジェクトに制限を設け、これらの制限がないため料金を支払う必要があります。 多くの人がソフトウェアをローカルにインストールしてオンラインにすることを拒否するという事実は、私にはありそうにない。 知的財産を保護する企業のセキュリティポリシーによって、巨大なプロジェクトがオンラインリソースにあふれることはありません。 しかし、小さなプロジェクトの観客は精神的な仕事を偏執的に保護することなく拡大する可能性があり、リソースはテストとなり、その結果、会社の主要製品の広告プラットフォームになる可能性があります。 さらに、興味のある開発者は、職場でも自宅でも製品を試すことができます。 彼のワークステーションの識別子へのライセンス（試用版さえ）の拘束力はありません。



Andrew： オンラインに関連するアイデアは好きではありません。 ここに推論の行があります。



Visual Studio環境でアプリケーションを開発する人がいます。 CppCatを実行してプロジェクトを分析するよりも簡単なことは何ですか？ 人は結果が好きか嫌いかのどちらかです。 必要に応じて、彼はツールを購入できます。 ここでのオンラインサービスは、5匹目の犬のようなものです。



「プロジェクトをどこかにアップロードしてチェックアウトする」というトピックに関する空想は実装するのが非常に難しく、主な理由は明確ではありません。 アナライザーには、コンパイル可能なプロジェクトが必要です。 そうしないと、どのタイプが何を意味するのか、どのプリプロセッサディレクティブが設定されるのか、マクロを展開する方法などがわからなくなります。 これは、どこかで本格的な環境を構成する必要があることを意味します。 これは自動的に実行できません。 アナライザーがプリプロセッサディレクティブなどを認識できるように、プロジェクトで使用されるライブラリを入力するように強制し、Webシステムでプロジェクトの類似物を作成する必要があります。 人は、雲のどこかに「並行プロジェクト」を作成して維持する必要があることがわかります。 そして、この魅力をどこかに保持し、サポートする必要があります。



オンラインアナライザーを使用できるのは、実験することだけです。 しかし、やらないほうがいいです。 プログラマーは、そのようなテストに対して非常に一方的なアプローチを取っています。 このテーマに関するメモを書きました。 「静的分析に関する神話。 5番目の神話-ツールを評価する小さなプログラムを作成できます 。 人は、1つ、2つの例に基づいて否定的な結論を簡単に引き出すことができます。 それで、彼に彼の実際のプロジェクトをよりよくチェックさせ、その中のエラーを見つけさせてください。



CppCatは、MS Visual Studioの一部のバージョンでの使用を提案しています。MSVisual Studioは、その使用プラットフォーム（Windowsおよびデスクトップアプリケーション全体）を定義します。 はい、Windowsはワークステーションとサーバーの両方に存在しますが、大規模なWebリソースまたは新しく構築されたクラスターに関するあらゆる種類の出版物を見ると、基本的に、サーバーソフトウェアセグメントでLinuxに関する多くの情報を見ることができます。 サーバーセグメントでのWindowsの成功は、デスクトップセグメントでのLinuxの成功に似ていることに気付くかもしれません。 Windows用のデスクトップアプリケーションの中で、C ++にはますます多くの競合他社があります;サーバーソフトウェアセグメントでは、C ++にも競合はありません。 Linux向け製品のリリースとサーバーソフトウェア市場への浸透に関するあなたの立場を知りたい。



Googleでソフトウェアを販売する試みに関する興味深い記事があり 、製品の有用性の例として、Chromeブラウザーを確認しました。 この問題に新しい開発はありますか？ * nixプラットフォームのバージョンのリリースを考慮に入れて、サーバーソフトウェア市場で製品を宣伝する際に大企業と協力する可能性を検討していますか？ Yandex、Mail.ruなどの国内プレイヤーもいます。



アンドレイ： 最初は、精神の中で何かを書きたかったのです。「Linuxバージョンはないので、期待されていません。 あなたが私たちの無能さ、怠iness、専制を考慮することができる理由。 彼をそのままにしてください。」 それから、Linuxに関連する質問をインタビューから削除するように依頼することにしました。 しかし、同僚が尋ねました：「現在、仮想マシンで実行されているLinuxバージョンがないと言っているのはなぜですか？」 このトピックに関する詳細な回答を行う必要があることに気付きました。



私たちは小さな独立した会社です。 他の親組織や政府の助成金からのフィードはありません。 愚かなことをし始めると、私たちは非常に簡単に存在しなくなる可能性があります。 3か月以内に費用が収益を超えるのに十分であり、それを閉じることができます。 そのような愚かなアクションの1つは、「Linuxバージョン」を実装するためにインフラストラクチャを膨張させることです。



プログラマは頑固に、コンパイルされた実行可能ファイルがソフトウェア製品と同じではないことを理解し、認識したくありません。 それは陳腐に聞こえますが、実際に人々は象の大きさの違いに気づいていません。



openSUSE 13.1のアナライザーのコマンドラインバージョンの下にアセンブリがあります。 起動し、警告も表示します。 ただし、「Linuxバージョン」はありません。 当社にはそのようなソフトウェア製品はなく、近い将来には期待されていません。



幸いなことに、私とEvgeniy EvgeniyRyzhkovは、プログラマーだけでなくマネージャーも兼ね備えています。 そうでなければ、私たちは会社として長い間姿を消していたでしょう。 技術的な熱意がどのようにすべてを台無しにするかを予見できます。

ソフトウェア製品の構成を思い出してください。

1. オペレーティングシステムのサポート。 まあ、これで、すべてが比較的簡単です。 プログラムを取得してコンパイルしました。 ただし、このためには、少なくとも仮想マシンと、アセンブリシステムの複雑さとリリースの準備が必要になることに注意してください。
2. コンパイラおよびシステムライブラリのサポート。 これが困難の始まりです。 C ++プログラムは、どこでも同じように分析できる単なるテキストファイルだとは思わないでください。 各コンパイラとシステムライブラリは、あらゆる種類の非標準の拡張機能でいっぱいです。 これらの機能のサポートはごくわずかですが、非常に多くの作業が必要です。 「__restrict」キーワードの使用頻度が「for」演算子の10,000倍少ないという事実は、サポートされない可能性があるという意味ではありません。 多くのプログラマーは、_Bool、__ w64、__ noop、__ int3264、__ if_exists、123.0fi、__ uuidof、__ based、__ LPREFIX、__ builtin_offsetof、__ volatile__などなどを認識していません。
3. 診断ルール。 各システムには、独自のデータモデル、ライブラリ、その他の微妙な違いがあります。 適切な診断を行いたい場合は、システム機能の機能を知る必要があります。 たとえば、PVS-Studio / CppCatには、この関数またはその関数の誤った使用方法と期待できることを示す巨大なテーブルがあります。 関数 '_wcsicmp_l'が最初と2番目の実引数に一致する場合、疑わしい。 現在、ファイル「functions_info.cpp」は800キロバイトを超えており、作業を完了しなければなりません。 他のシステムに移動したい場合は、対応するシステム機能を考慮して、テーブルを大幅に補充する必要があります。 これは非常に時間のかかるタスクです。
4. ドキュメンテーション ドキュメントは真剣に作り直さなければなりません。 PVS-Studioのドキュメントを含むPDFファイルには250ページが含まれており、常に成長していることを覚えておく必要があります。
5. 開発環境との統合。 コンソールに何かを印刷することと、ツールを便利にすることはまったく別です。 Windowsでは、優先順位は明白です-Visual Studioと統合する必要があります。 Linuxの世界では、すべてがより多様です。 最も一般的なエディターのいくつかをサポートする必要があります。 プラグインの形式ではない場合でも、ナビゲーションを実行できるように、適切な形式で情報を表示できる必要があります。
6. 配布キット。
7. テスト。 最もキラーなアイテム。 自動テストには多くの種類があります。 メインシステムは、診断の違いを示す一連の回帰テストです。 合計で、100以上のオープンソースプロジェクトがこれに使用されています。 完全なテストには何時間もかかります。 新しいオペレーティングシステムを学習する場合は、より複雑でポータブルな新しいテストシステムを作成する必要があります。 このシステムでアセンブルできる少なくとも50の新しいオープンソースプロジェクトを見つける必要があります。 また、新しいオペレーティングシステムで単体テストを実行する方法なども学ぶ必要があります。
8. サポート。 さまざまな仮想マシンと、このシステムに固有の問題を理解する準備ができている人々を手元に用意する必要があるため、サポートはより複雑になります。

そして今、最も重要なこと。 Unix / Linuxバージョンでは、誰もが自分のオペレーティングシステムを理解しています。 これは非常に重要です！ システムXのパッケージがあるという事実から、システムYのユーザーは暖かくも寒くもありません。 彼にとっては、「Linuxバージョン」はまだありません。 これは、少なくとも5つの異なる最も一般的なシステムのバージョンを作成する必要があることを意味します（ただし、不満は残ります）。



したがって、上記のすべてに、サポートされるシステムの数を掛ける必要があります。 たとえば、これに5を掛けて、作業量を想像してください。



同時に、インフラストラクチャコストはすぐに大幅に増加します。 プログラマが必要です。 はい、仮想マシンと回帰テストの動物園をサポートするだけでも、特別なシステム管理者が必要です。 テストのために異なる仮想マシンを順番に実行する複雑なインフラストラクチャを作成する必要があります。 さらに、テストは少なくとも一晩合格する必要があるため、複数のコンピューターを一度に、または強力なサーバーが必要なようです。

新しいプログラマー、システム管理者、コンピューター、サーバー、仮想マシン、追加ケーブル、電気ネットワークが燃え尽きないように、サーバー用の追加スペースを削除します。



残念ながら、私が説明したことはプログラマの90％に理解されておらず、笑いました。 彼はワイヤーを引っ張ろうとしました...

簡単なプログラマーは、トラブルの際に電気技師を探すために走ることはありませんでした。 ただ余分な休みがあります。 プログラマーは、電気ブースから電線を引き伸ばそうとして、官僚的な地獄の輪を通り抜けることはありませんでした。 もちろん、ワイヤーを例として引用しました。 ワイヤーがないので、何か他のものがあります。



近い将来にそれを引っ張ることはありません。



国内のソフトウェア会社とのやり取りについて話してもらえますか？ たとえば、Kaspersky Lab、Acronisなどの企業の場合。



アンドリュー： これまでのところ、これらの会社や同様の会社とのコミュニケーションはありませんでした。 何を思い出すのかさえ分かりません。 Yandexとはかない会話がありました。 NDAが署名されていないので、あなたが伝えることができると思います。



IPOがいくつかの新興企業を買収することで少し強化することを決定する少し前に、Yandexはそうしました。 少なくとも私たちは印象を受けました。 彼らはさまざまなチームと熱心にコミュニケーションを取りました。 私たちは私たちと話しました。 しかし、うまくいきませんでした。



質問は「どのくらいのお金で、あなたのスタートアップは誰に借りているのですか？」 それに対して私たちは正直に答えました。 スタートアップは私たちにお金をもたらし、私たちは黒人です。」 彼らは驚き、興味を失いました。 これは理解できます。 負けたスタートアップを償還して、それによって優秀な従業員を獲得することは、はるかに簡単で、より有益です。



PVS-Studio, . , Yandex Coverity.



, CppCat — PVS-Studio, , . Standart, Professional .. , ? . - ? , , - , , , .. CppCat?



: , PVS-Studio , . / . . CppCat . PVS-Studio , CppCat .



Cppcheck? - , Linux - ?



: Cppcheck — .

. - . , , .



Linux . , .



2013 «PVS-Studio. » , . . ? ?



: . . , , . . PVS-Studio , .



, , , . . - « », , . .



, , , « »?



: CppCat. , . PVS-Studio . , .



CppCat . $250 . – .



, «» . , «» , , , . , , . , .



, , , . . , . , . , . . . , $250-$500 , . .



. (KAV) 3 . 2 1 . - . . : « 3 . , 2 1. ». : « , ».



. C++ .



C++ «» , C++ — « ++». C++ — , ; - …



, ? C++, Windows, — . ?



: . C++ , 20 . Chromium, , C++ .



Chromium . C/C++ . C/C++. -, FORTRAN COBOL. .



FORTRAN / COBOL . , Intel FORTRAN, Intel C++. COBOL .



. , . , . FORTRAN COBOL . .



- ? , ? , , ?



: . , :).



, . - . , . .

まとめると

? , , , — , . — . . , , « » (, ..). , , «» «».



— ! , — CppCat. . : « ?», « CppCat» , , .



Windows. Linux . . , . - . Linux . , , , . , 20% - 80% . , , , , 10/90. , 90% 10% , , Linux , . , . « » , — Windows . , , .

C++ , , , . , C++ ( CppCat Cppcheck ). , C++ , — , , , .. , .



CppCat PVS-Studio . . - , , , , , .



, !

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