KomaEc / crownLinks
Ownership analysis that helps translating C to Rust
☆31Updated last week
Alternatives and similar repositories for crown
Users that are interested in crown are comparing it to the libraries listed below
Sorting:
- A curated list of awesome Rust checkers☆51Updated 6 months ago
- ☆157Updated last year
- automatially find crashes in the rust compiler & tooling☆79Updated last year
- UB-free and deterministic rustc fuzzer☆90Updated 3 months ago
- ☆174Updated 7 months ago
- Rust Analysis Platform☆117Updated this week
- A framework for writing plugins that integrate with the Rust compiler☆160Updated 3 weeks ago
- Trophy case for Rudra bugs.☆40Updated last year
- ☆61Updated 2 years ago
- ☆47Updated 3 months ago
- ☆76Updated last year
- Define compiler intermediate representation usable by external tools☆87Updated last month
- Mental model for unsafe in Rust☆18Updated 8 months ago
- A framework for large scale analysis of the Rust ecosystem.☆38Updated last week
- A tool for synthesis of Rust code, very early prototype☆13Updated last year
- Interface with the rustc compiler for the purpose of program verification☆200Updated last week
- A tool for auditing Rust crates☆21Updated last week
- setup for fuzzing the Rust compiler☆59Updated 7 months ago
- Concurrent-C to Rust Automatic Translator☆15Updated 2 years ago
- Rust bindings and utilities for LLVM’s libFuzzer☆240Updated 3 months ago
- ☆25Updated 5 months ago
- A community preview of ongoing formal verification efforts for Asterinas☆35Updated this week
- Safe Interactions with Foreign Languages through Omniglot☆43Updated 3 months ago
- Verifying the Rust standard library☆296Updated last week
- 📖 Guides and tutorials on how to fuzz Rust code☆147Updated 3 weeks ago
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆119Updated this week
- Creating a minimal ELF file☆119Updated 5 months ago
- Callgraph generation for rust project☆75Updated 3 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆275Updated 3 years ago