University of Twente Student Theses
Static analysis of panic-type errors in Rust
Stok, Grace (2025) Static analysis of panic-type errors in Rust.
|
PDF
606kB |
| Abstract: | Reliability is an ever-present concern in software development. A large part of writing reliable software is writing robust error handling. Rust is a programming language with a large focus on safety and reliability. One of the methods with which Rust enables this reliability is its error model, split between recoverable Result errors, and irrecoverable panics. These panics propagate similarly to the exceptions of other languages, but they are generally not expected to be caught, instead halting the entire application. This makes panics quite impactful, and a necessary consideration for building reliable software using Rust. Building on a tool developed for previous research to analyse the result-type errors, the contribution of this paper of this paper is twofold. Firstly, we have designed and created a tool to analyse the handling of panics in Rust programs. Secondly, we have used the developed tool to analyse several popular Rust codebases, separating the results depending on if the codebase in question is primarily application development or library development. This analysis serves as a demonstration of the tool, and the data gathered has been used to draw conclusions about panic propagation in Rust programs. |
| Item Type: | Essay (Bachelor) |
| Faculty: | EEMCS: Electrical Engineering, Mathematics and Computer Science |
| Subject: | 54 computer science |
| Programme: | Computer Science BSc (56964) |
| Link to this item: | https://purl.utwente.nl/essays/105246 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page