Colin Breck
  • Home
  • Talks

Miri

A collection of 1 post
Making Unsafe Rust a Little Safer: Tools for Verifying Unsafe Code, Including Libraries in C and C++

Making Unsafe Rust a Little Safer: Tools for Verifying Unsafe Code, Including Libraries in C and C++

This article will look at tools for verifying unsafe Rust code, including unsafe code called from libraries written in C or C++.
Dec 15, 2024
Page 1 of 1
Colin Breck © 2025
Powered by Ghost