hidva / as2cfgLinks
Construct the CFG(Control Flow Graph) from intel assembly code
☆62Updated 2 years ago
Alternatives and similar repositories for as2cfg
Users that are interested in as2cfg are comparing it to the libraries listed below
Sorting:
- understanding the safety of Rust☆98Updated 5 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆62Updated 3 months ago
- 🚧 Build a SQL optimizer in 1000 lines of Rust using egg.☆80Updated 2 years ago
- 用Rust语言重写Linux kernel中的KVM☆16Updated 3 years ago
- record some trivialities☆53Updated last year
- Let's write an x86 hypervisor in Rust from scratch!☆158Updated last year
- A high performance LLVM-based dynamic binary instrumentation framework☆271Updated last year
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆38Updated 11 months ago
- SQL Fuzz Testing Utilities☆29Updated last year
- The cold linker☆72Updated last year
- A compiler of C subset by USTB OWL Wheel Lab.☆12Updated 2 years ago
- A Type-1.5 hypervisor written in Rust.☆65Updated last year
- 基于Rust语言的OS Kernel -- zCore☆19Updated 3 years ago
- ☆31Updated 3 years ago
- A randomized program fuzzer for the Rust programming language☆64Updated 2 years ago
- 数据库测试资料 This repo is a collection of resources on testing database systems☆168Updated last month
- clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…☆273Updated 3 years ago
- ChocoPy LLVM Repo☆76Updated 2 years ago
- Rcore Virtual Machine☆116Updated last year
- Some toy labs for compiler course☆58Updated 2 years ago
- 基于Rust和eBPF实现RDMA内核模块、驱动☆20Updated 3 years ago
- 🦀️ Operating System in 100% Pure Rust☆101Updated 4 years ago
- Detecting Logic Bugs in MySQL through Implication Oracle☆1Updated last year
- An RISC-V experimental OS☆25Updated last year
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆42Updated 2 years ago
- An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.☆48Updated 3 years ago
- Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22☆21Updated 4 months ago
- A toy C compiler that compatible with C23 and can do limited optimizations☆56Updated 8 months ago
- CSCD70 Compiler Optimization☆259Updated 2 years ago
- A Debuggable Kernel environment Plus a software collection☆61Updated 3 years ago