Angelogeb / AOSVLinks
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
Sorting:
- RopGun is a Linux implementation of a transparent ROP mitigation technique based on runtime detection of abnormal control transfers using…☆26Updated 5 years ago
- ☆29Updated 7 years ago
- Exploiting Array-Out-of-Bounds-Write-Accesses on Linux☆25Updated 7 years ago
- InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing☆82Updated 5 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆102Updated 3 years ago
- Challenging testcases for fuzzers☆72Updated last year
- ☆32Updated 2 years ago
- Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).☆34Updated 7 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
- Public release of the tools used to assist in gadget finding.☆42Updated 7 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆59Updated 4 years ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆62Updated 2 years ago
- ROPMate is the first Visual Analytics system specifically designed to assist human in composing ROP chains with the desired semantics.☆26Updated 4 years ago
- ☆132Updated 5 years ago
- Research paper collection for Linux kernel security from top security conferences.☆77Updated 7 years ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆157Updated 3 years ago
- HeapHopper is a bounded model checking framework for Heap-implementations☆217Updated 2 months ago
- Recover mutation graph from an AFL seed☆59Updated 4 years ago
- Utilities for generating dynamic traces☆93Updated 5 months ago
- Repository for understanding and writing LLVM passes.☆34Updated 6 years ago
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints☆125Updated 5 years ago
- Safe Rust bindings to the DynamoRIO dynamic binary instrumentation framework.☆20Updated 5 months ago
- FuZZan: Efficient Sanitizer Metadata Design for Fuzzing☆123Updated 4 years ago
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86) adapted to afl++☆45Updated 3 years ago
- Slides and stuffs of the meetings during the 2018☆13Updated 3 years ago
- ☆53Updated 6 years ago
- ☆96Updated 6 years ago
- A LLVM Pass with runtime dataflow sanitization☆33Updated 6 years ago
- a few Ghidra scripts for dumping PCode data☆50Updated 6 years ago
- A project that uses Binary Ninja and GRAKN.AI to perform static analysis on binary files with the goal of identifying bugs in software.☆58Updated 6 years ago