Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | kcsan: Add core support for a subset of weak memory modeling | Marco Elver | 2021-12-09 | 1 | -1/+9 |
* | kcsan: Avoid checking scoped accesses from nested contexts | Marco Elver | 2021-12-09 | 1 | -0/+1 |
* | kcsan: Add missing license and copyright headers | Marco Elver | 2021-03-08 | 1 | -0/+7 |
* | kcsan: Move kcsan_{disable,enable}_current() to kcsan-checks.h | Marco Elver | 2020-04-13 | 1 | -16/+0 |
* | kcsan: Add support for scoped accesses | Marco Elver | 2020-04-13 | 1 | -0/+3 |
* | kcsan: Add kcsan_set_access_mask() support | Marco Elver | 2020-03-21 | 1 | -0/+5 |
* | kcsan: Move interfaces that affects checks to kcsan-checks.h | Marco Elver | 2020-03-21 | 1 | -41/+0 |
* | kcsan: Improve various small stylistic details | Ingo Molnar | 2019-11-20 | 1 | -15/+8 |
* | kcsan: Add Kernel Concurrency Sanitizer infrastructure | Marco Elver | 2019-11-16 | 1 | -0/+115 |