テクマトリックス、C++静的解析/単体テスト新版でセキュリティを向上 - ニュース：ITpro（情報元のブックマーク数）
テクマトリックスのC++性的解析ツールでセキュリティ対策を強化らしい。
テクマトリックスは2011年11月14日、C/C++言語向けの静的解析/単体テストツールの新版「Parasoft C++test 9.2」を販売開始した（写真）。2012年1月初旬に出荷する。新版では主に、脆弱性診断の向上やレポート情報の増強など、セキュリティや安全性に関わる機能を高めた。開発会社は、米Parasoft。
テクマトリックス、C++静的解析/単体テスト新版でセキュリティを向上 | 日経 xTECH（クロステック）
Parasoft C++testは、開発中のC/C++プログラムを対象に、主としてソースコードの静的解析と単体テストを実施するソフトである。
静的解析は、プログラムを動作させることなくソースコードが正しく記述されているかどうかを調べるもの。利用できるコーディングルールは約1500種である。上位エディションでは、独自のコーディングルールを作成できる。また、複数の関数やファイルにまたがる全実行パスを解析し、実行パスとデータの組み合わせによって発生するメモリー関連の不具合を検出できる。
高いんだろうなぁ・・・こういうツール
今回の新版では、セキュリティ/安全性を高める拡張を施した。例えば、コーディングルールとして、最も危険なプログラミングエラー上位25を調べる「CWE/SANS TOP 25 Most Dangerous Programming Errors」を追加した。これにより、セキュリティ脆弱性のあるコードを検出できるようになった。
テクマトリックス、C++静的解析/単体テスト新版でセキュリティを向上 | 日経 xTECH（クロステック）
安全性を説明するためのレポート機能も強化した。具体的には、単体テストの結果レポートに、テスト結果に加えてすべての入力値/出力値を含めるようにした。従来は、テスト結果がNGだった場合に限って入力値/出力値をレポートしており、テスト結果がOKだった場合は入力値/出力値をレポートしていなかった。これを改めた。
新版ではまた、複数のコード（ファイル）にまたがった重複コードを調べ、これをDB化するようにした。不具合や仕様変更などによって、あるコードに修正を加える必要があった場合に、同一のコードを含むファイルをすぐに探してアクセスできるようになった。
