Securing unsafe Rust programs with XRust
Peiming Liu, Gang Zhao, Jeff Huang[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering
ICSE '20
Seoul, South Korea
Association for Computing Machinery
New York, NY, USA
Pages 234-245
2020
Note(s): Rust language, Rust unsafe code
ICSE '20
Seoul, South Korea
Association for Computing Machinery
New York, NY, USA
Pages 234-245
2020
Note(s): Rust language, Rust unsafe code