| 2021-01-04 |
Marco Elver | kcsan: Rewrite kcsan_prandom_u32_max() without prandom_u32_s...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-12-21 |
Marco Elver | genksyms: Ignore module scoped _Static_assert()
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-12-15 |
Marco Elver | lkdtm: disable KASAN for rodata.o
...org/r/20201214191413.3164796-1-elver@google.com
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-12-01 |
Marco Elver | net: switch to storing KCOV handle directly in sk_buff
Signed-off-by: Marco Elver <elver@google.com>
...org/r/20201125224840.2014773-1-elver@google.com
|
commit | commitdiff | tree |
| 2020-11-07 |
Marco Elver | kcsan: Fix encoding masks and regain address bit
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-11-03 |
Marco Elver | kcsan: Never set up watchpoints on NULL pointers
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-11-03 |
Marco Elver | kcsan: selftest: Ensure that address is at least PAGE_SIZE
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-10-14 |
Marco Elver | kasan: remove mentions of unsupported Clang versions
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-08-31 |
Marco Elver | kcsan: Use tracing-safe version of prandom
...org/r/20200821063043.1949509-1-elver@google.com
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-08-26 |
Marco Elver | sched: Use __always_inline on is_idle_task()
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-08-24 |
Marco Elver | bitops, kcsan: Partially revert instrumentation for...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-08-24 |
Marco Elver | kcsan: Optimize debugfs stats counters
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-08-24 |
Marco Elver | kcsan: Use pr_fmt for consistency
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-08-24 |
Marco Elver | kcsan: Show message if enabled early
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-08-24 |
Marco Elver | kcsan: Remove debugfs test command
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-08-24 |
Marco Elver | kcsan: Simplify constant string handling
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-08-24 |
Marco Elver | kcsan: Simplify debugfs counter to name mapping
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-08-24 |
Marco Elver | locking/atomics: Use read-write instrumentation for...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 2020-08-24 |
Marco Elver | asm-generic/bitops: Use instrument_read_write() where...
Signed-off-by: Marco Elver <elver@google.com>
|
commit | commitdiff | tree |
| 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>
...kernel.org/r/20200615184302.7591-1-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>
...org/r/20200629104157.3242503-2-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>
...org/r/20200629104157.3242503-1-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>
...org/r/20200623072653.114563-1-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>
...org/r/20200729110916.3920464-2-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>
...org/r/20200729110916.3920464-1-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>
...org/r/20200521142047.169334-12-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>
...org/r/20200521142047.169334-11-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>
...org/r/20200521142047.169334-10-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>
...org/r/20200521142047.169334-9-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>
...org/r/20200521142047.169334-8-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>
...org/r/20200521142047.169334-6-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>
...org/r/20200521142047.169334-5-elver@google.com
|
commit | commitdiff | tree |
| 2020-06-11 |
Marco Elver | kcsan: Support distinguishing volatile accesses
Signed-off-by: Marco Elver <elver@google.com>
...org/r/20200521142047.169334-4-elver@google.com
|
commit | commitdiff | tree |
| 2020-06-11 |
Marco Elver | kcsan: Restrict supported compilers
Signed-off-by: Marco Elver <elver@google.com>
...org/r/20200521142047.169334-7-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>
...org/r/20200521142047.169334-3-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>
...org/r/20200527103236.148700-1-elver@google.com
|
commit | commitdiff | tree |
| 2020-05-23 |
Marco Elver | kasan: disable branch tracing for core runtime
[elver@google.com: remove duplicate DISABLE_BRANCH_PROFIL...
...org/r/20200522075207.157349-1-elver@google.com
Signed-off-by: Marco Elver <elver@google.com>
...kernel.org/r/20200519182459.87166-1-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 |
| next |
projects / linux-2.6-microblaze.git / search