Skip to content

test: deliberate MSan bug on top of #94 (do not merge)#95

Draft
xyephy wants to merge 6 commits intostratum-mining:masterfrom
xyephy:2026/04/cfl-msan-test
Draft

test: deliberate MSan bug on top of #94 (do not merge)#95
xyephy wants to merge 6 commits intostratum-mining:masterfrom
xyephy:2026/04/cfl-msan-test

Conversation

@xyephy
Copy link
Copy Markdown
Contributor

@xyephy xyephy commented Apr 20, 2026

Deliberate bug insert to trigger MSan and verify source mapping.

Sjors and others added 6 commits April 20, 2026 23:39
Expose fuzz_targets.txt in $OUT so run-fuzzers sees targets.

Assisted-by: GitHub Copilot
Assisted-by: OpenAI GPT-5.1-Codex-Max
It should no longer be needed to use a fork.
libFuzzer forwards argc/argv from glibc. On glibc >= 2.39 MSan
doesn't unpoison them, causing a spurious uninit read in SetArgs.
Upstream :ubuntu-24-04-v1 ships llvm-symbolizer at /usr/local/bin.
Triggers MSan to verify source mapping. Do not merge.
@xyephy xyephy marked this pull request as draft April 20, 2026 21:16
@xyephy xyephy mentioned this pull request Apr 20, 2026
2 tasks
@Sjors
Copy link
Copy Markdown
Collaborator

Sjors commented Apr 21, 2026

This breaks a lot of other jobs too. That might be fine as long as the MSan failure is clear.

However the CFL memory sanitizer job passes.

Also note that, IIRC, it's important to trigger the error in the fuzz runner stage, not the build stage.

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.

2 participants