On Control Flow Hijacks of unsafe Rust
نویسنده
چکیده
Rust is a newly designed systems programming language that aims at safety. However, as a systems language, Rust must be able to manipulate rawmemory and interact with native C codes freely. In this project, we demonstrate how the use of unsafe keyword can potentially undermine the security guarantees of Rust. Specifically, we provideworking demonstrations to show that in some circumstances, vulnerable Rust codes using unsafe can be attacked by traditional buffer overflow, return-oriented programming and format string vulnerability. We also uncovered some design choices of Rust binary code generation, and analyzed their advantages and disadvantages of preventing control flow hijacks.
منابع مشابه
CRUST: A Bounded Verifier for Rust
Rust is a modern systems language that provides guaranteed memory safety through static analysis. However, Rust includes an escape hatch in the form of “unsafe code,” which the compiler assumes to be memory safe and to preserve crucial pointer aliasing invariants. Unsafe code appears in many data structure implementations and other essential libraries, and bugs in this code can lead to memory s...
متن کاملFive new rust taxa on Salicaceae in Central Alborz area (N Iran)
During the study on rust mycobiota of Central Alborz, several rust infected specimens belonging to Salicaceae family including Populus and Salix species were investigated. Populus nigra, P. euphratica, Saix alba and S. excelsa were infected by various Melampsora species. Uredinial (II) and telial (III) stages of rust were present on infected plants. According to morphological characters, five f...
متن کاملUtilizing Rust Programming Language for EFI-Based Bootloader Design
Rust, as being a systems programming language, offers memory safety with zero cost and without any runtime penalty unlike other languages like C, C++ or Cyclone. System programming languages are mainly used for low level tasks such as design of operating system components, web browsers, game engines and time critical missions like signal processing. Main disadvantages of the existing systems la...
متن کاملارزیابی تاثیر کاربرد تابلوهای ایمنی بر اصلاح رفتارهای ناایمن
Background and Objective: In recent decades studies have shown that the main cause of accidents is unsafe acts. Installation of safety signs is a complementary corrective action for unsafe act control. Therefore, the objective of the present study was to investgate the effects of safety signs on the modification of unsafe behaviours. Materials and Methods: This interventional study was carried ...
متن کامل