Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Suppress MemorySanitizer false positive #293

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

jbms
Copy link

@jbms jbms commented Feb 17, 2023

MemorySanitizer does not support assembly, and therefore produces a false positive on blake3_hasher_finalize and related functions.

Note that a similar (but less comprehensive) fix was previously applied to LLVM's fork of this repo:

https://github.com/llvm/llvm-project/blob/34aff47521c3e0cbac58b0d5793197f76a304295/llvm/lib/Support/BLAKE3/blake3.c#L576

@jbms jbms force-pushed the suppress-msan-false-positive branch from c272abe to 4b31ae4 Compare February 17, 2023 22:48
MemorySanitizer does not support assembly, and therefore produces a
false positive on `blake3_hasher_finalize` and related functions.
@jbms jbms force-pushed the suppress-msan-false-positive branch from 4b31ae4 to 680bdb5 Compare February 17, 2023 23:00
@oconnor663
Copy link
Member

Help me make sure I understand the problem. MSan thinks some memory is uninitialized, because the writes that initialized it were inside an assembly block/file that MSan can't analyze. Is that correct? That seems like it would be a problem for all sorts of libraries, like OpenSSL. Does OpenSSL include this sort of MSan hinting?

@jbms
Copy link
Author

jbms commented Jun 18, 2023

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants