Alternatives and similar repositories for binary-security

Users that are interested in binary-security are comparing it to the libraries listed below

• binsec / binsec
  BINSEC binary-level open-source platform
  ☆370Updated 2 months ago
• fuzzstati0n / fuzzgoat
  A vulnerable C program for testing fuzzers.
  ☆196Updated 2 years ago
• PLSysSec / sys
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆232Updated 3 years ago
• maxking / linux-security-papers
  Research paper collection for Linux kernel security from top security conferences.
  ☆77Updated 7 years ago
• martinradev / gdb-pt-dump
  ☆167Updated 9 months ago
• FSecureLABS / z3_and_angr_binary_analysis_workshop
  Code and exercises for a workshop on z3 and angr
  ☆230Updated 4 years ago
• angr / heaphopper
  HeapHopper is a bounded model checking framework for Heap-implementations
  ☆218Updated 3 months ago
• MaherAzzouzi / LinuxKernelExploitation
  Old and new CTFs about Linux kernel exploitation.
  ☆60Updated 3 years ago
• bordig-f / angr-strategies
  A cheat sheet that summarises "strategies" (or techniques) to use with angr.
  ☆32Updated 4 years ago
• open-education-hub / web-security
  Security Summer School, Web track
  ☆26Updated 3 months ago
• seclab-ucr / SyzScope
  SyzScope is a research project that aims to reveal high-risk security bug from Syzbot. Learn more details in our paper.
  ☆24Updated 3 years ago
• pwncollege / challenges-old2
  Set of pre-generated pwn.college challenges
  ☆67Updated 2 years ago
• pietroborrello / constantine
  Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels
  ☆75Updated 2 years ago
• OpenToAllCTF / Tips
  Useful tips by OTA CTF members
  ☆147Updated 6 years ago
• Microsvuln / Awesome-Grammar-Fuzzing
  A curated list of Grammar based fuzzing research papers, codes, tutorials
  ☆125Updated 3 years ago
• fausecteam / ctf-gameserver
  FAUST Gameserver for attack-defense CTFs
  ☆97Updated 3 weeks ago
• aerosec / jetset
  ☆52Updated 3 months ago
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆104Updated 2 years ago
• pwncollege / pwnkernel
  Kernel development & exploitation practice environment.
  ☆238Updated 2 years ago
• AFLplusplus / AFL-Snapshot-LKM
  A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.
  ☆140Updated 4 years ago
• datajerk / ctf-write-ups
  My write-ups from various CTFs
  ☆117Updated last year
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆84Updated 5 years ago
• ercoppa / symbolic-execution-tutorial
  Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
  ☆135Updated 4 years ago
• polygl0ts / writeups
  CTF writeups
  ☆42Updated 3 years ago
• OleksiiOleksenko / SpecFuzz
  A tool for detecting Spectre vulnerabilities through fuzzing
  ☆45Updated 4 years ago
• ForAllSecure / VulnerabilitiesLab
  Reproduce CVEs from ForAllSecure Vulnerabilities Lab
  ☆112Updated 2 years ago
• hw-sw-contracts / revizor
  Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs
  ☆41Updated 2 years ago
• angr / archr
  Target-centric program analysis.
  ☆77Updated this week
• n132 / Dec-Safe-Linking
  A general way to Recover Safe linking protected value/pointer
  ☆12Updated 2 years ago
• sslab-gatech / ArcHeap
  ArcHeap: Automatic Techniques to Systematically Discover New Heap Exploitation Primitives
  ☆155Updated 4 years ago