Prog/debug/memory の履歴(No.2)

• 履歴一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• Prog/debug/memory へ行く。
  • 1 (2018-06-10 (日) 11:19:35)
  • 2 (2018-06-14 (木) 06:16:29)
  • 3 (2018-07-10 (火) 08:49:14)
  • 4 (2018-12-03 (月) 10:34:32)
  • 5 (2019-02-10 (日) 11:10:28)
  • 6 (2019-03-17 (日) 09:39:53)
  • 7 (2019-06-10 (月) 01:59:05)
  • 8 (2021-02-06 (土) 17:26:08)

目次†

-D_FORTIFY_SOURCE で検出する†

• GCC の "Automatic Fortification" 機能を使って、バッファオーバーフローを起こしやすいとされている関数（gets, strcpy, memcpy など）の誤使用をコンパイル時・実行時に検出する

使い方†

• 下記のオプションを付加してコンパイルする：

  -O1 以上
  -D_FORTIFY_SOURCE=1

• これにより、次の2つのタイミングでバッファオーバーフローの検出が行われる：

  チェックするタイミング	チェック内容
  コンパイル時	コンパイル時にチェック可能な明らかなバッファオーバーフロー
  実行時	上記以外のバッファオーバーフロー

• チェックの強化

  -D_FORTIFY_SOURCE=1

  を

  -D_FORTIFY_SOURCE=2

  にすると、より厳しくチェエクされるようになる。
  • 一例として、format-string bug がランタイムに検出されるようになる。
    • printf, vfprintf, syslog などの関数が "%n" を含むフォーマット文字列を引数に取って呼ばれると abort する。

チェックされる関数の一覧†

• 下記コマンドで一覧を取得出来る：

  $ grep -r "_chk" /usr/include/ | sed 's/.*\(__.*chk\).*/\1/' | sort | uniq