Alternatives and similar repositories for binary-security

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

• pwncollege / pwnkernel
  Kernel development & exploitation practice environment.
  ☆239Updated 2 years ago
• open-education-hub / web-security
  Security Summer School, Web track
  ☆26Updated 3 months ago
• binsec / binsec
  BINSEC binary-level open-source platform
  ☆372Updated 3 months ago
• martinradev / gdb-pt-dump
  ☆168Updated 10 months ago
• FSecureLABS / z3_and_angr_binary_analysis_workshop
  Code and exercises for a workshop on z3 and angr
  ☆233Updated 4 years ago
• intel / kernel-fuzzer-for-xen-project
  Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL
  ☆472Updated last year
• sslab-gatech / ArcHeap
  ArcHeap: Automatic Techniques to Systematically Discover New Heap Exploitation Primitives
  ☆156Updated 4 years ago
• maxking / linux-security-papers
  Research paper collection for Linux kernel security from top security conferences.
  ☆77Updated 7 years ago
• kirschju / wiedergaenger
  Exploiting Array-Out-of-Bounds-Write-Accesses on Linux
  ☆25Updated 7 years ago
• bcoles / kasld
  Kernel Address Space Layout Derandomization (KASLD) - A collection of various techniques to infer the Linux kernel base virtual address a…
  ☆460Updated last year
• pietroborrello / constantine
  Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels
  ☆76Updated this week
• PLSysSec / sys
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆232Updated 3 years ago
• GaloisInc / macaw
  Open source binary analysis tools.
  ☆230Updated this week
• AFLplusplus / AFL-Snapshot-LKM
  A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.
  ☆140Updated 4 years ago
• open-education-hub / essentials-security
  Security Summer School: Security Essentials Track
  ☆32Updated last year
• angr / heaphopper
  HeapHopper is a bounded model checking framework for Heap-implementations
  ☆219Updated 4 months ago
• Arinerron / heaptrace
  helps visualize heap operations for pwn and debugging
  ☆325Updated 2 years ago
• ercoppa / symbolic-execution-tutorial
  Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
  ☆135Updated 4 years ago
• BinaryAnalysisPlatform / bap-toolkit
  A collection of ready to use binary analysis tools
  ☆61Updated last year
• datajerk / ctf-write-ups
  My write-ups from various CTFs
  ☆117Updated last year
• fuzzstati0n / fuzzgoat
  A vulnerable C program for testing fuzzers.
  ☆201Updated 2 years ago
• guyinatuxedo / ctf
  ☆110Updated 5 years ago
• sam4k / linux-kernel-resources
  Curated collection of resources, examples and scripts for Linux kernel devs, researchers and hobbyists.
  ☆60Updated 3 years ago
• season-lab / survey-symbolic-execution
  A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.
  ☆82Updated 7 years ago
• a13xp0p0v / kernel-hack-drill
  Linux kernel exploitation experiments
  ☆366Updated last week
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆104Updated 2 years ago
• fausecteam / ctf-gameserver
  FAUST Gameserver for attack-defense CTFs
  ☆98Updated 3 weeks ago
• meowmeowxw / kernel-exploits
  Kernel exploits and writeups
  ☆17Updated 3 years ago
• PaoloMonti42 / salt
  SALT - SLUB ALlocator Tracer for the Linux kernel
  ☆154Updated 7 years ago
• comsec-group / retbleed
  Arbitrary Speculative Code Execution with Return Instructions
  ☆172Updated last year