Efficient and Precise Pointer Analysis for Rust

Rust, a rapidly growing system-level language, has gained popularity for its strong memory safety guarantees. However, its support for unsafe code, which bypasses built-in safety checks, introduces risks similar to those in C and C++, underscoring the ongoing need for program analysis to address saf... View More