diff options
| author | Marco Elver <elver@google.com> | 2020-06-18 13:02:19 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-06-18 14:24:47 +0200 |
| commit | 3ea11d3f9e7db313cc069b04fab43f52d24e54d0 (patch) | |
| tree | 6db49779b84791c0e31f689a045967741a8cfc8b /docs/syzbot.md | |
| parent | d45a4d69d83f40579e74fb561e1583db1be0e294 (diff) | |
docs/syzbot: Update KCSAN related information
Diffstat (limited to 'docs/syzbot.md')
| -rw-r--r-- | docs/syzbot.md | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/docs/syzbot.md b/docs/syzbot.md index 702da6c61..40e289101 100644 --- a/docs/syzbot.md +++ b/docs/syzbot.md @@ -240,6 +240,7 @@ Exact compilers used by `syzbot` can be found here: - [clang 7.0.0 (trunk 329060)](https://storage.googleapis.com/syzkaller/clang-kmsan-329060.tar.gz) (44MB) - [clang 7.0.0 (trunk 334104)](https://storage.googleapis.com/syzkaller/clang-kmsan-334104.tar.gz) (44MB) - [clang 8.0.0 (trunk 343298)](https://storage.googleapis.com/syzkaller/clang-kmsan-343298.tar.gz) (45MB) +- [clang 11.0.0 (git ca2dcbd030e)](https://storage.googleapis.com/syzkaller/clang-11-prerelease-ca2dcbd030e.tar.xz) (682MB) A QEMU-suitable Debian Stretch image can be found [here](https://storage.googleapis.com/syzkaller/stretch.img) (2 GB, compression somehow breaks it), root ssh key for it is [here](https://storage.googleapis.com/syzkaller/stretch.img.key) (do `chmod 0600` on it). A reference `qemu` command line to run it is as follows: @@ -374,13 +375,9 @@ of live objects in `/proc/slabinfo` steadily grow, most likely the leak is real. ## KCSAN bugs -`KCSAN` is a dynamic data-race detector. `KCSAN` is not upstream yet, though, -we want to upstream it later. For now, it lives in -[github.com/google/ktsan/tree/kcsan](https://github.com/google/ktsan/tree/kcsan) -and is based on a reasonably fresh upstream tree. - -Reproduction of data-races is unsupported, and syzbot is unable to test -patches. +[The Kernel Concurrency Sanitizer (KCSAN)](https://github.com/google/ktsan/wiki/KCSAN) +is a dynamic data-race detector. Reproduction of data-races is currently +unsupported, and syzbot is unable to test patches. ## No custom patches |