Angelogeb / AOSV
Lecture notes for Advanced Operating Systems and Virtualization course at Sapienza University of Rome
☆22Updated 6 years ago
Alternatives and similar repositories for AOSV:
Users that are interested in AOSV are comparing it to the libraries listed below
- RopGun is a Linux implementation of a transparent ROP mitigation technique based on runtime detection of abnormal control transfers using…☆26Updated 5 years ago
- Group coding repository of PltCov, a tool to instrument ELF binaries for fuzzing with ngram coverage of imported APIs☆12Updated 3 years ago
- Exploiting Array-Out-of-Bounds-Write-Accesses on Linux☆25Updated 7 years ago
- ☆53Updated 5 years ago
- Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability☆61Updated 5 years ago
- ☆13Updated 3 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆10Updated 4 years ago
- Slides and stuffs of the meetings during the 2020.☆16Updated 3 years ago
- ☆96Updated 6 years ago
- Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries☆95Updated 6 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆101Updated 2 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 4 years ago
- ☆17Updated 5 years ago
- ☆22Updated 5 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆83Updated 2 months ago
- An approximate solver for concolic execution☆18Updated 3 years ago
- Public release of the tools used to assist in gadget finding.☆41Updated 7 years ago
- Recover mutation graph from an AFL seed☆59Updated 4 years ago
- ☆13Updated 3 years ago
- The PT tracing portion of Barnum.☆11Updated 6 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Updated 2 years ago
- Snapshot fuzzing with KVM and LibAFL☆94Updated 2 years ago
- kMVX: Detecting Kernel Information Leaks with Multi-variant Execution☆21Updated 5 years ago
- About as basic of a mutator as you can get, but it does the trick in most situations☆62Updated 4 years ago
- Slides and stuffs of the meetings during the 2018☆13Updated 3 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆36Updated 5 months ago
- LibAFL components for stateful fuzzing☆47Updated 2 years ago
- Timeless debugging with symbolic execution and processor trace☆75Updated 4 years ago
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints☆125Updated 4 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago