Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
Rudra – static analyzer to detect common undefined behaviors in Rust programs (github.com/sslab-gatech)
1 point by pabs3 on Feb 1, 2023 | past
Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale [pdf] (github.com/sslab-gatech)
1 point by todsacerdoti on Oct 25, 2022 | past
Rudra: Rust Memory Safety and Undefined Behavior Detection (github.com/sslab-gatech)
2 points by homarp on Aug 26, 2021 | past
Rudra, Rust Memory Safety and Undefined Behavior Detection (github.com/sslab-gatech)
4 points by pjmlp on Aug 23, 2021 | past
Rudra: Rust Memory Safety and Undefined Behavior Detection (github.com/sslab-gatech)
4 points by brson on Aug 21, 2021 | past | 1 comment
Compromising the macOS Kernel Through Safari by Chaining Six Vulnerabilities (github.com/sslab-gatech)
3 points by kristofferR on Aug 8, 2020 | past
Compromising the macOS Kernel Through Safari by Chaining Six Vulnerabilities (github.com/sslab-gatech)
4 points by kristofferR on Aug 7, 2020 | past
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing (github.com/sslab-gatech)
2 points by ngaut on Sept 12, 2018 | past | 1 comment
The DrK Attack: De-randomizing Kernel ASLR (github.com/sslab-gatech)
159 points by tsgates on Oct 26, 2016 | past | 30 comments

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

Search: