Detection, Analysis and Prevention of Rust Vulnerabilities A Software Engineering Methodology

Rust stands out as a top choice among memory-safe programming languages, offering both safety and high performance for software development. It provides rigorous checks, already at the compilation stage, proposing Safe and Unsafe paradigms. The latter provides flexibility by bypassing certain safety checks but risking reintroducing vulnerabilities if used irresponsibly. This thesis proposes a methodology for Rust secure coding, presenting best practices and testing tools. Through experiments and case studies, we demonstrate how the proposed methodology supports the effectiveness of risk management and mitigation for designing and implementing safe and reliable software.