Login
From:
Kani Rust Verifier Blog
(Uncensored)
subscribe
Verifying Safety of Rust’s CStr
https://model-checking.github.io//kani-verifier-blog/2024/12/03/safety-of-cstr.html
links
backlinks
Authors: Rajath M Kotyal, Yen-Yun Wu, Lanfei Ma, Junfeng Jin
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
