runtimeverification / mir-semanticsLinks
☆30Updated this week
Alternatives and similar repositories for mir-semantics
Users that are interested in mir-semantics are comparing it to the libraries listed below
Sorting:
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆60Updated 3 months ago
- ☆42Updated 4 months ago
- Regexp based tool for mutating generic source code across numerous languages☆147Updated last year
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆67Updated last year
- To make fuzzing Rust easy☆191Updated last week
- Static analysis framework for EVM bytecode☆31Updated 5 years ago
- Executable formal model of the EVM and Yul in Lean 4.☆63Updated last month
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆72Updated 2 years ago
- ☆20Updated 6 years ago
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆25Updated 9 months ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆78Updated this week
- A mutation-based tool for finding bugs in tests☆126Updated this week
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆107Updated 2 years ago
- Obsolete☆14Updated 2 years ago
- Tooling to shim libfuzzer <-> golang native fuzzing☆13Updated last year
- ☆62Updated 2 years ago
- Variation of american fuzzy lop for testing compilers☆124Updated 3 years ago
- SFI verifier of Wasm binaries☆83Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆43Updated last year
- An EVM interpreter in Dafny☆133Updated last year
- Formal verification of the zkWasm project☆15Updated last year
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆77Updated 3 weeks ago
- ☆18Updated 8 months ago
- Examples of Mastermind implemented in different ZK languages and frameworks.☆14Updated 7 months ago
- Interface with the rustc compiler for the purpose of program verification☆209Updated last week
- A Formal Semantics of WebAssembly in K☆83Updated last week
- A symbolic execution engine for EVM smart contract binaries.☆116Updated 2 months ago
- An open benchmark for evaluating smart contracts verification tools.☆16Updated last month
- ☆17Updated 3 years ago
- Solves systems of polynomial equations.☆29Updated 2 months ago