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…☆27Updated 6 years ago
- Repository for understanding and writing LLVM passes.☆34Updated 6 years ago
- Exploiting Array-Out-of-Bounds-Write-Accesses on Linux☆26Updated 8 years ago
- ☆29Updated 7 years ago
- Group coding repository of PltCov, a tool to instrument ELF binaries for fuzzing with ngram coverage of imported APIs☆12Updated 4 years ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆66Updated 3 years ago
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86) adapted to afl++☆45Updated 4 years ago
- ☆53Updated 6 years ago
- SPRITZ plays CTFs! Writeups by spritzers☆63Updated 8 years ago
- ☆95Updated 6 years ago
- Slides and stuffs of the meetings during the 2018☆13Updated 4 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆102Updated 3 years ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆141Updated 4 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.☆34Updated 8 years ago
- Challenging testcases for fuzzers☆72Updated last year
- ☆32Updated 3 years ago
- Utilities for generating dynamic traces☆94Updated 10 months ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆75Updated 4 years ago
- ☆24Updated 2 years ago
- Research paper collection for Linux kernel security from top security conferences.☆80Updated 8 years ago
- DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.☆95Updated 7 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆84Updated last week
- Safe Rust bindings to the DynamoRIO dynamic binary instrumentation framework.☆21Updated 11 months ago
- An opinionated tool to create amazing presentations☆38Updated 3 years ago
- ☆41Updated 5 years ago
- Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) o…☆29Updated last year
- Snapshot fuzzing with KVM and LibAFL☆96Updated 3 years ago
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆135Updated 4 years ago
- K-Miner☆74Updated 6 years ago
- AFL++ as a library: gives you all the tools necessary to craft the best fuzzer for your targets with ease!☆111Updated 4 years ago