C-rusted：在 C 中享有 Rust 的优势，而无其劣势

Roberto Bagnara; Abramo Bagnara; Federico Serafini

C-rusted：在 C 中享有 Rust 的优势，而无其劣势

编程语言 2023-08-29 v3 密码学与安全软件工程

作者: Roberto Bagnara , Abramo Bagnara , Federico Serafini

摘要

C-rusted 是一项创新技术，借此可对 C 程序进行（部分）标注以表达：语言、系统和用户定义资源的所有权、独占性与可共享性；对象的动态属性及其在程序执行过程中的演化方式；名义类型与子类型。这些（部分）标注的 C 程序可使用任何能够处理 ISO C 代码的未修改编译工具链进行翻译。标注的 C 程序部分可通过静态分析验证：若静态分析器未标记错误，则标注在自身之间以及与标注 C 代码的关系上可证明为一致，在此情况下所述标注部分可证明免于一大类逻辑、安全和运行时错误。

关键词

C-rusted C 编程 Rust 优势静态分析所有权名义类型资源安全

引用

@article{arxiv.2302.05331,
  title  = {C-rusted: The Advantages of Rust, in C, without the Disadvantages},
  author = {Roberto Bagnara and Abramo Bagnara and Federico Serafini},
  journal= {arXiv preprint arXiv:2302.05331},
  year   = {2023}
}

备注

12 pages, 12 figures

C-rusted：在 C 中享有 Rust 的优势，而无其劣势

摘要

关键词

引用

备注

相关论文