Bae, Y., Kim, Y., Askar, A., Lim, J., & Kim, T. (2021). Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale [Conference paper]