aboutsummaryrefslogtreecommitdiff
path: root/kernel/kcsan
AgeCommit message (Expand)AuthorFilesLines
2020-06-11kcsan: Support distinguishing volatile accessesGravatar Marco Elver 1-0/+43
2020-05-06kcsan: Add __kcsan_{enable,disable}_current() variantsGravatar Marco Elver 1-0/+7
2020-04-27kcsan: Use GFP_ATOMIC under spin lockGravatar Wei Yongjun 1-2/+2
2020-04-13kcsan: Make reporting aware of KCSAN testsGravatar Marco Elver 1-7/+23
2020-04-13kcsan: Fix function matching in reportGravatar Marco Elver 1-9/+9
2020-04-13kcsan: Introduce scoped ASSERT_EXCLUSIVE macrosGravatar Marco Elver 1-1/+15
2020-04-13kcsan: Add support for scoped accessesGravatar Marco Elver 2-19/+97
2020-04-13kcsan: Avoid blocking producers in prepare_report()Gravatar Marco Elver 3-122/+124
2020-04-13kcsan: Introduce report access_info and other_infoGravatar Marco Elver 3-78/+77
2020-03-25kcsan: Fix a typo in a commentGravatar Qiujun Huang 1-1/+1
2020-03-25kcsan: Add current->state to implicitly atomic accessesGravatar Marco Elver 3-30/+40
2020-03-25kcsan: Add option for verbose reportingGravatar Marco Elver 3-3/+107
2020-03-25kcsan: Add option to allow watcher interruptionsGravatar Marco Elver 1-24/+10
2020-03-21kcsan, trace: Make KCSAN compatible with tracingGravatar Marco Elver 1-0/+2
2020-03-21kcsan: Introduce ASSERT_EXCLUSIVE_BITS(var, mask)Gravatar Marco Elver 1-1/+14
2020-03-21kcsan: Add kcsan_set_access_mask() supportGravatar Marco Elver 3-5/+56
2020-03-21kcsan: Introduce kcsan_value_change typeGravatar Marco Elver 3-29/+54
2020-03-21kcsan: Fix misreporting if concurrent races on same addressGravatar Marco Elver 1-0/+38
2020-03-21kcsan: Expose core configuration parameters as module paramsGravatar Marco Elver 1-5/+19
2020-03-21kcsan: Add test to generate conflicts via debugfsGravatar Marco Elver 1-5/+46
2020-03-21kcsan: Introduce KCSAN_ACCESS_ASSERT access typeGravatar Marco Elver 4-18/+77
2020-03-21kcsan: Fix 0-sized checksGravatar Marco Elver 2-0/+17
2020-03-21kcsan: Add option to assume plain aligned writes up to word size are atomicGravatar Marco Elver 1-5/+17
2020-03-21kcsan: Address missing case with KCSAN_REPORT_VALUE_CHANGE_ONLYGravatar Marco Elver 1-7/+20
2020-03-21kcsan: Make KCSAN compatible with lockdepGravatar Marco Elver 2-2/+15
2020-03-21kcsan: Rate-limit reporting per data racesGravatar Marco Elver 1-10/+100
2020-03-21kcsan: Show full access type in reportGravatar Marco Elver 3-23/+37
2020-03-21kcsan: Prefer __always_inline for fast-pathGravatar Marco Elver 3-17/+17
2020-01-07kcsan, ubsan: Make KCSAN+UBSAN work togetherGravatar Marco Elver 1-0/+1
2019-11-20kcsan: Improve various small stylistic detailsGravatar Ingo Molnar 7-108/+99
2019-11-16kcsan: Add Kernel Concurrency Sanitizer infrastructureGravatar Marco Elver 8-0/+1582