MirChecker: detecting bugs in Rust programs via static analysis
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 …
software engineering. Conventional low-level programming languages such as C and …
Memory-safety challenge considered solved? An in-depth study with all Rust CVEs
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 …
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
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 …
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 …
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 …
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 …
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 …
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 …
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 …
due to its features of achieving run-time efficiency and memory safety. With an increasing …
When Is Parallelism Fearless and Zero-Cost with Rust?
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 …
detecting concurrency errors at compile time. Given the enduring difficulty of parallel …