Corrode:从C到Rust的自动语义保留翻译器
corrodeC to Rust translator项目地址:https://gitcode.com/gh_mirrors/co/corrode
Corrode 是一个神奇的工具,它能够读取C源文件并将其转换为等价的Rust语法模块。这个项目旨在部分自动化将遗留代码从C迁移到Rust的过程。虽然它不能完全自动化这一过程,因为其输出的安全性取决于输入代码的质量,但这是一个非常有用的起点,可以帮助你清理和调整代码以适应Rust的最佳实践。
快速启动
如果你想要试一试Corrode,首先你需要自行构建项目。不论是Linux,macOS还是Windows,都很容易上手。对于Windows用户,请先运行fixGitSymlinksForWindows.bat
作为管理员。然后,确保安装了Haskell的GHC和cabal-install
工具,以及happy
和alex
这两个额外的构建工具。在项目根目录下执行以下命令:
-
使用
cabal
进行安装:cabal install happy cabal install alex cabal install
-
或者,你可以选择使用Haskell Stack:
stack install
一旦完成这些步骤,Corrode就会被安装在你的$PATH
指定的可执行文件路径中。
使用方法
Corrode有两种使用方式:直接生成Rust源文件或是一步到位地编译Rust代码。
-
生成Rust源文件: 只需运行
corrode
,并传递给gcc
的所有选项。corrode -Wall filename.c -I/usr/local/include -lm
这将会把
filename.c
转换成filename.rs
。 -
代码生成并编译: 如果你想直接编译和链接,可以使用
scripts/corrode-cc
脚本替换gcc
。很多构建系统如make
,只需设置CC=corrode-cc
即可无缝集成。
设计原则
Corrode的核心目标是尽可能地保持原始程序的特性:行为一致、ABI兼容性和可维护性。它的输出应该可以直接替代原有的C代码,而不仅仅是编译链中的中间产物。
在保证行为和ABI一致性的基础上,Corrode努力保持与原代码的结构相似,以便于维护。每个语句和表达式都会尽可能按照原文档的顺序出现在输出中。如果某段代码没有明确的必要,Rust的编译器会在编译时发出警告。
如果出现行为不符或ABI不兼容的情况,那被视为Corrode的错误。然而,由于C语言的复杂性,可能无法严格保持原始代码的结构,但我们尽力做到最好。
测试与贡献
Corrode主要通过csmith生成随机C程序进行测试,然后逐步完善Corrode,使其能处理所有遇到的C语言构造,并确保生成的Rust模块无编译错误。
由于验证翻译结果是否与输入等效是一项复杂的任务,未来可能会使用Galois的软件分析工作台来进行进一步的测试。
如果你对参与这项酷炫的项目感兴趣,欢迎加入我们!无论是实现C标准未覆盖的部分,还是对已有的功能进行改进,你都可以提出pull request或者直接给我发送邮件至 <mailto:jamey@minilop.net>
。
Corrode不只是什么
一个精确捕捉C源代码语义的Rust模块可能并不符合Rust的编程风格。因此,我计划开发另一个名为"idiomatic"的工具,它可以在保持结果不变的同时,将Rust代码优化为更符合Rust习惯的形式。这个工具将用Rust编写,利用syntex_syntax
库提供的Rust AST。
利用Corrode,你可以开始安全、高效地迁移你的C代码库,拥抱Rust的世界。这个强大的工具正在不断进化,期待你的参与来共同完善它。现在就开始你的旅程,让代码变得更加现代和强大吧!
corrodeC to Rust translator项目地址:https://gitcode.com/gh_mirrors/co/corrode