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:
- ☆48Updated last month
- Capability-based verifier for safe Rust clients of interior mutability☆13Updated last year
- ☆157Updated last year
- ☆61Updated 2 years ago
- Apron Numerical Abstract Domain Library☆137Updated 7 months ago
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆24Updated this week
- Program analysis and verification framework☆30Updated last week
- A fuzzing framework for SMT solvers☆193Updated 2 years ago
- A curated list of awesome Rust checkers☆51Updated 6 months ago
- Ownership analysis that helps translating C to Rust☆31Updated last week
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 3 months ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆246Updated last year
- A tool for synthesis of Rust code, very early prototype☆13Updated last year
- ☆20Updated 6 months ago
- The ISLa (Input Specification Language) language & solver.☆71Updated last year
- A randomized program fuzzer for the Rust programming language☆65Updated 2 years ago
- Interface with the rustc compiler for the purpose of program verification☆200Updated last week
- The CompCert formally-verified C compiler☆10Updated this week
- PL/SE conference deadline countdowns☆19Updated 4 years ago
- RustHorn: A CHC-based automated verifier for Rust☆87Updated 7 months ago
- ☆23Updated 3 weeks ago
- A framework for large scale analysis of the Rust ecosystem.☆38Updated last week
- A Pointer Analysis Framework for Rust☆58Updated 4 months ago
- ANTLR SMT-LIB v2 Grammar☆24Updated 3 years ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆117Updated this week
- ☆34Updated 2 months ago
- ☆22Updated 5 years ago
- The Eldarica model checker☆94Updated last month
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- Thesis code☆26Updated 2 years ago