hidva / as2cfg
Construct the CFG(Control Flow Graph) from intel assembly code
☆56Updated last year
Related projects ⓘ
Alternatives and complementary repositories for as2cfg
- understanding the safety of Rust☆94Updated 4 years ago
- SQL Fuzz Testing Utilities☆28Updated 10 months ago
- 用Rust语言重写Linux kernel中的KVM☆16Updated 2 years ago
- A fuzzing framework for finding transactional bugs in DBMSs☆49Updated last year
- A Type-1.5 hypervisor written in Rust.☆54Updated 6 months ago
- A randomized program fuzzer for the Rust programming language☆60Updated last year
- ☆10Updated 5 months ago
- 🚧 Build a SQL optimizer in 1000 lines of Rust using egg.☆73Updated last year
- TSVD is a tool for quickly finding thread-safety violations (e.g., data races) in .NET applications.☆79Updated last year
- The cold linker☆67Updated 5 months ago
- The codebase for DBSim☆15Updated last year
- 🦀️ Operating System in 100% Pure Rust☆101Updated 3 years ago
- ☆48Updated 2 years ago
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆34Updated last year
- ☆51Updated last year
- Deprecated! Use qemu-rs instead :)☆72Updated 10 months ago
- Loupe: Syscall Usage Analysis Tool☆25Updated last month
- DMon Prototype for OSDI 2021 Artifact Evaluation☆21Updated 3 years ago
- Coveraged-based fuzzer for finding DBMS logical bugs☆48Updated 2 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆137Updated 3 months ago
- Concurrency Paper☆94Updated last year
- An x86-64 kernel with ~100% Rust (originally) in a week. `async` inside!☆53Updated 2 years ago
- An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.☆49Updated 2 years ago
- eBPF developer tutorials to build CO-RE libbpf tools：generated by chatGPT and teach chatGPT to write eBPF programs! ( eBPF 工具开发实践教程: 通过例…☆17Updated last month
- Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22☆21Updated 5 months ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆51Updated 3 years ago
- ☆107Updated this week
- ☆64Updated 8 months ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆48Updated last month
- Nautilus is a lightweight tracing JIT compiler for C++☆14Updated last week
- ☆42Updated 2 years ago