Alternatives and similar repositories for as2cfg

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

• system-pclub / rust-study
  understanding the safety of Rust
  ☆98Updated 5 years ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 5 years ago
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆62Updated last year
• oscomp / proj178-kvm-in-rust
  用Rust语言重写Linux kernel中的KVM
  ☆16Updated 3 years ago
• risinglightdb / sql-optimizer-labs
  🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
  ☆80Updated 2 years ago
• bigconvience / llvm-ir-in-action
  ☆30Updated 3 years ago
• andygrove / sqlfuzz
  SQL Fuzz Testing Utilities
  ☆29Updated last year
• ShawnZhong / MadFS
  Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”
  ☆39Updated 2 years ago
• rcore-os / RVM
  Rcore Virtual Machine
  ☆114Updated last year
• chyyuu / rcoresbs_doc
  ☆10Updated 5 years ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆57Updated last week
• jiegec / cold
  The cold linker
  ☆70Updated 11 months ago
• js2xxx / umi
  An RISC-V experimental OS
  ☆25Updated last year
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆106Updated last year
• sslab-gatech / libmpk
  ☆49Updated 3 years ago
• aengelke / instrew
  A high performance LLVM-based dynamic binary instrumentation framework
  ☆262Updated 11 months ago
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆56Updated 3 years ago
• ustb-owl / Lava
  A compiler of C subset by USTB OWL Wheel Lab.
  ☆12Updated 2 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆36Updated 8 months ago
• urcs-sync / Montage
  Montage is a system for building fast buffered persistent data structures on nonvolatile memory.
  ☆15Updated 2 years ago
• JZuming / TxCheck
  A fuzzing framework for finding transactional bugs in DBMSs
  ☆52Updated last year
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆124Updated 3 years ago
• SHTUSIST / AisLSM
  ☆12Updated 11 months ago
• equation314 / nimbos
  An experimental RTOS written in Rust.
  ☆36Updated 2 years ago
• sfu-dis / bztree
  An open-source BzTree implementation
  ☆92Updated 3 years ago
• rs3lab / TCLocks
  Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"
  ☆16Updated 6 months ago
• OSUSysLab / wPerf
  ☆53Updated 4 years ago
• mrdrivingduck / paper-outline
  🔍 To record the papers I have read.
  ☆25Updated 3 years ago
• lijiansong / clang-llvm-tutorial
  clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…
  ☆270Updated 3 years ago