Alternatives and similar repositories for as2cfg:

Users that are interested in as2cfg are comparing it to the libraries listed below

• oscomp / proj178-kvm-in-rust
  用Rust语言重写Linux kernel中的KVM
  ☆16Updated 2 years ago
• jiegec / cold
  The cold linker
  ☆70Updated 9 months ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆32Updated 6 months ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆55Updated last month
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆60Updated 10 months ago
• oscomp / proj148-RDMA-Driver-Rust-eBPF
  基于Rust和eBPF实现RDMA内核模块、驱动
  ☆20Updated 3 years ago
• andygrove / sqlfuzz
  SQL Fuzz Testing Utilities
  ☆29Updated last year
• MashPlant / lalr1
  An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.
  ☆49Updated 3 years ago
• system-pclub / rust-study
  understanding the safety of Rust
  ☆98Updated 4 years ago
• JZuming / TxCheck
  A fuzzing framework for finding transactional bugs in DBMSs
  ☆52Updated last year
• imtsuki / xv7
  🦀️ Operating System in 100% Pure Rust
  ☆100Updated 3 years ago
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆56Updated 3 years ago
• risinglightdb / sql-optimizer-labs
  🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
  ☆77Updated 2 years ago
• ShawnZhong / MadFS
  Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”
  ☆39Updated 2 years ago
• oscomp / proj9-zcore
  基于Rust语言的OS Kernel -- zCore
  ☆18Updated 3 years ago
• SJTU-IPADS / vegito
  ☆52Updated last year
• SHTUSIST / AisLSM
  ☆12Updated 10 months ago
• chyyuu / rcoresbs_doc
  ☆10Updated 5 years ago
• ShaoxunZeng / DKernel-Plus
  A Debuggable Kernel environment Plus a software collection
  ☆62Updated 3 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆32Updated this week
• mrdrivingduck / paper-outline
  🔍 To record the papers I have read.
  ☆25Updated 3 years ago
• rcore-os / RVM
  Rcore Virtual Machine
  ☆114Updated last year
• Veeupup / naive-query-engine
  A Toy Query Engine & SQL interface
  ☆65Updated 2 years ago
• ustb-owl / Lava
  A compiler of C subset by USTB OWL Wheel Lab.
  ☆12Updated 2 years ago
• js2xxx / umi
  An RISC-V experimental OS
  ☆25Updated last year
• rsy56640 / triviality
  record some trivialities
  ☆52Updated last year
• topling / topling-zip
  A data structure and algorithm library built for ToplingDB
  ☆57Updated 4 months ago
• libbpf / blazesym
  blazesym is a library for address symbolization and related tasks
  ☆157Updated this week
• olivierpierre / unikernel-papers
  ☆114Updated 2 months ago
• qaqcatz / impomysql
  Detecting Logic Bugs in MySQL through Implication Oracle
  ☆15Updated last year