qsdrqs / sactorLinks
Structure-Aware C to Rust Translator
☆20Updated this week
Alternatives and similar repositories for sactor
Users that are interested in sactor are comparing it to the libraries listed below
Sorting:
- ☆23Updated 5 months ago
- A curated list of awesome Rust checkers☆50Updated 5 months ago
- Ownership analysis that helps translating C to Rust☆29Updated 3 weeks ago
- Rust Analysis Platform☆111Updated last week
- A additional Rust compiler pass to detect memory safe bugs of Rust programs.☆15Updated last year
- ☆155Updated last year
- A Pointer Analysis Framework for Rust☆57Updated 3 months ago
- A randomized program fuzzer for the Rust programming language☆64Updated 2 years ago
- ☆61Updated 2 years ago
- Trophy case for Rudra bugs.☆40Updated last year
- UB-free and deterministic rustc fuzzer☆91Updated 2 months ago
- ☆166Updated 6 months ago
- A fully automated Rust fuzz driver generator☆58Updated 3 months ago
- ☆34Updated 3 years ago
- language-agnostic program reducer.☆195Updated 3 months ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆93Updated last week
- Datasets and code for the CRUST-bench paper.☆30Updated this week
- Mental model for unsafe in Rust☆18Updated 7 months ago
- ☆33Updated 3 years ago
- ☆12Updated 2 years ago
- ☆47Updated 3 months ago
- The CompCert formally-verified C compiler☆10Updated 2 weeks ago
- A framework for writing plugins that integrate with the Rust compiler☆157Updated last week
- Library to analyze and collect metrics on source code☆346Updated last week
- Thesis code☆26Updated 2 years ago
- A points-to and alias analysis benchmark suite☆41Updated 7 years ago
- A native symbolic execution engine for WebAssembly☆49Updated last year
- ☆76Updated last year
- Simple grammar-based test case generator☆32Updated this week
- ☆49Updated last week