angr/secdev-course 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

angr/secdev-course

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/angr/secdev-course)

Close

angr / secdev-courseView on GitHubMore

• External links
• Readme badge

☆20Sep 25, 2017Updated 8 years ago

Alternatives and similar repositories for secdev-course

Users that are interested in secdev-course are comparing it to the libraries listed below

• angr / acsac-course

  View on GitHub
  ☆50Dec 17, 2020Updated 5 years ago
• dslab-epfl / asap

  View on GitHub
  Official repository for ASAP: High System-code Security at Low Overhead
  ☆26Dec 3, 2015Updated 10 years ago
• rzezeski / libMicro

  View on GitHub
  ☆11May 26, 2020Updated 5 years ago
• luong-komorebi / Attack-Lab

  View on GitHub
  CMU's attack lab
  ☆13Sep 7, 2023Updated 2 years ago
• RITC3 / RC3CTF-2016

  View on GitHub
  Writeups and solutions for RC3CTF 2016
  ☆14Nov 23, 2016Updated 9 years ago
• ZhouZhiping045 / FidelityGPT

  View on GitHub
  ☆19Sep 7, 2025Updated 6 months ago
• angr / phuzzer

  View on GitHub
  The new phuzzing framework!
  ☆164Jun 14, 2024Updated last year
• easyctf / easyctf-iv-platform

  View on GitHub
  EasyCTF IV
  ☆15Oct 27, 2020Updated 5 years ago
• deater / deterministic

  View on GitHub
  code for examining determinism of performance counters
  ☆21Mar 18, 2021Updated 5 years ago
• laxa / write-ups

  View on GitHub
  ☆14Mar 31, 2018Updated 7 years ago
• alexeicolin / sysbios

  View on GitHub
  SYS/BIOS: kernel for Texas Instruments TI-RTOS
  ☆12Jan 21, 2014Updated 12 years ago
• GrammaTech / clang-mutate

  View on GitHub
  Manipulate C-family ASTs with Clang
  ☆68Oct 22, 2018Updated 7 years ago
• Qi-Zhan / ps3

  View on GitHub
  patch presence test via symbolic signatures, ICSE'24
  ☆12Mar 29, 2024Updated last year
• rjwalls / paper-template

  View on GitHub
  A generic starting template for writing research papers.
  ☆14Apr 19, 2019Updated 6 years ago
• jcoglan / infer

  View on GitHub
  Interpreter for inference rules
  ☆13May 5, 2018Updated 7 years ago
• dbrumley / recfi

  View on GitHub
  A Retargettable CFI implementation in LLVM. Authors: Joseph Battaglia and Oulin Yao
  ☆18May 8, 2015Updated 10 years ago
• austinharris / gem5-riscv

  View on GitHub
  ☆14Jul 14, 2015Updated 10 years ago
• orthecreedence / http-parse

  View on GitHub
  An HTTP protocol parser in Common Lisp
  ☆21Jul 27, 2020Updated 5 years ago
• vysecurity / redteam-plan

  View on GitHub
  Issues to consider when planning a red team exercise.
  ☆15Aug 22, 2017Updated 8 years ago
• readablesystems / cs260r-17

  View on GitHub
  Main repository for Harvard CS260r 2017.
  ☆12Apr 25, 2017Updated 8 years ago
• mratsim / haskell-numbertheory

  View on GitHub
  Exploration of primes, factorization and number theory through haskell
  ☆10Oct 10, 2016Updated 9 years ago
• Dirac5ea / Maze

  View on GitHub
  An Automated Heap Feng Shui Tool
  ☆18Jun 27, 2022Updated 3 years ago
• CTSRD-CHERI / beri

  View on GitHub
  The BERI and CHERI processor and hardware platform
  ☆50Mar 27, 2017Updated 8 years ago
• wsargent / paranoid-java-serialization

  View on GitHub
  Adds a guard to disable ObjectInputStream.readObject
  ☆11Dec 6, 2015Updated 10 years ago
• kmicinski / program-analysis-examples

  View on GitHub
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Nov 6, 2019Updated 6 years ago
• Visionary-Laboratory / CourtSI

  View on GitHub
  Stepping VLMs onto the Court: Benchmarking Spatial Intelligence in Sports
  ☆61Updated this week
• webyrd / curnelo

  View on GitHub
  Cur dependently-typed language in miniKanren.
  ☆17Jan 26, 2018Updated 8 years ago
• kaishack / sctf2018_qual

  View on GitHub
  Samsung CTF 2018 Problems. https://research.samsung.com/sctf2018
  ☆20Jul 6, 2018Updated 7 years ago
• XZ-X / PEM

  View on GitHub
  ☆15Dec 29, 2023Updated 2 years ago
• jcoglan / tnt

  View on GitHub
  Proof assistant for Typographical Number Theory
  ☆16Dec 15, 2015Updated 10 years ago
• clm07 / UniASM

  View on GitHub
  Official implementation for UniASM: Binary Code Similarity Detection without Fine-tuning.
  ☆20Apr 6, 2023Updated 2 years ago
• gregr / first-order-miniKanren

  View on GitHub
  miniKanren with a first-order representation of the search space
  ☆17Mar 11, 2026Updated last week
• HackerDom / ructf-2017

  View on GitHub
  ☆12Nov 16, 2019Updated 6 years ago
• koreamic / discourse-calendar

  View on GitHub
  Discourse's calendar plugin
  ☆13Mar 3, 2018Updated 8 years ago
• AntonioL / leapfrog-join

  View on GitHub
  Implementation of the unary leapfrog join for efficient intersection of sorted sets.
  ☆10Dec 4, 2019Updated 6 years ago
• muhammedmbassem / OSCP-Scripts

  View on GitHub
  OSCP Scripts
  ☆14Jan 21, 2016Updated 10 years ago
• Guardian-SNU / ctf2018-writeups

  View on GitHub
  GuardianCTF 2018 Writeups Repository
  ☆12Apr 13, 2019Updated 6 years ago
• ant4g0nist / crashwrangler

  View on GitHub
  Apple's crashwrangler with support for Apple Silicon
  ☆47Feb 15, 2026Updated last month
• kudelskisecurity / Volatility-plugins

  View on GitHub
  Volatility plugins
  ☆12Feb 19, 2015Updated 11 years ago