# C言語での未定義動作を見逃さないために

## 目次

1. 1-1 未定義動作とは

2. 1-2 C言語における未定義動作の主な原因

    - 1-2-1 バッファオーバーフロー

    - 1-2-2 ポインタ操作のミス

    - 1-2-3 データ型の不一致

3. 1-3 未定義動作を防ぐためのコーディング手法

    - 1-3-1 設定範囲とデータ型の確認

    - 1-3-2 メモリ管理とポインタ検証

    - 1-3-3 静的解析ツールの活用

4. 1-4 未定義動作の検出に役立つツール

    - 1-4-1 Valgrind

    - 1-4-2 AddressSanitizer

    - 1-4-3 Undefined Behavior Sanitizer

5. 1-5 まとめ

## 1-1 未定義動作とは

C言語の未定義動作とは、プログラムの特定の条件下での動作を保証しない領域のことを指します。これは、C言語の規格が意図的に柔軟に設計されたためで、高パフォーマンスの実現や多様なハードウェアでの適用を可能にするための仕様です。しかしその結果、開発者が未定義動作のリスクを理解し、慎重にコーディングを行う必要があります。

## 1-2 C言語における未定義動作の主な原因

### 1-2-1 バッファオーバーフロー

バッファオーバーフローは、定義したメモリサイズを超えたデータが書き込まれた際に発生します。これにより、メモリの他の領域が上書きされ、予期しない動作やセキュリティホールを生むことがあります。

```c

#include <string.h>

#include <stdio.h>

void vulnerableFunc() {

    char buffer[10];

    strcpy(buffer, "This is a very long string that overflows the buffer");

    printf("%s\n", buffer);

}

```

上記のコード例では、`strcpy`で長い文字列が固定長のバッファにコピーされ、オーバーフローが発生します。

### 1-2-2 ポインタ操作のミス

不正なポインタ操作や解放済みポインタへのアクセスは、未定義動作の典型的な例です。

```c

#include <stdio.h>

#include <stdlib.h>

void pointerError() {

    int *ptr = malloc(sizeof(int) * 10);

    free(ptr);

    // 解放後のメモリを再度利用

    ptr[0] = 25;

    printf("%d\n", ptr[0]);

}

```

このコードでは、解放後のメモリを再利用することにより、未定義動作が発生します。

### 1-2-3 データ型の不一致

異なるデータ型間の不正な操作は異なるコンパイラや異なる環境で異なる動作をもたらす可能性があります。

```c

#include <stdio.h>

void dataTypeMismatchError() {

    int a = 2147483647; // INT_MAX

    printf("%d\n", a + 1); // オーバーフローが発生

}

```

上記の例では、整数オーバーフローがあり、結果は未定義です。

## 1-3 未定義動作を防ぐためのコーディング手法

### 1-3-1 設定範囲とデータ型の確認

データ型の適切な選択と操作範囲の理解がユーザー入力や自然なオーバーフローを防ぐ助けとなります。サイズの大きなデータには`size_t`を用いるべきです。

### 1-3-2 メモリ管理とポインタ検証

メモリを再利用する前にNULLチェックを使用し、二重解放を避けるべきです。`free`関数の後にはポインタをNULLに設定します。

```c

void safeMemoryFree(void** ptr) {

    free(*ptr);

    *ptr = NULL;

}

```

### 1-3-3 静的解析ツールの活用

静的解析ツールを利用してコード品質を向上させます。これにより、潜在的な問題を早期検出できます。

## 1-4 未定義動作の検出に役立つツール

### 1-4-1 Valgrind

メモリエラーやメモリリークを検出します。プログラムのメモリ管理の問題を調査するのに役立ちます。

### 1-4-2 AddressSanitizer

コンパイルオプションとして使用され、メモリエラー（アウトオブバウンズや解放済みメモリへのアクセスなど）を検出します。

```sh

gcc -fsanitize=address -g your_program.c -o your_program

```

### 1-4-3 Undefined Behavior Sanitizer

未定義動作を検出するために特化したツールで、コンパイル時および実行時に活用されます。

```sh

gcc -fsanitize=undefined -g your_program.c -o your_program

```

## 1-5 まとめ

C言語における未定義動作は、プログラムの予測不可能な動作を引き起こし、重大なバグやセキュリティ上の問題を引き起こします。未定義動作のリスクを減らすためには、適切なコーディング手法を用いるだけでなく、ツールを利用して定期的にコードを検査することが重要です。コンパイラの警告や静的解析ツール、動的解析ツールなどを駆使し、予期しない動作を防ぐことができます。[cv:issue_marketplace_engineer]

未定義動作を意識したコーディングは、最終的に信頼性の高いソフトウェアの開発につながります。

C言語での未定義動作を見逃さないために

目次

続きを読むには単価診断を受けてください（30秒）