Linuxでのセグメンテーションエラーについて

> windowsの場合だと、確保していない領域に書き込んでも、エラーを出してくれなかったりするのでデバッグが難しいです。
Linuxでも同じですよ。プロセスが確保していない領域に書き込んだら多くの場合エラーを出してくれるでしょうけど、あなたがC言語で配列を確保していないことはプロセスがメモリを確保していないことを意味しないし、そもそもC言語はもとより添え字の範囲を静的にも動的にもチェックしない言語です。しかたないから、静的/動的なチェッカを使うのですよ。

gcc は mudflap という動的チェック機構を内蔵しています。内蔵してるんだけど、ディストリビューションによってはそのコンパイル/実行に必要な補助ライブラリが別パッケージになってるだろうから、必要に応じて libmudflap-dev とかをインストールして使ってくださいな。

$ gcc a.c -Wall -fmudflap -lmudflap
$ ./a.out
*******
mudflap violation 1 (check/write): time=1312375766.383213 ptr=0x7fffd83b31e0 size=44
pc=0x7f71ecfb7cc1 location=`a.c:6:1 (main)'
/usr/lib/libmudflap.so.0(__mf_check+0x41) [0x7f71ecfb7cc1]
./a.out(main+0x90) [0x400a74]
/lib/libc.so.6(__libc_start_main+0xfd) [0x7f71ecc6bc4d]
Nearby object 1: checked region begins 0B into and ends 32B after
mudflap object 0xb50560: name=`a.c:4:5 (main) a'
bounds=[0x7fffd83b31e0,0x7fffd83b31eb] size=12 area=stack check=0r/3w liveness=3
alloc time=1312375766.383198 pc=0x7f71ecfb7431
number of nearby objects: 1
*******
mudflap violation 2 (check/read): time=1312375766.383972 ptr=0x7fffd83b31e0 size=44
pc=0x7f71ecfb7cc1 location=`a.c:7:1 (main)'
セグメンテーション違反です

ちゃんと、4行めのオブジェクト a に関する違反を二つ、6行め(a[10]=99)と 7行目(a[10]) で指摘してセグメンテーションフォールトでおちます。

メモリ関係なら伝統的な efence とか varglind とかのもっと大きなシステムもありますから、必要に応じて検討してみてくださいな。