テクマトリックスがC/C++単体テスト・ツールの新版，バッファ・オーバー・フローの静的解析など：ITpro

C/C++用の単体テストツールでバッファ・オーバー・フローの検証が可能なツールを発売するそうです。

テクマトリックスは，主に組み込み開発用途に向けて，C/C++言語向け単体テスト・ツールの新版「Parasoft C++test 7.1」を，2008年7月7日に出荷した。バッファ・オーバー・フローなどを静的検証可能にするなどの機能改善を加えた。

テクマトリックスがC/C++単体テスト・ツールの新版，バッファ・オーバー・フローの静的解析など | 日経 xTECH（クロステック）

単純にパターンマッチングかな・・・テストケースを自動生成ってのもやるんだ。ふむ

Parasoft C++testは，C/C++言語用の単体テスト・ツール。ソース・コードの静的解析機能と，テスト・ケースの生成/実行による動的解析機能で構成する。静的解析では，約900個の静的解析コーディング・ルールを基にソース・コードの問題点を発見/指摘するほか，処理フローの解析によって，メモリー・リークやゼロで除算する問題などの発見が困難な問題まで静的に検出する。一方の動的解析では，テスト・ケースを自動生成して実行し，堅牢性や機能性などを検証する。

テクマトリックスがC/C++単体テスト・ツールの新版，バッファ・オーバー・フローの静的解析など | 日経 xTECH（クロステック）

---