google / google/xls

JIT/AOT MSAN does not set jit-functions as sanitize

Open
#1,418 0 comments 0 reactions 0 assignees View on GitHub
enhancement jit
Dominant language
C++
Stars
1.9k
Forks
283
Avg merge
2d 10h
Merged PRs (30d)
135

Description

**Describe the bug**
In order to trigger MSAN errors a function in LLVM must be marked as sanitizable. Our JIT/AOT code does not do this. Some MSAN issues (such as calling the jit functions with undefined values) will not be caught.

If you add these attributes several tests begin showing msan errors for unclear reasons. It's unclear if the errors are legitimate (msan error message also says some memory is corrupted and it happens in packed API only).

Needs further investigation.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.