corrode

Tech stack & purpose

Corrode is an automatic translator that converts C source code to semantically equivalent Rust code, designed to assist in migrating legacy C programs. The tool reads C files and outputs Rust modules that preserve the original behavior and ABI compatibility, though users are expected to refine the output afterward to use Rust idioms appropriately. It is written in Haskell and uses the Cabal or Stack build systems, relying on tools like happy and alex for parsing. The project was created by Jamey Sharp and is tested using randomly generated C programs via csmith to verify that the translated Rust code compiles correctly and maintains equivalence with the original C.

Community & reference links

• Haskell Stack
• Software Analysis Workbench
• csmith
• `syntex_syntax`
• directions on haskell.org

Languages

Contributors

• 
  Jamey Sharp334 commits · 259 followers
• 
  Alec Theriault27 commits · 54 followers
• 
  Joe Ranweiler10 commits · 51 followers
• Nathan Bergey9 commits
• Vickenty Fesunov3 commits
• Bruce Mitchener3 commits
• Markus Westerlind3 commits
• Jeremie Jost2 commits
• Jeff Waugh2 commits
• David Wood2 commits
• Getty Ritter2 commits
• Fabian Zaiser2 commits
• Nabil Hassein2 commits
• Friedrich Wiemer1 commits
• Jacek Wielemborek1 commits
• Aleksey Kliger1 commits
• Taylor Cramer1 commits
• William Douglas1 commits
• Tommi Komulainen1 commits
• 
  Sebastian Schmidt1 commits · 55 followers
• Sean Jensen-Grey1 commits
• Robert Grosse1 commits
• Amin Bandali1 commits