Age | Commit message (Expand) | Author | Files | Lines |
2021-12-09 | kcsan: Support WEAK_MEMORY with Clang where no objtool support exists | Marco Elver | 1 | -1/+1 |
2021-12-09 | kcsan: Add core support for a subset of weak memory modeling | Marco Elver | 1 | -0/+20 |
2021-07-20 | kcsan: Make strict mode imply interruptible watchers | Marco Elver | 1 | -1/+2 |
2021-07-20 | kcsan: Rework atomic.h into permissive.h | Marco Elver | 1 | -0/+10 |
2021-07-20 | kcsan: Introduce CONFIG_KCSAN_STRICT | Marco Elver | 1 | -0/+10 |
2021-07-20 | kcsan: Remove CONFIG_KCSAN_DEBUG | Marco Elver | 1 | -3/+0 |
2021-07-20 | kcsan: Improve some Kconfig comments | Marco Elver | 1 | -8/+8 |
2021-03-08 | kcsan: Make test follow KUnit style recommendations | Marco Elver | 1 | -2/+3 |
2020-08-24 | kcsan: Test support for compound instrumentation | Marco Elver | 1 | -0/+5 |
2020-06-29 | kcsan: Re-add GCC as a supported compiler | Marco Elver | 1 | -1/+2 |
2020-06-29 | kcsan: Add test suite | Marco Elver | 1 | -1/+22 |
2020-06-11 | kcsan: Restrict supported compilers | Marco Elver | 1 | -1/+8 |
2020-06-11 | ubsan, kcsan: Don't combine sanitizer with kcov on clang | Arnd Bergmann | 1 | -0/+11 |
2020-04-27 | Improve KCSAN documentation a bit | Ingo Molnar | 1 | -7/+8 |
2020-03-25 | kcsan: Add option for verbose reporting | Marco Elver | 1 | -0/+13 |
2020-03-25 | kcsan: Add option to allow watcher interruptions | Marco Elver | 1 | -0/+11 |
2020-03-21 | kcsan: Introduce KCSAN_ACCESS_ASSERT access type | Marco Elver | 1 | -10/+14 |
2020-03-21 | kcsan: Clean up the main KCSAN Kconfig option | Marco Elver | 1 | -5/+8 |
2020-03-21 | kcsan: Clarify Kconfig option KCSAN_IGNORE_ATOMICS | Marco Elver | 1 | -3/+13 |
2020-03-21 | kcsan: Add option to assume plain aligned writes up to word size are atomic | Marco Elver | 1 | -7/+20 |
2020-03-21 | kcsan: Rate-limit reporting per data races | Marco Elver | 1 | -0/+10 |
2019-11-20 | kcsan: Improve various small stylistic details | Ingo Molnar | 1 | -9/+7 |
2019-11-16 | kcsan: Add Kernel Concurrency Sanitizer infrastructure | Marco Elver | 1 | -0/+118 |