C/C++のsanitizerの使い方

Last updated Aug 14, 2023

• Note
• Info tech
• Development
• Programming language
• Howto

• バグを検知するコードを埋め込むための，sanitizerと呼ばれる機能がある
• このページではsanitizerの使い方を説明する

• 種類ごとにオプションが異なる
• XXXにはSanitizer名をカンマ区切りで羅列する
  • 代表的なSanitizer名については後述

1
2

g++ -fsanitizer=XXX a.cc
gcc -fsanitizer=XXX a.c

• ここで-fsanitizer=を検索すると一覧が見れる
• threadはaddressやundefinedと同居できない

• sanitizerが埋め込まれたバイナリに対して，実行時に，sanitizerの挙動を環境変数で指定することができる
• 詳細は各sanitizerの説明ページを参照

• threadが強すぎる
  • threadは実際に Nf7のデバッグで使ってる
    • sanitizerがなければ気づけなかったcondition raceがかなりあった
      • 格好つけてロックフリーで書いたせい
• threadがaddressやundefinedと一緒に使えないのが痛い
  • どちらともを使うには，threadでビルド，テストした後に，オプションを変えてビルドし直し，同じテストを実行しなければならない
• 上に挙げた全てのsanitizerは，m2 macbookで使えなかった
  • sanitizerの機能を含んだライブラリ(libubsanなど)が無いと言われてリンクに失敗する