Alternatives and similar repositories for AOSV

Users that are interested in AOSV are comparing it to the libraries listed below

• pietroborrello / RopGun
  RopGun is a Linux implementation of a transparent ROP mitigation technique based on runtime detection of abnormal control transfers using…
  ☆26Updated 5 years ago
• HexHive / CFIXX
  ☆28Updated 7 years ago
• kirschju / wiedergaenger
  Exploiting Array-Out-of-Bounds-Write-Accesses on Linux
  ☆25Updated 7 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 5 years ago
• Machiry / understanding-clang-llvm
  Repository for understanding and writing LLVM passes.
  ☆33Updated 5 years ago
• kevinkoo001 / CCR
  Compiler-assisted Code Randomization (CCR) Toolchain
  ☆61Updated 2 years ago
• sslab-gatech / kenali-kernel
  Modified Nexus 9 kernel for Kenali Project
  ☆30Updated 5 years ago
• SPRITZ-Research-Group / ctf-writeups
  SPRITZ plays CTFs! Writeups by spritzers
  ☆63Updated 7 years ago
• DefconRome / pltcov_groupcoding
  Group coding repository of PltCov, a tool to instrument ELF binaries for fuzzing with ngram coverage of imported APIs
  ☆12Updated 3 years ago
• pagabuc / gfree
  Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries
  ☆95Updated 6 years ago
• pietroborrello / RopMate
  ROPMate is the first Visual Analytics system specifically designed to assist human in composing ROP chains with the desired semantics.
  ☆26Updated 4 years ago
• trailofbits / clang-cfi-showcase
  Sample programs that illustrate how to use control flow integrity with the clang compiler
  ☆106Updated 6 years ago
• embedded-sec / ACES
  Automatic Compartments for Embedded Systems
  ☆24Updated 5 years ago
• securesystemslab / agamotto
  Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints
  ☆125Updated 5 years ago
• 0x0atang / clkscrew
  CLKscrew Code and Scripts
  ☆28Updated 5 years ago
• angr / heaphopper
  HeapHopper is a bounded model checking framework for Heap-implementations
  ☆216Updated 2 weeks ago
• dcdelia / dbi-detector
  Collection of DBI evasion techniques
  ☆14Updated 3 years ago
• securesystemslab / periscope
  ☆65Updated 6 years ago
• hase-project / hase
  Timeless debugging with symbolic execution and processor trace
  ☆76Updated 4 years ago
• GoSSIP-SJTU / k-hunt
  K-Hunt: Pinpointing Insecure Crypto Keys
  ☆44Updated 6 years ago
• maxking / linux-security-papers
  Research paper collection for Linux kernel security from top security conferences.
  ☆77Updated 7 years ago
• ChengyuSong / Kirenenko
  Super Fast Concolic Execution Engine based on Source Code Taint Tracing
  ☆102Updated 3 years ago
• tum-i4 / macke
  Modular And Compositional analysis with KLEE Engine
  ☆116Updated 5 years ago
• maxking / linux-vulnerabilities-10-years
  My MS thesis on survey of a decade fo Linux Kernel CVEs, their categories and various mitigations that exist.
  ☆159Updated 6 years ago
• melynx / DOP-StaticAssist
  Public release of the tools used to assist in gadget finding.
  ☆42Updated 7 years ago
• andreafioraldi / angrdbg
  Abstract library to generate angr states from a debugger state
  ☆60Updated 5 years ago
• sslab-gatech / perf-fuzz
  ☆96Updated 6 years ago
• melynx / taintinduce
  TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.
  ☆59Updated 4 years ago
• ww9210 / kepler-cfhp
  Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability
  ☆63Updated 5 years ago
• DefconRome / meetings-2020
  Slides and stuffs of the meetings during the 2020.
  ☆16Updated 3 years ago