ゼミで発表。内容は特に無い…。ところでNECが開発しているVARVELってどうなんでしょうか。C言語のソースファイルを読み込んで、解放済みポインタとか配列境界をチェックしてくれるようです。http://www.nec.co.jp/techrep/ja/journal/g07/n02/070214.html同…