corrode 0.0.1-b6699fb Automatic semantics-preserving translation from C to Rust

This program reads a C source file and prints an equivalent module in Rust syntax. It is intended to be useful for two different purposes:

  1. Partial automation for migrating legacy code that was implemented in C.

  2. A new, complementary approach to static analysis for C programs.