Rupair: towards automatic buffer overflow detection and rectification for Rust

B Hua, W Ouyang, C Jiang, Q Fan, Z Pan - Proceedings of the 37th …, 2021 - dl.acm.org
Rust is an emerging programming language which aims to provide both safety guarantee
and runtime efficiency, and has been used extensively in system programming scenarios …

Understanding and Detecting Real-World Safety Issues in Rust

B Qin, Y Chen, H Liu, H Zhang, Q Wen… - IEEE Transactions …, 2024 - ieeexplore.ieee.org
Rust is a relatively new programming language designed for systems software development.
Its objective is to combine the safety guarantees typically associated with high-level …

Crust: Towards a unified cross-language program analysis framework for rust

S Hu, B Hua, L Xia, Y Wang - 2022 IEEE 22nd International …, 2022 - ieeexplore.ieee.org
Rust is a new safe system programming language enforcing safety guarantees by novel
language features, a rich type system, and strict compile-time checking rules, and thus has …

Comprehensiveness, Automation and Lifecycle: A New Perspective for Rust Security

S Hu, B Hua, Y Wang - 2022 IEEE 22nd International …, 2022 - ieeexplore.ieee.org
Rust is an emerging programming language designed for secure system programming that
provides both security guarantees and runtime efficiency and has been increasingly used to …

Learning and programming challenges of rust: A mixed-methods study

S Zhu, Z Zhang, B Qin, A Xiong, L Song - Proceedings of the 44th …, 2022 - dl.acm.org
Rust is a young systems programming language designed to provide both the safety
guarantees of high-level languages and the execution performance of low-level languages …

MirChecker: detecting bugs in Rust programs via static analysis

Z Li, J Wang, M Sun, JCS Lui - Proceedings of the 2021 ACM SIGSAC …, 2021 - dl.acm.org
Safe system programming is often a crucial requirement due to its critical role in system
software engineering. Conventional low-level programming languages such as C and …

Understanding memory and thread safety practices and issues in real-world Rust programs

B Qin, Y Chen, Z Yu, L Song, Y Zhang - Proceedings of the 41st ACM …, 2020 - dl.acm.org
Rust is a young programming language designed for systems software development. It aims
to provide safety guarantees like high-level languages and performance efficiency like low …

{RustSan}: Retrofitting {AddressSanitizer} for Efficient Sanitization of Rust

K Cho, J Kim, KD Duy, H Lim, H Lee - 33rd USENIX Security Symposium …, 2024 - usenix.org
Rust is gaining traction as a safe systems programming language with its strong type and
memory safety guarantees. However, Rust's guarantees are not infallible. The use of unsafe …

Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming

M Cui, S Sun, H Xu, Y Zhou - Proceedings of the IEEE/ACM 46th …, 2024 - dl.acm.org
Rust is an emerging, strongly-typed programming language focusing on efficiency and
memory safety. With increasing projects adopting Rust, knowing how to use Unsafe Rust is …

SafeDrop: Detecting memory deallocation bugs of rust programs via static data-flow analysis

M Cui, C Chen, H Xu, Y Zhou - ACM Transactions on Software …, 2023 - dl.acm.org
Rust is an emerging programming language that aims to prevent memory-safety bugs.
However, the current design of Rust also brings side effects, which may increase the risk of …