Lei Xia, Yufei Wu 0011, Baojian Hua. Rustcheck: Safety Enhancement of Unsafe Rust via Dynamic Program Analysis. In 23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023 Companion, Chiang Mai, Thailand, October 22-26, 2023. pages 871-872, IEEE, 2023. [doi]
Abstract is missing.