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 3 years ago
• system-pclub / rust-study
  understanding the safety of Rust
  ☆98Updated 5 years ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆62Updated 4 months ago
• jiegec / cold
  The cold linker
  ☆72Updated last year
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆76Updated 2 years ago
• sekirio-rs / Kuro
  Linux io_uring based c++ 20 coroutine library
  ☆29Updated 3 years ago
• ustb-owl / Lava
  A compiler of C subset by USTB OWL Wheel Lab.
  ☆13Updated 2 years ago
• MashPlant / lalr1
  An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.
  ☆48Updated 3 years ago
• rsy56640 / triviality
  record some trivialities
  ☆53Updated last year
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆64Updated 2 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆37Updated last year
• aengelke / instrew
  A high performance LLVM-based dynamic binary instrumentation framework
  ☆272Updated last year
• risinglightdb / sql-optimizer-labs
  🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
  ☆81Updated 2 years ago
• bwickman97 / ffmalloc
  ☆52Updated 3 years ago
• abenkhadra / llvm-pass-tutorial
  A step-by-step tutorial for building an LLVM sample pass
  ☆217Updated 5 years ago
• andygrove / sqlfuzz
  SQL Fuzz Testing Utilities
  ☆29Updated last year
• rcore-os / RVM
  Rcore Virtual Machine
  ☆117Updated last year
• ShawnZhong / MadFS
  Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”
  ☆43Updated 2 years ago
• imtsuki / xv7
  🦀️ Operating System in 100% Pure Rust
  ☆101Updated 4 years ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆144Updated 7 months ago
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆67Updated last year
• oscomp / proj9-zcore
  基于Rust语言的OS Kernel -- zCore
  ☆19Updated 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…
  ☆273Updated 3 years ago
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆55Updated 4 years ago
• ShaoxunZeng / DKernel-Plus
  A Debuggable Kernel environment Plus a software collection
  ☆61Updated 3 years ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆110Updated 2 years ago
• js2xxx / umi
  An RISC-V experimental OS
  ☆25Updated last year
• equation314 / RVM-Tutorial
  Let's write an x86 hypervisor in Rust from scratch!
  ☆159Updated last year
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆29Updated 3 years ago
• UofT-EcoSystem / CSCD70
  CSCD70 Compiler Optimization
  ☆258Updated 2 years ago