Verifying Safety of Rust's CStr | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Verifying Safety of Rust's CStr (model-checking.github.io)
		2 points by aw1621107 on Dec 21, 2024 \| hide \| past \| favorite

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact