PPLサマースクール2008 さんかすることになった

http://www.logos.t.u-tokyo.ac.jp/ppl_ss08/index.php/Top

なんか参加費は数千円かかるようだけど、こういう分野に興味あるひとはくるといいんじゃないかな。

PPLサマースクール2008

今日から使える! みんなの静的解析・バグ検出ツール

PPLサマースクールは, 日本ソフトウエア科学会・プログラミング論研究会主催のイベントです. 第6回目となる今回も前回までと同様, 日本ソフトウエア科学会大会 併設企画として開催されます.

今回のサマースクールの内容ですが, 「今日から使える! みんなの静的解析, エラー検出ツール」と題して,

• 大岩寛氏(産総研) Fail-Safe C
• John Kodumal氏(Coverity社) Thread Analyzer: 致命的な並列処理欠陥を検出する動的解析ツール

のチュートリアルを企画致しました.

Fail-Safe Cはメモリ安全性を保証するC言語の処理系で, C言語で書かれたプログラムに, バッファオーバーランやポインタの不正使用などのバグがあってもメモリ安全性を保証するという, 文字通りC言語の"Fail-Safe"な実行を可能とする処理系です. 実装技術には実行時の検査と静的な解析が組み合わせて用いられており, OpenSSL, BIND9, OpenSSH, thttpd, zlibなどのサーバを実際にコンパイルできます.

Thread Analyzer for Javaは, 静的な解析を専門とする会社Coverityの製品で, 競合するメモリアクセスやデッドロックなどの並行性に関するバグを検出します. 普段はあまり聞く事のできない, 製品の技術的な内容について聞く事のできるまたとない機会です. これも静的な解析と動的な検査を組み合わせて実装されているそうです.

どちらも, 技術的内容に興味のある「言語の専門家」みたいな人は元より, それを使ってソフトウェアの信頼性を高めたいというプログラマの方々にも非常に興味深く有用な講演になると思いますので, ぜひお越しください.

一件の講演時間をたっぷりとって, ツールデモや実際に聴衆がツールを動かしながらの演習など, 実践的な部分にも時間をとっていただくようご検討いただいています(講演内容は近日あらためて本ページでご紹介いたします).