prosyslab-classroom/cs524-program-analysis external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

prosyslab-classroom/cs524-program-analysis

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/prosyslab-classroom/cs524-program-analysis)

Close

prosyslab-classroom / cs524-program-analysisView on GitHubMore

• External links
• Readme badge

☆71Mar 19, 2026Updated this week

Alternatives and similar repositories for cs524-program-analysis

Users that are interested in cs524-program-analysis are comparing it to the libraries listed below

• prosyslab-classroom / cs424-program-reasoning

  View on GitHub
  ☆56Mar 8, 2026Updated 2 weeks ago
• hongseok-yang / logic21

  View on GitHub
  ☆22Jun 18, 2021Updated 4 years ago
• hongseok-yang / logic23

  View on GitHub
  ☆17May 29, 2023Updated 2 years ago
• prosyslab-classroom / cs348-information-security

  View on GitHub
  ☆81Mar 2, 2026Updated 2 weeks ago
• kaist-cp / memento

  View on GitHub
  Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)
  ☆19Apr 27, 2023Updated 2 years ago
• kaist-cp / cs220

  View on GitHub
  ☆297Nov 27, 2024Updated last year
• hongseok-yang / logic24

  View on GitHub
  ☆12May 30, 2024Updated last year
• program-repair-project / bug-localizer

  View on GitHub
  ☆14Jan 8, 2023Updated 3 years ago
• program-repair-project / bugfixer-testbench

  View on GitHub
  ☆14Jan 13, 2023Updated 3 years ago
• hongseok-yang / graduatePL25

  View on GitHub
  ☆17Nov 10, 2025Updated 4 months ago
• kaist-cp / kecc-public

  View on GitHub
  KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!
  ☆179Jun 13, 2025Updated 9 months ago
• prosyslab / pl-wiki

  View on GitHub
  ☆48Nov 25, 2025Updated 3 months ago
• prosyslab / DAFL

  View on GitHub
  american fuzzy lop - a security-oriented fuzzer
  ☆11Feb 25, 2026Updated 3 weeks ago
• kaist-cp / cs420

  View on GitHub
  KAIST CS420: Compiler Design
  ☆557Apr 3, 2025Updated 11 months ago
• hongseok-yang / graduatePL23

  View on GitHub
  ☆19Nov 5, 2023Updated 2 years ago
• prosyslab-classroom / is661-advanced-software-security

  View on GitHub
  ☆11Jun 14, 2024Updated last year
• kaist-cp / cs431

  View on GitHub
  ☆1,482Aug 8, 2025Updated 7 months ago
• prosyslab-classroom / is593-language-based-security

  View on GitHub
  ☆28Aug 14, 2023Updated 2 years ago
• swtv-kaist / MUSIC

  View on GitHub
  MUSIC: MUtation analySIs tool with High Configurability and Extensibility
  ☆18Aug 4, 2023Updated 2 years ago
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• kaist-cp / shakeflow

  View on GitHub
  ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)
  ☆57Jan 23, 2025Updated last year
• hongseok-yang / graduatePL24

  View on GitHub
  ☆11Nov 23, 2024Updated last year
• kaist-cp / smr-benchmark

  View on GitHub
  SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
  ☆46Aug 12, 2025Updated 7 months ago
• hongseok-yang / graduatePL19

  View on GitHub
  ☆19Dec 13, 2019Updated 6 years ago
• casys-kaist / kev

  View on GitHub
  KAIST Educational Virtualization
  ☆16Mar 6, 2026Updated 2 weeks ago
• hongseok-yang / probprog20

  View on GitHub
  ☆35Jun 21, 2020Updated 5 years ago
• c-oberle / clone-detection-tools

  View on GitHub
  Overview of Clone Detection Tools for Java
  ☆14Aug 23, 2025Updated 6 months ago
• kaist-cp / rv6

  View on GitHub
  ☆135Apr 3, 2023Updated 2 years ago
• dongjaelee1 / refinement-tutorial

  View on GitHub
  Tutorial for refinement based verification
  ☆15Jan 16, 2026Updated 2 months ago
• coinse / pyggi

  View on GitHub
  Python General Framework for Genetic Improvement [Version 2]
  ☆30Nov 28, 2023Updated 2 years ago
• JUnitContest / JUGE

  View on GitHub
  junit tools contest infrastructure
  ☆13Feb 9, 2024Updated 2 years ago
• hongseok-yang / graduatePL18

  View on GitHub
  ☆67Dec 11, 2018Updated 7 years ago
• hyn2028 / kecc-ir-highlight

  View on GitHub
  Support for language highlighting of KECC(KAIST Educational C Compiler) IR
  ☆12May 17, 2022Updated 3 years ago
• WSP-LAB / DiffCSP

  View on GitHub
  DiffCSP: Finding Browser Bugs in Content Security Policy Enforcement through Differential Testing
  ☆15Feb 27, 2023Updated 3 years ago
• zhemao / riscv-dma

  View on GitHub
  A DMA Controller for RISCV CPUs
  ☆13Aug 10, 2015Updated 10 years ago
• DFC-2021-DogeCoin / WriteUp

  View on GitHub
  KIISC Digital Forensics Challenge 2021 - DogeCoin's WriteUp
  ☆17Dec 1, 2022Updated 3 years ago
• cedricrupb / TSSB3M

  View on GitHub
  Mining tool and large-scale datasets of single statement bug fixes in Python
  ☆19Nov 29, 2023Updated 2 years ago
• icgrp / pld2022

  View on GitHub
  ☆16Oct 25, 2022Updated 3 years ago
• simnalamburt / snucse.pl

  View on GitHub
  4190.310 Programming Languages (Fall 2015)
  ☆36Sep 28, 2017Updated 8 years ago