gcc - GCC 4.8.2 の Asan を使用する場合のスタックトレースの未解決のシンボル

Question

このチュートの助けを借りてバグハンティングを試みます: https://fuzzing-project.org/tutorial2.html

アドレスサニタイザーを使用している場合、スタックトレースにシンボル解決がありません。

ここで説明する操作を試みます: GCC のアドレスサニタイザーの意味のあるスタックトレースですが、うまくいきません。私のOSはUbuntu 14.04です

私が取る手順は次のとおりです。

私は古典的なオフバイワンエラーであるCでテストプログラムを使用しています
```
int main() {
    int a[2] = {1, 0};
    int b=a[2];
}
```
llvm 3.5をインストールしますapt-get

次の変数をエクスポートします

export AFL_USE_ASAN=1
export ASAN_SYMBOLIZER_PATH=/usr/bin/llvm-symbolizer-3.5
export ASAN_OPTIONS=symbolize=1

次のコマンドでgcc 4.8.2でコンパイルします
```
gcc -o test -fsanitize=address -g3 -ggdb test.c
```

テストプログラムを起動すると、バグレポートに警告が表示されます。AddressSanitizer が llvm-symbolizer-3.5 に接続できないようです

==13382== ERROR: AddressSanitizer: stack-buffer-overflow on address 0x7fff92d6b0e8 at pc 0x400845 bp 0x7fff92d6b0a0 sp 0x7fff92d6b098
READ of size 4 at 0x7fff92d6b0e8 thread T0
==13382== WARNING: Can't read from symbolizer at fd 3
==13382== WARNING: Can't read from symbolizer at fd 3
==13382== WARNING: Can't read from symbolizer at fd 3
==13382== WARNING: Can't read from symbolizer at fd 3
==13382== WARNING: Can't read from symbolizer at fd 3
==13382== WARNING: Can't read from symbolizer at fd 3
==13382== WARNING: Failed to use and restart external symbolizer
     0x400844 (/media/data/test+0x400844)
     0x7fe5e7d4aec4 (/lib/x86_64-linux-gnu/libc.so.6+0x21ec4)
     0x400688 (/media/data/test+0x400688)
Address 0x7fff92d6b0e8 is located at offset 40 in frame <main> of T0's stack:
  This frame has 1 object(s):
    [32, 40) 'a'
HINT: this may be a false positive if your program uses some custom stack unwind mechanism or swapcontext
      (longjmp and C++ exceptions *are* supported)
Shadow bytes around the buggy address:
  0x1000725a55c0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x1000725a55d0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x1000725a55e0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x1000725a55f0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x1000725a5600: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
=>0x1000725a5610: 00 00 00 00 00 00 00 00 f1 f1 f1 f1 00[f4]f4 f4
  0x1000725a5620: f3 f3 f3 f3 00 00 00 00 00 00 00 00 00 00 00 00
  0x1000725a5630: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x1000725a5640: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x1000725a5650: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x1000725a5660: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
Shadow byte legend (one shadow byte represents 8 application bytes):
  Addressable:           00
  Partially addressable: 01 02 03 04 05 06 07 
  Heap left redzone:     fa
  Heap righ redzone:     fb
  Freed Heap region:     fd
  Stack left redzone:    f1
  Stack mid redzone:     f2
  Stack right redzone:   f3
  Stack partial redzone: f4
  Stack after return:    f5
  Stack use after scope: f8
  Global redzone:        f9
  Global init order:     f6
  Poisoned by user:      f7
  ASan internal:         fe
==13382== ABORTING

そして、スタックトレースにシンボルがありません。sudo を実行すると、警告は表示されませんが、シンボルの解決もありません。


==13392== ERROR: AddressSanitizer: stack-buffer-overflow on address 0x7fff911555e8 at pc 0x400845 bp 0x7fff911555a0 sp 0x7fff91155598
READ of size 4 at 0x7fff911555e8 thread T0
     0x400844 (/media/data/test+0x400844)
     0x7f4721057ec4 (/lib/x86_64-linux-gnu/libc-2.19.so+0x21ec4)
     0x400688 (/media/data/test+0x400688)
Address 0x7fff911555e8 is located at offset 40 in frame  of T0's stack:
  This frame has 1 object(s):
    [32, 40) 'a'
HINT: this may be a false positive if your program uses some custom stack unwind mechanism or swapcontext
      (longjmp and C++ exceptions are supported)
Shadow bytes around the buggy address:
  0x100072222a60: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x100072222a70: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x100072222a80: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x100072222a90: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x100072222aa0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
=>0x100072222ab0: 00 00 00 00 00 00 00 00 f1 f1 f1 f1 00[f4]f4 f4
  0x100072222ac0: f3 f3 f3 f3 00 00 00 00 00 00 00 00 00 00 00 00
  0x100072222ad0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x100072222ae0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x100072222af0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x100072222b00: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
Shadow byte legend (one shadow byte represents 8 application bytes):
  Addressable:           00
  Partially addressable: 01 02 03 04 05 06 07 
  Heap left redzone:     fa
  Heap righ redzone:     fb
  Freed Heap region:     fd
  Stack left redzone:    f1
  Stack mid redzone:     f2
  Stack right redzone:   f3
  Stack partial redzone: f4
  Stack after return:    f5
  Stack use after scope: f8
  Global redzone:        f9
  Global init order:     f6
  Poisoned by user:      f7
  ASan internal:         fe
==13392== ABORTING

また、Google ページプロジェクトで説明されている python スクリプトを試してみましたasan_symbolize.pyが、結果はありませんでした。

https://code.google.com/p/address-sanitizer/wiki/CallStack

score 2 · Accepted Answer

export ASAN_SYMBOLIZER_PATH=/usr/bin/llvm-symbolizer-3.5
...
READ of size 4 at 0x7fff911555e8 thread T0
     0x400844 (/media/data/test+0x400844)
     0x7f4721057ec4 (/lib/x86_64-linux-gnu/libc-2.19.so+0x21ec4)
     0x400688 (/media/data/test+0x400688)

Clangの下では、出力をパイプしasan_symbolizeてシンボルを取得する必要があります。あなたは明らかにLLVMギア（上記のllvm-symbolizer-3.5）を使用しているため、Clangについて説明します。したがって、次のようにする必要があります。

./test 2>&1 | asan_symbolize

私はasan_symbolize両方/usr/binに持っています/usr/local/bin：

$ find /usr/ -name asan*
/usr/bin/asan_symbolize
/usr/lib/llvm-3.4/lib/clang/3.4/include/sanitizer/asan_interface.h
/usr/local/bin/asan_symbolize.py
/usr/local/lib/clang/3.5.0/include/sanitizer/asan_interface.h

apt-get1 つは( )経由で Clang と共にインストールされたため、2 つのコピーがあります。/usr/bin/asan_symbolizeまた、ときどきソースから Clang をビルドします ( /usr/local/bin/asan_symbolize.py)。

コピーがない場合は、Google Codeの address-sanitizerから取得できると思います。

の使用を開始すると、パスの変更が原因でシンボルが見つからないasan_symbolize状況が発生する場合があります (たとえば、プログラムまたはライブラリがビルド場所から宛先ディレクトリにコピーされた場合)。asan_symbolizeそのためには、「asan_symbolize へのシンボルパスを指定しますか?」を参照してください。Asanメーリングリストで。

kccの答えでは、彼は次のようなことをするつもりでした:

./test 2>&1 | sed "s/<old path>/<new path>/g" | asan_symbolize

（Postgresをテストするときにやらなければならなかったと思います）。

最近 GCC のサニタイザーを使い始めましたが、 GCC を使ったことはありasan_symbolizeません。それがあなたにとってどれほどうまくいくかはわかりません。単純に、期待どおりに機能することを期待しています。

次のコマンドでgcc 4.8.2でコンパイルします...

ミックス/マッチングがどれだけうまくいくかわかりません. おそらく、GCC に固執する必要があります。または、Clang をインストールして使用する必要があります。

Python には Clang のクラッシュコースがあり、そのサニタイザーはDynamic Analysis with Clang にあります。スタックトレースの取得などのトピックについて説明します。(Python プロジェクトのページを書いて、彼らが Clang とそのサニタイザーをリリースエンジニアリングプロセスに追加できるようにしました)。

score 2 · Accepted Answer

gcc 4.9 にアップデートしました。今、それは働いています。Ubuntuで更新する手順は次のとおりです。

 sudo add-apt-repository ppa:ubuntu-toolchain-r/test
 sudo apt-get update
 sudo apt-get install gcc-4.9 g++-4.9
 sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.9 60 --slave /usr/bin/g++ g++ /usr/bin/g++-4.9

詳細はこちら: https://askubuntu.com/questions/466651/how-do-i-use-the-latest-gcc-4-9-on-ubuntu-14-04

gcc - GCC 4.8.2 の Asan を使用する場合のスタック トレースの未解決のシンボル

2 に答える 2

Related

Reference

gcc - GCC 4.8.2 の Asan を使用する場合のスタックトレースの未解決のシンボル