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
- Slides and stuffs of the meetings during the 2018☆13Updated 3 years ago
- Exploiting Array-Out-of-Bounds-Write-Accesses on Linux☆26Updated 8 years ago
- ☆29Updated 7 years ago
- Implementation of TraFix (automatic trainable decompiler based on NMT) as published in ArXiv☆40Updated 6 years ago
- Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability☆62Updated 6 years ago
- Slides and stuffs of the meetings during the 2020.☆16Updated 3 years ago
- IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis☆16Updated 10 years ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆64Updated 3 years ago
- DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.☆95Updated 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
- Some much-needed sanity for byte-wrangling in python3.☆44Updated 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
- Repository for understanding and writing LLVM passes.☆34Updated 6 years ago
- SPRITZ plays CTFs! Writeups by spritzers☆63Updated 8 years ago
- Official repository for ASAP: High System-code Security at Low Overhead☆26Updated 10 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆60Updated 4 years ago
- Sample programs that illustrate how to use control flow integrity with the clang compiler☆106Updated 6 years ago
- Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries☆96Updated 7 years ago
- Tool for detecting error handling bugs☆23Updated 9 years ago
- A toy implementation of 'Stack Guard' on top of the LLVM compiler toolchain☆24Updated 8 years ago
- Benchmark to test different stop the exploit mitigations☆18Updated 6 years ago
- Modular And Compositional analysis with KLEE Engine☆117Updated 6 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).☆35Updated 8 years ago
- Rode0day API Client☆18Updated 6 years ago
- Slides and stuffs of the meetings during the 2019☆33Updated 3 years ago
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆45Updated 9 years ago
- Disassemblers with various trimming methodologies☆15Updated 11 months ago
- My solutions to some CTF challenges and a list of interesting resources about pwning stuff☆112Updated 6 years ago
- Public release of the tools used to assist in gadget finding.☆42Updated 7 years ago