prosyslab-classroom/is661-advanced-software-security 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/is661-advanced-software-security

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/is661-advanced-software-security)

Close

prosyslab-classroom / is661-advanced-software-securityView on GitHubMore

• External links
• Readme badge

☆11Jun 14, 2024Updated last year

Alternatives and similar repositories for is661-advanced-software-security

Users that are interested in is661-advanced-software-security are comparing it to the libraries listed below

• program-repair-project / bugfixer-testbench

  View on GitHub
  ☆14Jan 13, 2023Updated 3 years ago
• program-repair-project / bug-localizer

  View on GitHub
  ☆14Jan 8, 2023Updated 3 years 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 last week
• prosyslab-classroom / cs424-program-reasoning

  View on GitHub
  ☆55Dec 19, 2025Updated 2 months ago
• rycbar77 / V8-Sandbox-Bypass-via-wrapper-and-call-target-mismatch-in-wasm

  View on GitHub
  A V8 Sandbox Escape Technique.
  ☆21Feb 8, 2025Updated last year
• casys-kaist / kev

  View on GitHub
  KAIST Educational Virtualization
  ☆16Oct 4, 2024Updated last year
• prosyslab-classroom / cs524-program-analysis

  View on GitHub
  ☆62Feb 11, 2026Updated 3 weeks ago
• hongseok-yang / CLT21

  View on GitHub
  ☆39Dec 7, 2021Updated 4 years ago
• sandumjacob / CVE-2023-2033-Analysis

  View on GitHub
  A collection of resources and information about CVE-2023-2033
  ☆19Aug 13, 2023Updated 2 years ago
• kaist-cp / memento

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

  View on GitHub
  ☆49Oct 27, 2024Updated last year
• prosyslab / tracer

  View on GitHub
  Signature-based Static Analysis for Detecting Recurring Vulnerabilities
  ☆50Sep 25, 2024Updated last year
• houjingyi233 / my-bugs

  View on GitHub
  I will provide details and pocs for some bugs I found.
  ☆41Apr 15, 2024Updated last year
• BOB4Drone / Drone_Hacking_Guideline

  View on GitHub
  본 프로젝트는 KITRI BoB(Best of the Best) 10기에서 진행한 프로젝트로, 드론에 대한 취약성 연구를 진행한 내용을 기록하였습니다.
  ☆40Jan 5, 2022Updated 4 years ago
• liecn / cnli.me

  View on GitHub
  template for https://cnli.me
  ☆10Feb 27, 2025Updated last year
• mfs409 / llvm-transmem

  View on GitHub
  ☆11Aug 5, 2020Updated 5 years ago
• cla7aye15I4nd / CAMP

  View on GitHub
  CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨
  ☆45Jul 18, 2024Updated last year
• prosyslab-classroom / cs348-information-security

  View on GitHub
  ☆81May 30, 2025Updated 9 months ago
• zhliuworks / SJTU-Report-mini

  View on GitHub
  SJTU 中文简约 LaTeX 报告模板
  ☆10Jun 7, 2021Updated 4 years ago
• WhiRLVerification / WhiRL

  View on GitHub
  ☆12Oct 21, 2020Updated 5 years ago
• micchie / paste

  View on GitHub
  Latest PASTE (NSDI'18) repository
  ☆13May 2, 2022Updated 3 years ago
• snalli / whisper

  View on GitHub
  WHISPER is a comprehensive benchmark suite for emerging persistent memory technologies.
  ☆10May 10, 2017Updated 8 years ago
• eth-easl / pccheck

  View on GitHub
  ☆12Nov 8, 2024Updated last year
• DaramG / CGSan

  View on GitHub
  ☆10Sep 10, 2022Updated 3 years ago
• haruki3hhh / PageSpray

  View on GitHub
  ☆16Aug 19, 2024Updated last year
• mathcbc / GMM-EM

  View on GitHub
  The EM Algorithm for Gaussian Mixtures （高斯混合模型的EM算法实现）
  ☆12Dec 30, 2018Updated 7 years ago
• Jinmo / IDA8-Alleycat

  View on GitHub
  Alleycat plugin by devttys0, ported to IDA 8
  ☆11Jan 15, 2025Updated last year
• vtky / msecdbg

  View on GitHub
  !exploitable Crash Analyzer - MSEC Debugger Extensions
  ☆11Feb 16, 2021Updated 5 years ago
• henry-nazare / llvm-sra

  View on GitHub
  Symbolic range analysis for LLVM.
  ☆12Jan 10, 2016Updated 10 years ago
• Aurele-Barriere / CoreJIT

  View on GitHub
  Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler
  ☆13Nov 17, 2022Updated 3 years ago
• ynwarcs / CVE-2023-24871

  View on GitHub
  pocs & exploit for CVE-2023-24871 (rce + lpe)
  ☆50Jul 17, 2024Updated last year
• 0x3c3e / slides

  View on GitHub
  CodeQL + DTrace = Memory Disclosure Vulnerabilities in XNU
  ☆47Jul 10, 2023Updated 2 years ago
• ckshitij / RE_TO_DFA

  View on GitHub
  code of RE
  ☆11Jun 8, 2018Updated 7 years ago
• efeslab / asplos22-hardware-debugging-artifact

  View on GitHub
  ☆13Jun 12, 2024Updated last year
• sslab-gatech / blockchain-lab-pwneth

  View on GitHub
  ☆12Feb 17, 2023Updated 3 years ago
• bIgBV / xv6-virtio

  View on GitHub
  A virtio layer for xv6
  ☆12Apr 16, 2019Updated 6 years ago
• rajkiranjoshi / syndb-sim

  View on GitHub
  ☆11Apr 12, 2021Updated 4 years ago
• HexHive / WarpAttack

  View on GitHub
  ☆13Apr 13, 2023Updated 2 years ago