hardenedlinux / TraditionalMitigation
Traditional Mitigation in GCC to defend Memory Corruption Vulnerability
☆19Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for TraditionalMitigation
- Dynamic analysis of binary programs to retrieve function-related information (arity, type of parameters, coupling).☆67Updated 7 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- ☆63Updated 5 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆74Updated 3 years ago
- Automated Return-Oriented Programming Chaining☆83Updated 8 years ago
- Rewriting functions in compiled binaries using McSema☆87Updated 5 years ago
- Heap analysis tooling for dlmalloc☆26Updated 2 years ago
- Fast and efficient binary translator☆58Updated 5 years ago
- Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks☆46Updated 7 years ago
- Exploitation techniques to bypass Clang CFI when applied to Chromium☆110Updated 6 years ago
- Shadow-Box: Lightweight and Practical Kernel Protector for ARM (Presented at BlackHat Asia 2018)☆71Updated 6 years ago
- ☆63Updated 3 years ago
- A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.☆59Updated 5 years ago
- ☆95Updated 5 years ago
- A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!☆45Updated 2 years ago
- Linux kernel JIT spray for SMEP / KERNEXEC bypass☆55Updated 12 years ago
- CSAW CTF 2015 Linux kernel exploitation challenge☆36Updated 9 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 7 years ago
- Modular And Compositional analysis with KLEE Engine☆113Updated 4 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 4 years ago
- Routines for hunting down kernel symbols.☆81Updated 13 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆32Updated 3 years ago
- KLEE Symbolic Execution Engine☆61Updated 5 years ago
- Preventing code-reuse attacks by stopping code pointer leakages☆35Updated 8 years ago
- This rap optimizations and hl_cfi have be merged in hardenedlinux/linux-unofficial_grsec☆17Updated 5 years ago
- INACTIVE - http://mzl.la/ghe-archive - A Python3 bridge for implementing custom libFuzzer mutators☆74Updated 5 years ago
- PathArmor context-sensitive CFI implementation☆45Updated 9 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆64Updated 7 years ago