Login
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
This article will look at tools for verifying unsafe Rust code, including unsafe code called from libraries written in C or C++.
Roast topics
Find topics
Find it!
