PinChecker: Identifying Unsound Safe Abstractions of Rust Pinning APIs

Yuxuan Dai, Yang Feng

The pinning APIs of Rust language guarantee memory location stability for self-referential and asynchronous constructs, as long as used according to the pinning API contract. Rust…