yijunyu / crustsLinks
☆12Updated 2 years ago
Alternatives and similar repositories for crusts
Users that are interested in crusts are comparing it to the libraries listed below
Sorting:
- language-agnostic program reducer.☆195Updated 3 months ago
- A randomized program fuzzer for the Rust programming language☆64Updated 2 years ago
- ☆23Updated 5 months ago
- ☆49Updated last week
- Dynamic detection of likely invariants☆236Updated last week
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆246Updated 11 months ago
- ☆155Updated last year
- Concurrent-C to Rust Automatic Translator☆15Updated 2 years ago
- Thesis code☆26Updated 2 years ago
- The efficient SMT-based context-bounded model checker (ESBMC)☆382Updated this week
- A framework for testing compilers' type checkers☆56Updated last year
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆93Updated last week
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆26Updated 9 months ago
- Capability-based verifier for safe Rust clients of interior mutability☆13Updated last year
- Datasets and code for the CRUST-bench paper.☆30Updated this week
- ☆61Updated 2 years ago
- RustHorn: A CHC-based automated verifier for Rust☆87Updated 6 months ago
- Teaching and Learning Software Verification via SVF☆34Updated 2 months ago
- Rewrite Rule Inference Using Equality Saturation☆137Updated 3 months ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆47Updated last month
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆270Updated 2 weeks ago
- KeY Theorem Prover for Deductive Java Verification☆64Updated this week
- Ownership analysis that helps translating C to Rust☆29Updated 3 weeks ago
- Generic model checker for concurrent C programs (mirror repository)☆155Updated last month
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆72Updated 10 months ago
- A curated list of awesome Rust checkers☆50Updated 5 months ago
- A framework for large scale analysis of the Rust ecosystem.☆38Updated this week
- The ISLa (Input Specification Language) language & solver.☆71Updated last year
- A Pointer Analysis Framework for Rust☆57Updated 3 months ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆18Updated 2 years ago