[clang] [docs][msan] List common cases reported by msan (PR #101105)
John Stiles via cfe-commits
cfe-commits at lists.llvm.org
Tue Jul 30 10:15:39 PDT 2024
================
@@ -8,11 +8,18 @@ MemorySanitizer
Introduction
============
-MemorySanitizer is a detector of uninitialized reads. It consists of a
+MemorySanitizer is a detector of uninitialized memory use. It consists of a
compiler instrumentation module and a run-time library.
Typical slowdown introduced by MemorySanitizer is **3x**.
+Here is a not comprehensive of list cases when MemorySanitizer will report an error:
+
+* Uninitialized value was used in a conditional branch.
+* Uninitialized pointer was used for memory accesses.
+* Uninitialized value passed or returned from a function call, which is considered an undefined behavior. The check can be disabled with ``-fno-sanitize-memory-param-retval``.
+* Uninitialized data was passed into some libc calls.
----------------
johnstiles-google wrote:
Is this redundant with "Uninitialized value passed or returned from a function call"?
https://github.com/llvm/llvm-project/pull/101105
More information about the cfe-commits
mailing list