■

最近ほしいソフトウェア：Cのソース解析&アドバイス。必須の機能は

• 変数、関数の分類(グローバル、ローカル、仮引数）
• 各変数の参照位置および回数の列挙
• 仮引数の const 性、初期化仮定性の推定
• それに従った実引数の変更可能性
• HTMLなどによるわかりやすい出力

とくに const 性や初期化を前提にしているかのチェックはぜひほしい。人のソースを読むにあたって。