Angelogeb / AOSV
Lecture notes for Advanced Operating Systems and Virtualization course at Sapienza University of Rome
☆22Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for AOSV
- RopGun is a Linux implementation of a transparent ROP mitigation technique based on runtime detection of abnormal control transfers using…☆26Updated 5 years ago
- Modified Nexus 9 kernel for Kenali Project☆30Updated 5 years ago
- Group coding repository of PltCov, a tool to instrument ELF binaries for fuzzing with ngram coverage of imported APIs☆12Updated 2 years ago
- ☆23Updated last year
- Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability☆63Updated 5 years ago
- ☆27Updated 6 years ago
- ☆68Updated 4 years ago
- Challenging testcases for fuzzers☆66Updated 8 months ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆58Updated 2 years ago
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints☆119Updated 4 years ago
- ☆16Updated 6 years ago
- A LLVM Pass with runtime dataflow sanitization☆32Updated 5 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago
- FuZZan: Efficient Sanitizer Metadata Design for Fuzzing☆119Updated 3 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆84Updated 6 months ago
- Repository for understanding and writing LLVM passes.☆31Updated 5 years ago
- Collection of DBI evasion techniques☆14Updated 2 years ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆37Updated 4 years ago
- ☆55Updated 2 years ago
- ROPMate is the first Visual Analytics system specifically designed to assist human in composing ROP chains with the desired semantics.☆23Updated 3 years ago
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Updated 4 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Updated 3 years ago
- K-Miner☆72Updated 5 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆97Updated 2 years ago
- A security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.☆17Updated last year
- ☆13Updated 3 years ago
- ☆60Updated 2 years ago
- Official repository for ASAP: High System-code Security at Low Overhead☆24Updated 8 years ago
- run AFL with pintool☆65Updated 4 years ago
- An approximate solver for concolic execution☆17Updated 2 years ago