» Etiket
memory-safety
2 yayınKani: Rust için model checker doğrulama aracı
Kani, Rust'ın MIR temsilini CBMC doğrulama motoruna aktararak unsafe kod, fonksiyonel doğruluk ve panic içermemeyi kanıtlıyor; Rust standart kütüphanesinde binlerce harness ile üretimde çalışıyor.
Alice Ryhl'dan Rust dersleri: derleyici neden güvenilir
Google Android Rust ekibinden Alice Ryhl, Rust'ın bellek güvenliği, ownership modeli, Cargo, sürüm yönetimi ve Linux çekirdeğindeki geleceğini anlatıyor.