summaryrefslogtreecommitdiff
path: root/lib/Kconfig.kcsan
AgeCommit message (Expand)AuthorFilesLines
2021-12-09kcsan: Support WEAK_MEMORY with Clang where no objtool support existsMarco Elver1-1/+1
2021-12-09kcsan: Add core support for a subset of weak memory modelingMarco Elver1-0/+20
2021-07-20kcsan: Make strict mode imply interruptible watchersMarco Elver1-1/+2
2021-07-20kcsan: Rework atomic.h into permissive.hMarco Elver1-0/+10
2021-07-20kcsan: Introduce CONFIG_KCSAN_STRICTMarco Elver1-0/+10
2021-07-20kcsan: Remove CONFIG_KCSAN_DEBUGMarco Elver1-3/+0
2021-07-20kcsan: Improve some Kconfig commentsMarco Elver1-8/+8
2021-03-08kcsan: Make test follow KUnit style recommendationsMarco Elver1-2/+3
2020-08-24kcsan: Test support for compound instrumentationMarco Elver1-0/+5
2020-06-29kcsan: Re-add GCC as a supported compilerMarco Elver1-1/+2
2020-06-29kcsan: Add test suiteMarco Elver1-1/+22
2020-06-11kcsan: Restrict supported compilersMarco Elver1-1/+8
2020-06-11ubsan, kcsan: Don't combine sanitizer with kcov on clangArnd Bergmann1-0/+11
2020-04-27Improve KCSAN documentation a bitIngo Molnar1-7/+8
2020-03-25kcsan: Add option for verbose reportingMarco Elver1-0/+13
2020-03-25kcsan: Add option to allow watcher interruptionsMarco Elver1-0/+11
2020-03-21kcsan: Introduce KCSAN_ACCESS_ASSERT access typeMarco Elver1-10/+14
2020-03-21kcsan: Clean up the main KCSAN Kconfig optionMarco Elver1-5/+8
2020-03-21kcsan: Clarify Kconfig option KCSAN_IGNORE_ATOMICSMarco Elver1-3/+13
2020-03-21kcsan: Add option to assume plain aligned writes up to word size are atomicMarco Elver1-7/+20
2020-03-21kcsan: Rate-limit reporting per data racesMarco Elver1-0/+10
2019-11-20kcsan: Improve various small stylistic detailsIngo Molnar1-9/+7
2019-11-16kcsan: Add Kernel Concurrency Sanitizer infrastructureMarco Elver1-0/+118