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
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆108Updated 2 years ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆59Updated last month
• bigconvience / llvm-ir-in-action
  ☆31Updated 3 years ago
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 3 years ago
• aengelke / instrew
  A high performance LLVM-based dynamic binary instrumentation framework
  ☆265Updated 11 months ago
• sfu-dis / bztree
  An open-source BzTree implementation
  ☆92Updated 3 years ago
• sslab-gatech / libmpk
  ☆49Updated 3 years ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆144Updated 4 months ago
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆65Updated last year
• flexible-address-space / flexspace
  Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22
  ☆21Updated 2 months ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 5 years ago
• MashPlant / lalr1
  An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.
  ☆48Updated 3 years ago
• jiegec / cold
  The cold linker
  ☆70Updated 11 months ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆37Updated 9 months ago
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆165Updated 11 months ago
• ShawnZhong / MadFS
  Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”
  ☆39Updated 2 years ago
• JZuming / TxCheck
  A fuzzing framework for finding transactional bugs in DBMSs
  ☆52Updated 2 years ago
• thu-pacman / Spindle
  ☆32Updated last year
• oscomp / proj178-kvm-in-rust
  用Rust语言重写Linux kernel中的KVM
  ☆16Updated 3 years ago
• microsoft / TSVD
  TSVD is a tool for quickly finding thread-safety violations (e.g., data races) in .NET applications.
  ☆80Updated last year
• SanRazor-repo / SanRazor
  SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.
  ☆53Updated 4 years ago
• wcphkust / tutorialpass
  LLVM pass
  ☆23Updated 4 years ago
• SVF-tools / Simplified-STL
  A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation
  ☆11Updated 2 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…
  ☆271Updated 3 years ago
• LLNL / umap
  User-space Page Management
  ☆107Updated 9 months ago
• jiezhoucs / must-read
  Lists of must-read papers (mainly security papers)
  ☆30Updated 8 months ago
• dtcxzyw / llvm-apr-benchmark
  A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs
  ☆12Updated last week
• dtcxzyw / llvm-opt-benchmark
  An LLVM IR dataset for data-driven compiler optimization research
  ☆45Updated this week
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆56Updated 3 years ago