GCC 4.7 のリリースノートに、新しく追加された -grecord-gcc-switches オプションを 付けると、DWARF デバッグ情報の DW_AT_producer 属性文字列にコンパイラの コマンドライン文字列が追加されるよ、と書いてあることに気付いたので、 さっそく試してみました。
gccは-fanalyzerオプションでdouble freeとかuse after freeの検出してくれると。しかもレポートが結構親切😇 https://pic.twitter.com/OZqvp5Iw18