You probably remember that back in November, OpenAI’s board fired the company’s co-founder and CEO Sam Altman. What followed was this incredibly complicated power struggle…
![TechCrunch | Startup and Technology News](https://cdn-ak-scissors.b.st-hatena.com/image/square/92584d6251feb0822f349cf0211361b2833c9939/height=288;version=1;width=512/https%3A%2F%2Ftechcrunch.com%2Fwp-content%2Fuploads%2F2018%2F04%2Ftc-logo-2018-square-reverse2x.png)
静的検証ツールの分野で新たなタイプの製品が登場した。メモリ関連エラーの検出に特化した英Monoidics社の「Infer」だ。「Separation Logic」という近年開発されたソフトウエア科学の研究成果を活用している。従来の一般的な静的検証ツールよりも正確に、メモリリークなどのメモリ関連のエラーをチェックできるのが特徴だ。 メモリリーク検証ツールといえば、米IBM社の「Rational Purify」が著名だが、Purifyは静的検証ツールではなく、実際に対象となるソフトウエアを実行しながらメモリリークを検出する。これに対し、静的検証によるメモリリーク検出は、ソフトウエアを実行せずに、ソースコードの解析によって推定する。より上流工程で対処できるという利点がある。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く