kaist-plrg / concratLinks
Concurrent-C to Rust Automatic Translator
☆15Updated 2 years ago
Alternatives and similar repositories for concrat
Users that are interested in concrat are comparing it to the libraries listed below
Sorting:
- Capability-based verifier for safe Rust clients of interior mutability☆13Updated last year
- ☆49Updated last week
- ☆61Updated 2 years ago
- ☆155Updated last year
- A randomized program fuzzer for the Rust programming language☆64Updated 2 years ago
- Apron Numerical Abstract Domain Library☆136Updated 6 months ago
- Interface with the rustc compiler for the purpose of program verification☆194Updated last week
- ☆13Updated 4 years ago
- RustHorn: A CHC-based automated verifier for Rust☆87Updated 6 months ago
- The CompCert formally-verified C compiler☆10Updated 2 weeks ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆115Updated this week
- A tool for synthesis of Rust code, very early prototype☆13Updated last year
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆24Updated this week
- A curated list of awesome Rust checkers☆50Updated 5 months ago
- A memory allocator verified with Verus☆23Updated 2 months ago
- ANTLR SMT-LIB v2 Grammar☆24Updated 3 years ago
- A framework for testing compilers' type checkers☆56Updated last year
- Lean models of Rust libraries☆20Updated last year
- A tool for auditing Rust crates☆21Updated last week
- language-agnostic program reducer.☆195Updated 3 months ago
- Thesis code☆26Updated 2 years ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 3 months ago
- ☆22Updated last month
- A community preview of ongoing formal verification efforts for Asterinas☆32Updated this week
- ☆20Updated 5 months ago
- High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus☆21Updated this week
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆26Updated 9 months ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆246Updated 11 months ago
- A Pointer Analysis Framework for Rust☆57Updated 3 months ago
- A fuzzing framework for SMT solvers☆193Updated 2 years ago