Hacker News new | past | comments | ask | show | jobs | submit | from login
Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale (2021) [pdf] (gts3.org)
4 points by eatonphil on Jan 31, 2023 | past
Labs for Rust OS – CS-3210 at Georgia Tech (gts3.org)
382 points by tsgates on April 21, 2020 | past | 44 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: