ホーア論理を拡張しポインタを扱える「Separation Logic」、静的検証ツール「Infer」でMonoidics社が実用化 英Monoidics 取締役兼共同創業者 Peter O'Hearn氏 CTO兼共同創業者のCristiano Calcagno氏 静的検証ツールの分野で新たなタイプの製品が登場した。メモリー関連エラーの検出に特化した英Monoidics社の「Infer」だ。「Separation Logic」という近年開発されたソフトウエア科学の研究成果を活用している。従来の一般的な静的検証ツールよりも正確に、メモリーリークなどのメモリー関連エラーをチェックできるのが特徴だ。 メモリーリーク検証ツールといえば、米IBM社の「Rational Purify」が著名だが、Purifyは静的検証ツールではなく、実際に対象となるソフトウエアを実行しながらメモリーリークを検出する動的