runtimeverification / mir-semanticsLinks
☆27Updated 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:
- ☆41Updated 2 months ago
- Static analysis framework for EVM bytecode☆31Updated 5 years ago
- 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
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆25Updated 7 months ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆70Updated 2 years ago
- ☆20Updated 5 years ago
- Regexp based tool for mutating generic source code across numerous languages☆145Updated last year
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆58Updated last month
- Executable formal model of the EVM and Yul in Lean 4.☆59Updated this week
- To make fuzzing Rust easy☆188Updated this week
- Obsolete☆14Updated 2 years ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆77Updated last week
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆107Updated 2 years ago
- ☆15Updated 3 years ago
- ☆61Updated 2 years ago
- An EVM interpreter in Dafny☆131Updated 11 months ago
- SFI verifier of Wasm binaries☆82Updated 2 years ago
- Formal verification of the zkWasm project☆14Updated last year
- Greybox Fuzzing of Distributed Systems (CCS'23)☆52Updated last year
- Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited☆25Updated 4 years ago
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆37Updated 3 years ago
- Variation of american fuzzy lop for testing compilers☆123Updated 3 years ago
- ZK Circuit Fuzzer (IEEE S&P'26)☆25Updated last week
- Automated verification of uniqueness property for ZKP circuits☆42Updated last year
- A mutation-based tool for finding bugs in tests☆124Updated last week
- Find the ideal fuzz targets in a Rust codebase☆218Updated this week
- Examples of Mastermind implemented in different ZK languages and frameworks.☆13Updated 6 months ago
- Tooling to shim libfuzzer <-> golang native fuzzing☆13Updated last year
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆62Updated last year
- Solves systems of polynomial equations.☆29Updated 2 weeks ago