☆39Mar 20, 2026Updated 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:
- ethdebug.py is a debugger-side implementation of the EthDebug format☆15Mar 12, 2026Updated last week
- ☆36Jul 4, 2025Updated 8 months ago
- A Pointer Analysis Framework for Rust☆67Jun 17, 2025Updated 9 months ago
- Foundry blog posts' executable demos☆14Apr 30, 2025Updated 10 months ago
- ☆109Mar 13, 2026Updated last week
- A fully automated Rust fuzz driver generator☆62Jun 17, 2025Updated 9 months ago
- ☆13Feb 16, 2024Updated 2 years ago
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆20Jul 4, 2024Updated last year
- ☆26Nov 26, 2025Updated 3 months ago
- ☆12Feb 3, 2025Updated last year
- ☆11Mar 3, 2025Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Mar 1, 2025Updated last year
- A fintech app☆10Feb 10, 2024Updated 2 years ago
- A book about datalog☆12Nov 26, 2022Updated 3 years ago
- ☆75Feb 27, 2024Updated 2 years ago
- Text of my bachelor thesis on Extracting Information from Database Modeling Tools☆15May 21, 2019Updated 6 years ago
- 一个中文版本的 LibAFL 笔记,主要内容是 LibAFL 原理相关的内容,同时也附加一些 LibAFL 使用方面的 tips ,方便查阅和参考。☆36Nov 22, 2023Updated 2 years ago
- ar-go-tools (Argot) is a collection of analysis tools for Go☆45Updated this week
- LibAFLGo: Evaluating and Advancing Directed Greybox Fuzzing☆25Mar 4, 2026Updated 2 weeks ago
- ☆22Feb 19, 2026Updated last month
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- ☆12Nov 2, 2022Updated 3 years ago
- The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …☆41Jul 7, 2025Updated 8 months ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- The autofix.ci website.☆26Mar 2, 2026Updated 2 weeks ago
- A Pub/Sub library for Rust backed by Postgres☆17Oct 3, 2023Updated 2 years ago
- 对 Rust 编写的代码运行一系列检查工具,并对结果进行报告和统计☆64Dec 27, 2025Updated 2 months ago
- ☆23Nov 12, 2024Updated last year
- A study of undefined behavior across foreign function boundaries in Rust libraries.☆11Feb 13, 2025Updated last year
- Translating WebAssembly into the most simple LLVM IR.☆14Jan 6, 2026Updated 2 months ago
- ☆11Jun 24, 2024Updated last year
- As dev or end user, if you keep looking for the right endpoint for your Polkadot/Substrate blockchain, `subrpc` will make your life much …☆14Feb 11, 2025Updated last year
- Analyzer for Uniswap v4 Hooks☆11Mar 4, 2024Updated 2 years ago
- ☆19Jan 31, 2023Updated 3 years ago
- ☆202Mar 4, 2025Updated last year
- Wrapper functions over the liquid-staking-program main stake/unstake functions. Allows referrals from partners providing Marinade liquid-…☆15Oct 26, 2022Updated 3 years ago
- Experimental MLIR based points-to analysis tool☆18Jan 21, 2026Updated 2 months ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago