microsoft / verus-copilot-vscodeLinks
☆16Updated 2 weeks ago
Alternatives and similar repositories for verus-copilot-vscode
Users that are interested in verus-copilot-vscode are comparing it to the libraries listed below
Sorting:
- ☆55Updated last month
- A randomized program fuzzer for the Rust programming language☆65Updated 2 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Updated 9 months ago
- An Opinionated Formatter for Verus☆14Updated 2 weeks ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Updated last month
- ☆62Updated 2 years ago
- ☆24Updated 2 months ago
- A high-performance, parallel, compilation-based symbolic execution engine☆143Updated this week
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆27Updated last month
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆29Updated 11 months ago
- language-agnostic program reducer.☆199Updated 2 weeks ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆80Updated this week
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆54Updated last year
- The CompCert formally-verified C compiler☆10Updated this week
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆32Updated 2 years ago
- Language models for Coq based on data collected from the coq lsp.☆22Updated 4 months ago
- Simple grammar-based test case generator☆34Updated last week
- A native symbolic execution engine for WebAssembly☆49Updated last year
- Public-facing course info for program analysis materials.☆43Updated 2 weeks ago
- ☆36Updated 4 months ago
- A Pointer Analysis Framework for Rust☆62Updated 6 months ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆125Updated last week
- SymDiff-Differential-Program-Verifier☆38Updated 4 months ago
- The ISLa (Input Specification Language) language & solver.☆72Updated last year
- A practical fuzzing tool for SMT solvers☆11Updated 3 weeks ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆55Updated 6 months ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 5 years ago
- Most influential papers in programming languages☆58Updated 11 months ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆60Updated 4 months ago
- Capability-based verifier for safe Rust clients of interior mutability☆13Updated last year