تحلیل برنامه‌های Rust با استفاده از Charon

Nadrieril is a long-time Rust contributor, and the maintainer of the rustc pattern-matching infrastructure. During his involvement with Rust, he has noticed a problem with the usability of the language: it is difficult to automatically extract information from a Rust crate for use with other…

⚙محتوا به‌صورت خودکار ماشینی ترجمه شده است.