Ownership Guided C to Rust Translation-Reference-Cited by-同舟云学术

Ownership Guided C to Rust Translation

Published:2023 Issue: Volume: Page:459-482
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Zhang Hanliang,David Cristina,Yu Yijun,Wang Meng

Abstract

AbstractDubbed a safer C, Rust is a modern programming language that combines memory safety and low-level control. This interesting combination has made Rust very popular among developers and there is a growing trend of migrating legacy codebases (very often in C) to Rust. In this paper, we present a C to Rust translation approach centred around static ownership analysis. We design a suite of analyses that infer ownership models of C pointers and automatically translate the pointers into safe Rust equivalents. The resulting tool, Crown, scales to real-world codebases (half a million lines of code in less than 10 s) and achieves a high conversion rate.

Publisher

Springer Nature Switzerland

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-37709-9_22

Reference42 articles.

1. Aldrich, J., Kostadinov, V., Chambers, C.: Alias annotations for program understanding. In: Proceedings of the 17th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. OOPSLA ’02, pp. 311–330. Association for Computing Machinery, New York, NY, USA (2002). https://doi.org/10.1145/582419.582448

2. Astrauskas, V., Matheja, C., Poli, F., Müller, P., Summers, A.J.: How do programmers use unsafe rust? Proc. ACM Program. Lang. 4(OOPSLA) (2020). https://doi.org/10.1145/3428204

3. Astrauskas, V., Müller, P., Poli, F., Summers, A.J.: Leveraging rust types for modular specification and verification. Proc. ACM Program. Lang. 3(OOPSLA) (oct 2019). https://doi.org/10.1145/3360573

4. Boyapati, C., Liskov, B., Shrira, L.: Ownership types for object encapsulation. In: Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL ’03, pp. 213–223. Association for Computing Machinery, New York, NY, USA (2003). https://doi.org/10.1145/604131.604156

5. Boyapati, C., Salcianu, A., Beebee, W., Rinard, M.: Ownership types for safe region-based memory management in real-time Java. In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation. PLDI ’03, pp. 324–337. Association for Computing Machinery, New York, NY, USA (2003). https://doi.org/10.1145/781131.781168