Alternatives and similar repositories for as2cfg

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

• bigconvience / llvm-ir-in-action
  ☆31Updated 3 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆37Updated 10 months ago
• ustb-owl / Lava
  A compiler of C subset by USTB OWL Wheel Lab.
  ☆12Updated 2 years ago
• system-pclub / rust-study
  understanding the safety of Rust
  ☆97Updated 5 years ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 5 years ago
• aengelke / instrew
  A high performance LLVM-based dynamic binary instrumentation framework
  ☆267Updated last year
• lijiansong / clang-llvm-tutorial
  clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…
  ☆272Updated 3 years ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆60Updated 2 months ago
• oscomp / proj178-kvm-in-rust
  用Rust语言重写Linux kernel中的KVM
  ☆16Updated 3 years ago
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆76Updated 2 years ago
• oscomp / proj148-RDMA-Driver-Rust-eBPF
  基于Rust和eBPF实现RDMA内核模块、驱动
  ☆20Updated 3 years ago
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆64Updated last year
• flexible-address-space / flexspace
  Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22
  ☆21Updated 4 months ago
• JZuming / TxCheck
  A fuzzing framework for finding transactional bugs in DBMSs
  ☆52Updated 2 years ago
• imtsuki / xv7
  🦀️ Operating System in 100% Pure Rust
  ☆101Updated 4 years ago
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆29Updated 3 years ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆144Updated 5 months ago
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆55Updated 4 years ago
• chyyuu / compiler_lab
  Some toy labs for compiler course
  ☆58Updated 2 years ago
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆36Updated 2 months ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆110Updated 2 years ago
• Multi-V-VM / MVVM
  Heterogeneous Containerization of Large Language Model Apps
  ☆45Updated last month
• s3team / Squirrel
  ☆196Updated 2 years ago
• js2xxx / umi
  An RISC-V experimental OS
  ☆25Updated last year
• risinglightdb / sql-optimizer-labs
  🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
  ☆80Updated 2 years ago
• rsy56640 / triviality
  record some trivialities
  ☆53Updated last year
• MashPlant / lalr1
  An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.
  ☆48Updated 3 years ago
• andygrove / sqlfuzz
  SQL Fuzz Testing Utilities
  ☆29Updated last year
• oscomp / proj9-zcore
  基于Rust语言的OS Kernel -- zCore
  ☆19Updated 3 years ago
• UofT-EcoSystem / CSCD70
  CSCD70 Compiler Optimization
  ☆256Updated 2 years ago