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
- Slides and stuffs of the meetings during the 2019☆33Updated 3 years ago
- ROPMate is the first Visual Analytics system specifically designed to assist human in composing ROP chains with the desired semantics.☆24Updated 4 years ago
- Collection of DBI evasion techniques☆14Updated 3 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
- DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.☆92Updated 7 years ago
- Repository for understanding and writing LLVM passes.☆31Updated 5 years ago
- Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability☆62Updated 5 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Updated 6 years ago
- IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis☆16Updated 9 years ago
- ☆53Updated 5 years ago
- ☆16Updated 7 years ago
- Recover mutation graph from an AFL seed☆59Updated 4 years ago
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints☆124Updated 4 years ago
- FuZZan: Efficient Sanitizer Metadata Design for Fuzzing☆120Updated 4 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago
- Exploiting Array-Out-of-Bounds-Write-Accesses on Linux☆26Updated 7 years ago
- InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing☆82Updated 4 years ago
- Automatic Exploit Generation from Primitives☆11Updated 6 years ago
- Slides and stuffs of the meetings during the 2018☆13Updated 3 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆82Updated last month
- ☆28Updated 6 years ago
- Repo for CSAW CTF 2018 Finals challenges☆58Updated 6 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆74Updated 3 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆23Updated 4 months ago
- ☆63Updated 5 years ago
- Slides and stuffs of the meetings during the 2020.☆16Updated 3 years ago
- Snapshot fuzzing with KVM and LibAFL☆94Updated 2 years ago
- Official repository for ASAP: High System-code Security at Low Overhead☆24Updated 9 years ago
- SALT - SLUB ALlocator Tracer for the Linux kernel☆149Updated 6 years ago