gdbを使ってプログラムをデバッグする方法

C言語向けのデバッグツールとして有名なgdb。私自身、gdbを使ってデバッグできるようになりたいという気持ちが高まってきたので、その使い方を基本的な部分だけでもまとめてみることにしました。

デバッグするプログラム

今回はサンプルとしてこんなプログラムを作りました。変数の値に応じてメッセージを変えるというシンプルなプログラムです。

#include <stdio.h>

void printMessage(int a, int b) {

    if( a < 0 && b < 0 )
    {
        printf("'a' and 'b' is less than 0\n");
    }
    else if( a < 0 && b > 0 )
    {
        printf("only 'a' is less than 0\n");
    }
    else if( a > 0 && b < 0 )
    {
        printf("only 'b' is less than 0\n");
    }
    else if( a > 0 && b > 0 )
    {
        printf("'a' and 'b' is more then 0\n");
    }
}

int main(void) {

    int a = 1;
    int b = 2;

    printMessage(a, b);

    return 0;
}

前準備

前準備として、gdbでデバッグできるようにプログラムをコンパイルします。コンパイル時のオプションに「-g -O0」を指定すればOKです。

ちなみに、「-O0」のオプションは「生成する実行ファイルを最適化しない」という意味です。なくてもgdb自体は動かせますが、余計な最適化によってデバッグができなくなるのを防ぐために付けています。

gdbで動かしてみる

gdbの実行

さっそく、gdbを使ってデバッグしてみます。gdbのオプションとして実行ファイル名を指定すればOKです。

そうすると、ライセンスやらの表示が出て入力待ちになります。これでgdbを使ってデバッグできるようになりました。

ブレイクポイント

まず、ブレイクポイントを設定します。例えば、こうコマンドを打てば、main関数に入る直前にブレイクポイントを張ることができます。

試しに、先ほどのプログラムのmain関数でブレイクを張って「run」で実行してみるとこんな感じに。

ちゃんとmain関数で一度実行が停止しているのが分かります。このようにプログラムを途中で停止させれば、それ以降の動きを順に追うことができます。

next実行とstep実行

ブレイクポイントで止めたプログラムを順に動かしていくには、nextとstepをよく使います。

まず、nextは行単位での実行というイメージでしょうか。main関数でブレイクを張った状態でnextを実行していくと、main関数内のプログラムが行単位で実行されていくのが分かります。

ざっくりとしたプログラムの流れを追うならnextが便利ですが、もっと細かく動きを追いたいときもあります。例えば、nextではprintMessage関数の中までは見えませんでした。

そんなときにはstepを使えばOKです。こちらは途中に関数があれば、その中まで入って順に実行してくれます。

stepを使えばどんどん奥までプログラムを追えますが、適度なところでcontinueを叩いてプログラムを先に進めるとデバッグ作業には便利です。

変数の書き換え

個人的に強力だと思う機能が変数の書き換えです。gdbでは以下のコマンドで実行中のプログラムの変数を強制的に書き換えることができます。

試しに、今回のプログラムで変数aの値を書き換えてみます。ちなみに、変数の値は「print」コマンドで見ることができるので、ちゃんと変わったかどうか確認しながら進めると確実です。

途中で変数を書き換えたことで、最終的な出力結果も変わっていることが分かります。このように、変数を書き換えることで条件分岐をひとつひとつ通せるようになるので、デバッグだけでなくカバレッジを取るときにも有効です。

まとめ

ここで挙げたのはgdbの使い方のほんの一例ですが、これだけでも開発作業がだいぶ楽になりそうです。特にLinuxだとデバッグ環境自体も選択肢が少ないので、嬉しい限りですね。

今後も便利な使い方を覚えたら備忘録として書いていきたいと思います。

ではでは

補足

環境によっては、gdb実行時にパッケージ不足でこのようなエラーが出るかもしれません。

この場合、CentOSでは以下のコマンドで必要なパッケージをインストールできます。