c言語での[stack smashing detected]の原因を探る方法について

Question

Cであるプログラムを作っており、コンパイルは通るものの実行すると、処理の途中で[*** stack smashing detected ***: <unknown> terminated]というエラーが出ます。

これはどこかでオーバーフローが起きているというのがわかるのですが、どこのコードの部分が原因なのかがわからないため、それを探る方法はないでしょうか。ツールや試すべきことなどがあれば教えてください。

一応わかったこととしては、ある関数部分での処理が終了して、呼び出し源にreturnをすると、上記のエラーが出ます。
その関数の呼び出しをコメントアウトすると、上記のエラーがでなくなったため、原因となる関数はわかったものの、その関数のどこのコード部分が原因かがわからないため、それを調べる方法のコツなどがあれば教えてください。

Answer 1

一番ありがちなのはスタックに確保されている配列変数の範囲を超えて書き込んだことによるスタック破壊ですね。
発生する関数が判っているなのなら、ブレークポイントを張ってステップ実行などで変数の中身を確認するか、printfなどで変数の内容を表示して確認し、想定外の値になっていないかどうかをチェックするというのが定石です。

Comments

[shimaokazu]

ソースコードをよく見ていたら、strncpy関数で配列に確保している以上の数を変数に格納しようとしていたというオチでした。
回答していただきありがとうございました。

Answer 2

どこのコードの部分が原因なのかがわからないため、それを探る方法はないでしょうか。ツールや試すべきことなどがあれば教えてください。

メモリ破壊系のデバッグには Valgrind や mudflap(gcc 4.8系まで), AddressSanitizer(Clang) が便利です。

• https://www.ipa.go.jp/security/awareness/vendor/programmingv2/contents/c904.html
• http://d.hatena.ne.jp/taiyakisun/20150902/1441214819
• http://qiita.com/watson1978/items/60e618c2c48dc7a19868

Answer 3

• コメントアウトを行って関数を特定したように、その問題の関数内の処理をコメントアウトしていって、どこが問題が特定する。
• 配列の添え字に問題がないかに注目する。配列の定義範囲外にアクセスしている可能性があります。
• 関数内で関数を呼び続ける事はないか調べる。関数を呼ぶとスタックが増える、returnしないとスタックが減らないのでオーバーフローする。