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
- Exploiting Array-Out-of-Bounds-Write-Accesses on Linux☆25Updated 7 years ago
- ☆28Updated 6 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- Challenging testcases for fuzzers☆71Updated last year
- Public release of the tools used to assist in gadget finding.☆42Updated 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
- ☆53Updated 6 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 4 years ago
- Collection of DBI evasion techniques☆14Updated 3 years ago
- Modified Nexus 9 kernel for Kenali Project☆30Updated 5 years ago
- FuZZan: Efficient Sanitizer Metadata Design for Fuzzing☆122Updated 4 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆89Updated last year
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints☆125Updated 5 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
- ☆24Updated 6 years ago
- Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability☆63Updated 5 years ago
- ☆22Updated 5 years ago
- ☆20Updated 6 years ago
- ☆96Updated 6 years ago
- Repository for understanding and writing LLVM passes.☆33Updated 5 years ago
- ☆17Updated 5 years ago
- ☆12Updated 4 years ago
- ☆72Updated 5 years ago
- Onsite Analysis Infrastructure☆16Updated 5 years ago
- K-Miner☆75Updated 6 years ago
- ☆65Updated 6 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
- UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages☆43Updated 3 years ago
- Signedness-Agnostic Strided-Interval☆37Updated 6 years ago