CppCatは、Visual Studio 2010-2013と統合する静的コードアナライザーです。 このアナライザーは通常の使用を目的としており、CおよびC ++プログラムの多くのエラーとタイプミスを識別できます。 それを普及させるために、私たちは私たちに連絡するすべての学生に無料のライセンスを発行することにしました。 学生証または学生証の写真を送るだけで十分です。
静的コード分析に関する一言
静的コード分析ツールは、エラーを含む可能性が高い場所にプログラマの注意を引き付けます。 簡単な例:
double var_z; .... var_z = ( var_z - 16 / 116 ) / 7.787;
プログラミング言語とコンパイラの観点から、これは正しいコードです。 整数16を整数116で割ると、0になることがよくあります。これは起こります。 ただし、アナライザーはより広く見え、誤ったパターンを検出します。 そのような整数除算の結果がdouble型とともに使用される場合、これは疑わしいです。
アナライザーは、この疑わしい区分を次の警告で示します。V636「16/116」式は暗黙的に「int」から「double」にキャストされました。 分数部分の損失を避けるために、明示的な型キャストの使用を検討してください。 例:double A =(double)(X)/ Y;。 color.c 125
ほとんどの場合、次のように記述する必要があります。
var_z = ( var_z - 16.0 / 116.0 ) / 7.787;
現在、小数値は0ではなく、0.137931です。
静的解析ツールは、コンパイラ診断の拡張機能と考えることができます。 コンパイラとは異なり、アナライザーは高レベルの構成体で動作し、経験に基づいて、プログラマーが意図したとおりにコードが機能するかどうかを推測しようとします。
CppCatアナライザーについて少し
CppCatは、構成および使用が簡単な静的コードアナライザーです。 静的解析ツールを理解する上で最初のツールの役割を果たすのに最適です。 兄のPVS-Studioよりも機能的に劣っています(
比較を参照)。 しかし、ほとんどのタスクでは、それで十分です。 いずれにせよ、CppCatの機能は、学生と個々の開発者にとって完全に十分です。
このアナライザーはVisual Studio 2010、2012、2013と統合されています。残念ながら、CppCatはExpressエディションには統合されていません。 それについては何もできません。 Visual Studio Expressエディションは、拡張モジュール(プラグイン)をサポートしていません。
アナライザーは、C、C ++、C / CLI、C / CXをサポートしています。
重要な機能は、変更されたコードを自動的に分析する機能です。 変更されたファイルをコンパイルした後、バックグラウンドでCppCatは分析を開始し、疑わしいものが見つかった場合は警告を表示します。 これにより、エラーを早期に検出できるため、検索と修正にかかる時間を節約できます。
CppCatは、製品のWebサイト
http://www.cppcat.comからダウンロードできます。
CppCatのライセンスを取得する方法
CppCatを使用すると、静的分析ツールで作業するスキルを獲得し、スキルを向上させることができます。 静的アナライザーはますます人気が高まっており、これらのツールに精通していることを要約で示すと便利です。
ライセンスを取得するには、team @ cppcat.comで学生であることを証明する学生カード、成績表、またはその他の文書の写真またはスキャンを送信する必要があります。
あなたの名前、姓、研究所の名前を手紙に書いてください。写真ではそれらを解析するのが難しい場合があります。 このデータは、キーの生成に使用されます。
ライセンスは1年間有効です。 来年もCppCatを使い続けたい場合は、学生証の写真を再送信する必要があります。
無料のライセンスに関する情報を外国の友人と共有したい場合は、英語版の記事へのリンク:
学生向けの無料CppCatを使用して毒殺できます。