C2Rust Demonstration

<!DOCTYPE html> <html lang="en"> <head> <base target="_blank"> <meta charset="UTF-8"> <title>C2Rust Demonstration</title>  <link href="static/normalize.css" type="text/css" rel="stylesheet"> <link href="static/translate.css" type="text/css" rel="stylesheet" title="Default">  <script src="https://ajax.googleapis.com/ajax/libs/jquery/3.3.1/jquery.min.js"></script>  <script src="ace/ace.js"></script>  <script async src="https://www.googletagmanager.com/gtag/js?id=UA-121259931-1"></script> <script> window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} gtag('js', new Date()); gtag('config', 'UA-121259931-1'); </script> </head> <body> <header class="align-center flex-row-responsive-sm stuck"> <div class="fill justify-spaced align-center flex-row"> <figure id="logos"> <a href="https://galois.com"> <img src="static/galois.png" alt="Galois, Inc. Logo" class="centered-vert"></a> + <a href="https://immunant.com"> <img src="static/immunant.png" alt="Immunant, Inc. Logo" class="centered-vert"></a> </figure> <input type="checkbox" id="menu"> <label for="menu"> <img src="static/menu.svg" alt="Navigation menu icon" class="centered-vert"> </label> </div> <nav class="fill justify-end flex-row-responsive-sm"> <a href="https://github.com/immunant/c2rust">Download</a> <a href="manual">Manual</a> <a href="https://tools.galois.com/c2rust">Learn More</a> </nav> </header> <main> <h1>C2Rust Demonstration</h1> <div class="fill justify-spaced flex-row-responsive-md"> <div class="editor"> <div class="textedit"> <div class="editor-title">C source code</div> <div id="c" class="src">void insertion_sort(int const n, int * const p) { for (int i = 1; i < n; i++) { int const tmp = p[i]; int j = i; while (j > 0 && p[j-1] > tmp) { p[j] = p[j-1]; j--; } p[j] = tmp; } } </div> </div> <div class="justify-spaced flex-row"> <div class="align-center flex-row"> <button id="upload">Upload</button> <div class="spaced">or</div> <button id="load_sample">Load</button> <select id="sample_list"></select> </div> <button id="translate">Translate</button> </div> </div> <div class="editor"> <div class="textedit"> <div class="editor-title">Generated Rust source code</div> <div id="rust" class="src"></div> </div> <button id="download">Download</button> </div> </div> <p> The C2Rust project is being developed by <a href="https://galois.com">Galois</a> and <a href="https://immunant.com">Immunant</a>. This tool is able to translate most C modules into semantically equivalent <a href="https://www.rust-lang.org">Rust</a> code. These modules are intended to be compiled in isolation in order to produce compatible object files. We are developing several tools that help transform the initial Rust sources into idiomatic Rust. </p> <p> The translator focuses on supporting the C99 standard. C source code is parsed and typechecked using <a href="https://clang.llvm.org">clang</a> before being translated by our tool. </p> <p> This project is available under the <a href="https://github.com/immunant/c2rust/blob/master/LICENSE"> BSD-3 license</a>. </p> <h2 id="Environment">Environment</h2> <dl> <dt>Host environment</dt> <dd>The translator is running on <a href="http://releases.ubuntu.com/22.04/">Ubuntu 22.04.5 LTS</a> with x86_64 architecture. With this approach to translation details of the host system's libraries can be embedded in the translation. The generated C code might not link correctly on other platforms. </dd> <dt>Rust environment</dt> <dd>The generated code is currently targeting: <pre>nightly-2019-06-22</pre> </dd> </dl> <h2 id="Contact">Contact</h2> <p>To report issues with the transpiler or demo, please use our <a href="https://github.com/immunant/c2rust/issues">Issue Tracker</a>. <p>For more information, email us at <a href="mailto:info@c2rust.com">info@c2rust.com</a>. </main> <footer class="justify-center align-center flex-row"> Copyright © 2024 <a class="spaced" href="https://galois.com">Galois, Inc.</a> & <a class="spaced" href="https://immunant.com">Immunant, Inc.</a> </footer> <input type="file" id="uploadFile"> <script src="static/translate.js"></script> </body> </html>

CINXE.COM

C2Rust Demonstration