hidva / as2cfgLinks
Construct the CFG(Control Flow Graph) from intel assembly code
☆63Updated 3 years ago
Alternatives and similar repositories for as2cfg
Users that are interested in as2cfg are comparing it to the libraries listed below
Sorting:
- record some trivialities☆53Updated last year
- understanding the safety of Rust☆99Updated 5 years ago
- 用Rust语言重写Linux kernel中的KVM☆16Updated 3 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆63Updated 7 months ago
- 基于Rust和eBPF实现RDMA内核模块、驱动☆20Updated 3 years ago
- The cold linker☆71Updated last year
- 基于Rust语言的OS Kernel -- zCore☆19Updated 3 years ago
- A verified library of synchronization primitives and concurrent data structures☆39Updated 3 months ago
- ☆30Updated 3 years ago
- A high performance LLVM-based dynamic binary instrumentation framework☆280Updated last year
- 🦀️ Operating System in 100% Pure Rust☆102Updated 4 years ago
- ChocoPy LLVM Repo☆77Updated 3 years ago
- 🚧 Build a SQL optimizer in 1000 lines of Rust using egg.☆84Updated 2 years ago
- Linux io_uring based c++ 20 coroutine library☆28Updated 3 years ago
- clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…☆276Updated 3 years ago
- 基于eBPF实现高性能用户态文件系统功能☆14Updated 7 months ago
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆45Updated 2 years ago
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆16Updated 6 months ago
- A randomized program fuzzer for the Rust programming language☆65Updated 2 years ago
- A compiler of C subset by USTB OWL Wheel Lab.☆13Updated 2 years ago
- A step-by-step tutorial for building an LLVM sample pass☆221Updated 5 years ago
- CSCD70 Compiler Optimization☆260Updated 2 years ago
- An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.☆49Updated 3 years ago
- ☆58Updated last year
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆49Updated last year
- ☆52Updated 3 years ago
- ☆13Updated last year
- A Type-1.5 hypervisor written in Rust.☆69Updated last year
- Rcore Virtual Machine☆114Updated last year
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 8 years ago