C2Rust Docker environment Warning: the following commands delete data C2Rust Docker environment Tested with Docker Community Edition 18.03. The version distributed with your h...

Rustc cross-checker compiler plugin Usage Cross-checker options Rustc cross-checker compiler plugin This is a simple cross-check inserter for Rust code that is implemented as...

C2Rust Refactoring Tool Usage Marks C2Rust Refactoring Tool This is a refactoring tool for Rust programs, aimed at removing unsafety fromautomatically-generated Rust code. ...

C2Rust Source Walkthrough Project crate structure c2rust c2rust-ast-builder c2rust-ast-exporter c2rust-transpile c2rust-refactor cross-checks Crate Walkthrough: c2rust-ast-b...

Translating C to Rust Generating compile_commands.json files … with cmake … with intercept-build … with bear (linux only) Translating C to Rust To translate C files specifi...

Installation Prerequisites Building C2Rust Installation Prerequisites C2Rust requires LLVM 6 or 7 and its corresponding libraries and clang compiler. Python 3.4 or later, C...

Setting up a development environment Building with system LLVM libraries Building dependencies from source Testing (Optional) Setting up a development environment There are ...

C2Rust Transpiler Basic Usage Creating cargo build files Cross-check instrumentation For Developers C2Rust Transpiler Basic Usage The transpiler module is invoked using t...

What is C2Rust? What is C2Rust? C2Rust helps you migrate C99-compliant code to Rust. It provides: a C to Rust translator a Rust code refactoring tool tools to cross-check exe...

Cross-checking Tutorial Introduction Example Building code with cross-checks Building C code Building Rust code Cross-check configuration Running cross-checked programs Offli...