UnsafeChecker: Finding Soundness Bugs in Rust Safe Abstractions

Xizhe Yin, Yaokun Zhang, Yang Feng +1

Rust guarantees memory safety without garbage collection through a strict ownership and borrowing system. However, for low-level systems programming, many widely used libraries rel…