CBMC: Use instrumented malloc/free for MLD_ALLOC/MLD_FREE #814

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.

Sign up for GitHub

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

Draft

hanno-becker wants to merge 3 commits into main from alloc_cbmc

Draft

CBMC: Use instrumented malloc/free for MLD_ALLOC/MLD_FREE #814

[TEST] Reduce CI

DCO-2 / DCO succeeded Jan 2, 2026 in 0s

Check passed!

All commits are signed off, the check passed.

Summary

	Sha	Message	Pass or fail reason
🟢	b87017a	Bundle multiple allocations into workspaces	`Valid sign-off found`
🟢	19bbb2c	CBMC: Use instrumented malloc/free for MLD_ALLOC/M...	`Valid sign-off found`
🟢	9ad59c8	[TEST] Reduce CI	`Valid sign-off found`

View more details on DCO-2