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