Thetis: A Booster for Building Safer Systems Using the Rust Programming Language

Thetis: A Booster for Building Safer Systems Using the Rust Programming Language

Rust is a new system-level programming language that prioritizes performance, safety, and productivity. However, as evidenced in many previous works, unsafe code fragments broadly exist in Rust projects. The use of these unsafe fragments can fundamentally violate the safety of systems developed usin...

Full description

Bibliographic Details
Main Authors: Renshuang Jiang, Pan Dong, Yan Ding, Ran Wei, Zhe Jiang
Format: Article
Language:English
Published: MDPI AG 2023-11-01
Series:Applied Sciences
Subjects:
unsafe fragments
interior unsafe
static analysis
system safety
Online Access:https://www.mdpi.com/2076-3417/13/23/12738

Similar Items

Similar Items