| 2020-08-24 |
Marco Elver | instrumented.h: Introduce read-write instrumentation...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-08-24 |
Marco Elver | kcsan: Test support for compound instrumentation
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-08-24 |
Marco Elver | kcsan: Add missing CONFIG_KCSAN_IGNORE_ATOMICS checks
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-08-24 |
Marco Elver | kcsan: Skew delay to be longer for certain access types
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-08-24 |
Marco Elver | objtool, kcsan: Add __tsan_read_write to uaccess whitelist
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-08-24 |
Marco Elver | kcsan: Support compounded read-write instrumentation
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-08-24 |
Marco Elver | kcsan: Add atomic builtin test case
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-08-24 |
Marco Elver | objtool: Add atomic builtin TSAN instrumentation to...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-08-24 |
Marco Elver | kcsan: Add support for atomic builtins
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-08-12 |
Marco Elver | kcov: unconditionally add -fno-stack-protector to compiler...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-08-07 |
Marco Elver | kasan: update required compiler versions in documentation
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-08-07 |
Marco Elver | kasan: improve and simplify Kconfig.kasan
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-08-07 |
Marco Elver | mm, kcsan: instrument SLAB/SLUB free with "ASSERT_EXCLUSIVE_...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-07-31 |
Marco Elver | kcsan: Improve IRQ state trace reporting
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-07-31 |
Marco Elver | lockdep: Refactor IRQ trace events fields into struct
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-07-10 |
Marco Elver | kcsan: Make KCSAN compatible with new IRQ state tracking
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-29 |
Marco Elver | tools/memory-model: Fix "conflict" definition
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-29 |
Marco Elver | kcsan: Disable branch tracing in core runtime
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-29 |
Marco Elver | kcsan: Simplify compiler flags
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-29 |
Marco Elver | kcsan: Re-add GCC as a supported compiler
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-29 |
Marco Elver | kcsan: Add jiffies test to test suite
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-29 |
Marco Elver | kcsan: Remove existing special atomic rules
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-29 |
Marco Elver | kcsan: Rename test.c to selftest.c
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-29 |
Marco Elver | kcsan: Silence -Wmissing-prototypes warning with W=1
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-29 |
Marco Elver | kcsan: Prefer '__no_kcsan inline' in test
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-29 |
Marco Elver | kcsan: Add test suite
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-29 |
Marco Elver | torture: Pass --kmake-arg to all make invocations
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-25 |
Marco Elver | kasan: Fix required compiler version
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-16 |
Marco Elver | compiler_attributes.h: Support no_sanitize_undefined...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-15 |
Marco Elver | compiler_types.h: Add __no_sanitize_{address,undefined...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-15 |
Marco Elver | kasan: Bump required compiler version
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-11 |
Marco Elver | compiler_types.h, kasan: Use __SANITIZE_ADDRESS__ instead...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-11 |
Marco Elver | compiler.h: Move function attributes to compiler_types.h
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-11 |
Marco Elver | compiler.h: Avoid nested statement expression in data_race()
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-11 |
Marco Elver | compiler.h: Remove data_race() and unnecessary checks...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-11 |
Marco Elver | kcsan: Update Documentation to change supported compilers
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-11 |
Marco Elver | kcsan: Remove 'noinline' from __no_kcsan_or_inline
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-11 |
Marco Elver | kcsan: Pass option tsan-instrument-read-before-write...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-11 |
Marco Elver | kcsan: Support distinguishing volatile accesses
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-11 |
Marco Elver | kcsan: Restrict supported compilers
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-11 |
Marco Elver | kcsan: Avoid inserting __tsan_func_entry/exit if possible
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-11 |
Marco Elver | asm-generic/atomic: Use __always_inline for fallback...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-05 |
Marco Elver | compiler_types.h: Use unoptimized __unqual_scalar_typeof...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-06-05 |
Marco Elver | compiler_types.h: Optimize __unqual_scalar_typeof compilatio...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-05-23 |
Marco Elver | kasan: disable branch tracing for core runtime
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-05-06 |
Marco Elver | objtool, kcsan: Add kcsan_disable_current() and kcsan_enable...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-05-06 |
Marco Elver | kcsan: Add __kcsan_{enable,disable}_current() variants
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-05-06 |
Marco Elver | checkpatch: Warn about data_race() without comment
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-04-23 |
Marco Elver | kunit: Add missing newline in summary message
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-04-14 |
Marco Elver | kcsan: Make reporting aware of KCSAN tests
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-04-14 |
Marco Elver | kcsan: Fix function matching in report
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-04-14 |
Marco Elver | kcsan: Change data_race() to no longer require marking...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-04-14 |
Marco Elver | kcsan: Move kcsan_{disable,enable}_current() to kcsan...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-04-14 |
Marco Elver | kcsan: Introduce scoped ASSERT_EXCLUSIVE macros
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-04-14 |
Marco Elver | objtool, kcsan: Add explicit check functions to uaccess...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-04-14 |
Marco Elver | kcsan: Add support for scoped accesses
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-04-14 |
Marco Elver | kcsan: Avoid blocking producers in prepare_report()
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-04-14 |
Marco Elver | kcsan: Introduce report access_info and other_info
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-25 |
Marco Elver | kcsan: Update API documentation in kcsan-checks.h
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-25 |
Marco Elver | kcsan: Update Documentation/dev-tools/kcsan.rst
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-25 |
Marco Elver | kcsan: Add current->state to implicitly atomic accesses
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-25 |
Marco Elver | kcsan: Add option for verbose reporting
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-25 |
Marco Elver | kcsan: Add option to allow watcher interruptions
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | kcsan, trace: Make KCSAN compatible with tracing
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | kcsan: Introduce ASSERT_EXCLUSIVE_BITS(var, mask)
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | kcsan: Add kcsan_set_access_mask() support
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | kcsan: Introduce kcsan_value_change type
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | compiler.h, seqlock.h: Remove unnecessary kcsan.h includes
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | kcsan: Move interfaces that affects checks to kcsan...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | kcsan: Fix misreporting if concurrent races on same...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | kcsan: Expose core configuration parameters as module...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | kcsan: Add test to generate conflicts via debugfs
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | kcsan: Introduce ASSERT_EXCLUSIVE_*() macros
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | kcsan: Introduce KCSAN_ACCESS_ASSERT access type
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | kcsan: Fix 0-sized checks
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | kcsan: Clean up the main KCSAN Kconfig option
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | kcsan: Clarify Kconfig option KCSAN_IGNORE_ATOMICS
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | kcsan: Add option to assume plain aligned writes up...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | copy_to_user, copy_from_user: Use generic instrumented.h
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | iov_iter: Use generic instrumented.h
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | asm-generic, kcsan: Add KCSAN instrumentation for bitops
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | asm-generic, atomic-instrumented: Use generic instrumented.h
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | include/linux: Add instrumented.h infrastructure
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | kcsan: Address missing case with KCSAN_REPORT_VALUE_CHANGE_ONLY
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | kcsan: Make KCSAN compatible with lockdep
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | kcsan: Rate-limit reporting per data races
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | kcsan: Show full access type in report
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-03-21 |
Marco Elver | kcsan: Prefer __always_inline for fast-path
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-01-17 |
Marco Elver | debugobjects: Fix various data races
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-01-07 |
Marco Elver | kcsan: Add __no_kcsan function attribute
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-01-07 |
Marco Elver | kcsan: Document static blacklisting options
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-01-07 |
Marco Elver | asm-generic/atomic: Use __always_inline for fallback...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-01-07 |
Marco Elver | asm-generic/atomic: Use __always_inline for pure wrappers
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-01-07 |
Marco Elver | kcsan, ubsan: Make KCSAN+UBSAN work together
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2019-12-09 |
Marco Elver | rcu: Fix data-race due to atomic_t copy-by-value
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2019-11-29 |
Marco Elver | locking/spinlock/debug: Fix various data races
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2019-11-16 |
Marco Elver | x86, kcsan: Enable KCSAN for x86
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2019-11-16 |
Marco Elver | locking/atomics, kcsan: Add KCSAN instrumentation
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2019-11-16 |
Marco Elver | seqlock: Require WRITE_ONCE surrounding raw_seqcount_barrier
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2019-11-16 |
Marco Elver | seqlock, kcsan: Add annotations for KCSAN
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| next |
projects / linux-2.6-microblaze.git / search