Login
Roast topics
Find topics
Find it!
From:
Colin Breck
(Uncensored)
subscribe
Making Unsafe Rust a Little Safer: Tools for Verifying Unsafe Code, Including Libraries in C and C++
https://blog.colinbreck.com/making-unsafe-rust-a-little-safer-tools-for-verifying-unsafe-code/
links
backlinks
Tagged with:
math
testing
c++
rust
verification
miri
sanitizers
unsafe rust
Roast topics
Find topics
Roast it!
This article will look at tools for verifying unsafe Rust code, including unsafe code called from libraries written in C or C++.