Alternatives and similar repositories for Dragon

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

• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆209Updated 2 months ago
• Xidian-ICTT-GZ / Academic_Blog
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆35Updated last month
• bluesadi / Tai-e-solutions
  My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html
  ☆51Updated 2 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…
  ☆16Updated 4 years ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆26Updated 5 months ago
• seclab-ucr / LLift
  The source code of project "LLift" (Enhancing static analysis with LLM)
  ☆71Updated last year
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆52Updated 4 months ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆108Updated 2 years ago
• cs161-staff / project2-starter-code
  Skeleton code for CS161 Project 2
  ☆1Updated 4 months ago
• SVF-tools / Software-Security-Analysis
  Static Analysis Course
  ☆67Updated this week
• CGCL-codes / MavenEcoSysResearch
  ☆45Updated last year
• sleepycoke / Mathematical_Logic_NJUCS
  南京大学计算机系数理逻辑课程资料
  ☆81Updated 5 years ago
• alg-nju / intro-disalg-course
  ☆97Updated 7 months ago
• dianqk / Tai-e-assignments-tips
  Tai-e assignments for static program analysis
  ☆31Updated 2 years ago
• stan6 / se-paper
  ☆74Updated 2 years ago
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆54Updated 2 months ago
• SVF-tools / SVF-Teaching
  Learning and Teaching Software Analysis and Verification via SVF
  ☆24Updated last year
• hzqmwne / Compilers
  SJTU SE302 编译原理与技术 Tiger编译器
  ☆43Updated 7 years ago
• lujiefsi / CrashTuner
  CrashTuner(SOSP2019)
  ☆30Updated 5 years ago
• RicoloveFeng / SPA-Freestyle-Guidance
  带你畅游《软件分析》
  ☆277Updated 2 years ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆17Updated 4 years ago
• DLFrameworkBug / DLFrameworkBugsData
  a data collection of related work: Toward Understanding Deep Learning Framework Bugs
  ☆15Updated last year
• cis547 / cis547vm
  ☆20Updated 3 months ago
• PKU-OS / pintos
  The pintos source distribution for PKU Operating System Course projects
  ☆49Updated 3 months ago
• pku-minic / compiler-dev-test-cases
  Local test cases for SysY compilers, used by compiler-dev.
  ☆23Updated 3 years ago
• matthewbdwyer / tipc
  A compiler from TIP to llvm bitcode
  ☆69Updated 6 months ago
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆38Updated last year
• chengpeng-wang / LLMSAN
  LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow (EMNLP Findings 2024)
  ☆73Updated last month
• chyyuu / compiler_course_info
  compiler course info
  ☆248Updated last year
• GeeeekExplorer / NJU-DisSys
  南京大学分布式系统Raft算法最简实现
  ☆35Updated 3 years ago