#2016年未踏テーマ #スーパークリエータ認定プロジェクト

カーネルソフトウェア開発支援ツールは、2016年未踏テーマに採択されたプロジェクト。クリエータ木村 廉によって開発が行われた。担当PMは後藤 真孝。スーパークリエータ認定プロジェクトである。

成果報告時は「カーネルソフトウェア開発支援ツール―動作情報トレースによるカーネルソフトウェアデバッグの圧倒的効率化―」と題された。

デバイスドライバなどのカーネル空間で動作するソフトウェアの開発を支援するためのカーネルソフトウェア開発支援ツール

「Kernel Analysis Platform」が、以下のように構成・開発された。

カーネルソフトウェア開発支援ツール「Kernel Analysis Platform」

フロントエンド

カーネルソフトウェア専用のデバッガ「KlareDbg」

自動テストツール「kvalgrind」

バックエンド

仮想マシンで OS ごとエミュレートさせる方式で実装した「QEMU 改」

解析対象のカーネルソフトウェアのみをエミュレートさせる方式で実装した「K2E」