Alternatives and similar repositories for Dragon:

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

• bluesadi / Tai-e-solutions
  My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html
  ☆50Updated 2 years ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆102Updated last year
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆17Updated 4 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆35Updated 7 months ago
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆52Updated 3 weeks ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆26Updated 3 months ago
• seclab-ucr / LLift
  The source code of project "LLift" (Enhancing static analysis with LLM)
  ☆68Updated last year
• WilliamX1 / tiger-compiler
  tiger compiler reference to Modern Compiler Implementation in C (Tiger Book).
  ☆47Updated 3 years ago
• GeeeekExplorer / NJU-DisSys
  南京大学分布式系统Raft算法最简实现
  ☆35Updated 3 years ago
• ZJU-SEC / Readings
  ☆61Updated 2 years ago
• lujiefsi / CrashTuner
  CrashTuner(SOSP2019)
  ☆30Updated 5 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆205Updated 3 weeks ago
• shootfirst / CS143
  斯坦福2022春季编译原理实验
  ☆20Updated 2 years ago
• matthewbdwyer / tipc
  A compiler from TIP to llvm bitcode
  ☆68Updated 4 months ago
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated 11 months ago
• Anarion-zuo / Stanford-CS143
  ☆55Updated 4 years ago
• AceSrc / GiantSan-Artifact
  ☆10Updated last year
• JZuming / EET
  Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
  ☆37Updated 4 months ago
• JZuming / TxCheck
  A fuzzing framework for finding transactional bugs in DBMSs
  ☆52Updated last year
• xlab-uiuc / reading-system-verification-papers
  A reading group for system verification papers
  ☆10Updated last year
• sxtyzhangzk / MxCompiler
  A Mx-language compiler focused on backend optimization (Compiler Project of ACM class @ SJTU)
  ☆9Updated 5 years ago
• chenyxuan / PintOS
  system 2019 project
  ☆14Updated 4 years ago
• skyzluo / CS143-Compilers-Stanford
  My solutions to the programming assignments of the Stanford Compiler course.
  ☆364Updated 10 years ago
• wierton / ncc-tools
  A naive interpreter for IR of NJU compiler principle lab3, to accelerate interpretation, the ir will be compiled to machine-friendly bina…
  ☆15Updated 4 years ago
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆55Updated 4 months ago
• ddaa2000 / GDsmith
  ☆13Updated 7 months ago
• cis547 / cis547vm
  ☆19Updated last month
• secure-software-engineering / PointerBench
  A points-to and alias analysis benchmark suite
  ☆40Updated 6 years ago
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆50Updated 2 months ago
• april1989 / Incremental_Points_to_Analysis
  This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA
  ☆24Updated 2 years ago