Sökning: onr:"swepub:oai:DiVA.org:ltu-78676" >
Cargo-call-stack St...
Cargo-call-stack Static Call-stack Analysis for Rust
-
- Lindgren, Per (författare)
- Luleå tekniska universitet,Datavetenskap
-
- Fitinghoff, Nils (författare)
- Luleå tekniska universitet
-
- Aparicio, Jorge (författare)
- Luleå tekniska universitet
-
(creator_code:org_t)
- IEEE, 2019
- 2019
- Engelska.
-
Ingår i: 2019 IEEE 17th International Conference on Industrial Informatics (INDIN). - : IEEE. ; , s. 1169-1176
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- Memory safety is instrumental to the safety and security of software systems. The Rust language stands out with a type system and underlying memory model targeting memory safety without the need for dynamic garbage collection, making Rust a viable option for embedded applications. In this paper we present an integrated tool for call-stack analysis of Rust applications. We cover both theoretical and practical challenges, their solutions and open questions. The cargo-call-stack tool is useful for analyzing Rust applications in general, and embedded Rust in particular. To the latter, we show that using the call-stack analysis we can give guarantees of total memory safety, free of assumptions on operating systems and underlying memory protection mechanisms in hardware. The feasibility of the approach is demonstrated by applying the `call-stack' tool on production code targeting a light-weight ARM Cortex-M platform.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Dependable Communication and Computation Systems
- Kommunikations- och beräkningssystem
Publikations- och innehållstyp
- vet (ämneskategori)
- kon (ämneskategori)