How Our Rust-to-Zig Rewrite is Going

How Our Rust-to-Zig Rewrite is Going For the past year and a half, the team building Roc's compiler has been rewriting our 300,000 lines of Rust code into Zig, for reasons I'll recap below. We recently passed an exciting milestone: feature parity with the original compiler! Since the Bun project recently shared an experience report of their rewrite in the other direction (from Zig to Rust, althoug

[simplememofast]

引用の通り脆弱性の約7割がメモリ安全起因だが、恩恵は実測でUAFの16%側に集中。アリーナ主体だと借用チェッカの効く面は狭く、安全策は割り当て戦略に従属する