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 …

Memory-safety challenge considered solved? An in-depth study with all Rust CVEs

H Xu, Z Chen, M Sun, Y Zhou, MR Lyu - ACM Transactions on Software …, 2021 - dl.acm.org
Rust is an emerging programming language that aims at preventing memory-safety bugs
without sacrificing much efficiency. The claimed property is very attractive to developers, and …

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 …

Detection of concurrency errors in multithreaded applications based on static source code analysis

D Giebas, R Wojszczyk - IEEE Access, 2021 - ieeexplore.ieee.org
Computer systems that allow multithreaded execution of applications have become
extremely common, even small portable devices operate in multithreaded mode. This is …

Towards rust for critical systems

A Pinho, L Couto, J Oliveira - 2019 IEEE International …, 2019 - ieeexplore.ieee.org
The programming language landscape in software development for aerospace and other
safety-critical domains is comprised of low-level languages such as C which require a heavy …

Atomicity violation in multithreaded applications and its detection in static code analysis process

D Giebas, R Wojszczyk - Applied Sciences, 2020 - mdpi.com
This paper is a contribution to the field of research dealing with the parallel computing,
which is used in multithreaded applications. The paper discusses the characteristics of …

[HTML][HTML] Overview of Embedded Rust Operating Systems and Frameworks

T Vandervelden, R De Smet, D Deac, K Steenhaut… - Sensors, 2024 - mdpi.com
Embedded Operating Systems (OSs) are often developed in the C programming language.
Developers justify this choice by the performance that can be achieved, the low memory …

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 …

Fearless unsafe. Safety Property is all you need

M Cui, P Mao, S Sun, Y Zhou, H Xu - arXiv preprint arXiv:2412.06251, 2024 - arxiv.org
Rust, a popular systems-level programming language, has garnered widespread attention
due to its features of achieving run-time efficiency and memory safety. With an increasing …

When Is Parallelism Fearless and Zero-Cost with Rust?

J Abdi, G Posluns, G Zhang, B Wang… - Proceedings of the 36th …, 2024 - dl.acm.org
The Rust programming language is lauded for enabling fearless concurrency with zero cost:
detecting concurrency errors at compile time. Given the enduring difficulty of parallel …