Migrating C to Rust for Memory Safety

被引：0
|
作者：
Larsen, Per [1 ]
机构：
[1] Immunant Inc, Irvine, CA 92612 USA
来源：
IEEE SECURITY & PRIVACY | 2024年 / 22卷 / 04期
关键词：
Codes; Safety; Program processors; Memory management; Resource management; Security; Costs;
D O I：
10.1109/MSEC.2024.3385357
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The path for migrating C to Rust can be partially automated. This article discusses when to choose automation and when to migrate by hand and considers several paths to increase automation so more code can be migrated at constant cost.
引用
收藏
页码：22 / 29
页数：8
相关论文
共 50 条
  • [1] Memory Errors and Memory Safety: A Look at Java']Java and Rust
    van Oorschot, Paul C.
    [J]. IEEE SECURITY & PRIVACY, 2023, 21 (03) : 62 - 68
  • [2] RSMC:A Safety Model Checker for Concurrency and Memory Safety of Rust
    YAN Fei
    WANG Qizhong
    ZHANG Liqiang
    CHEN Yasha
    [J]. Wuhan University Journal of Natural Sciences, 2020, 25 (02) : 129 - 138
  • [3] RUDRA: Finding Memory Safety Bugs in Rust at the Ecosystem Scale
    Bae, Yechan
    Kim, Youngsuk
    Askar, Ammar
    Lim, Jungwon
    Kim, Taesoo
    [J]. PROCEEDINGS OF THE 28TH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES, SOSP 2021, 2021, : 84 - 99
  • [4] POSTER: Rust SGX SDK: Towards Memory Safety in Intel SGX Enclave
    Ding, Yu
    Duan, Ran
    Li, Long
    Cheng, Yueqiang
    Zhang, Yulong
    Chen, Tanghui
    Wei, Tao
    Wang, Huibo
    [J]. CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2017, : 2491 - 2493
  • [5] Memory Errors and Memory Safety: C as a Case Study
    Van Oorschot P.C.
    Piessens F.
    [J]. IEEE Security and Privacy, 2023, 21 (02): : 70 - 76
  • [6] Runtime Verification of C Memory Safety
    Rosu, Grigore
    Schulte, Wolfram
    Serbanuta, Traian Florin
    [J]. RUNTIME VERIFICATION, 2009, 5779 : 132 - +
  • [7] Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs
    Qin, Boqin
    Chen, Yilun
    Yu, Zeming
    Song, Linhai
    Zhang, Yiying
    [J]. PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20), 2020, : 763 - 779
  • [8] Full Spatial and Temporal Memory Safety for C
    Nagarakatte, Santosh
    [J]. IEEE SECURITY & PRIVACY, 2024, 22 (04) : 30 - 39
  • [9] Fat Pointers for Temporal Memory Safety of C
    Zhou, Jie
    Criswell, John
    Hicks, Michael
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (OOPSLA):
  • [10] Memory-Safety Challenge Considered Solved? An In-Depth Study with All Rust CVEs
    Xu, Hui
    Chen, Zhuangbin
    Sun, Mingshen
    Zhou, Yangfan
    Lyu, Michael R.
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2022, 31 (01)
12345