hardenedlinux / TraditionalMitigation
Traditional Mitigation in GCC to defend Memory Corruption Vulnerability
☆20Updated 3 years ago
Alternatives and similar repositories for TraditionalMitigation:
Users that are interested in TraditionalMitigation are comparing it to the libraries listed below
- ☆63Updated 5 years ago
- Automated Return-Oriented Programming Chaining☆83Updated 8 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆74Updated 3 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries☆95Updated 6 years ago
- Dynamic analysis of binary programs to retrieve function-related information (arity, type of parameters, coupling).☆67Updated 7 years ago
- Exploitation techniques to bypass Clang CFI when applied to Chromium☆112Updated 6 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Uncovering Class Hierarchies in C++ Programs☆126Updated 2 years ago
- ☆96Updated 5 years ago
- ☆63Updated 3 years ago
- Rewriting functions in compiled binaries using McSema☆88Updated 5 years ago
- Modular And Compositional analysis with KLEE Engine☆114Updated 5 years ago
- INACTIVE - http://mzl.la/ghe-archive - A Python3 bridge for implementing custom libFuzzer mutators☆74Updated 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
- Heap analysis tooling for dlmalloc☆27Updated 2 years ago
- Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks☆46Updated 7 years ago
- Simple ELF tools written to demonstrate libelfmaster capabilities.☆39Updated 6 years ago
- Bootloader research tools (very much a work in progress)☆37Updated 5 years ago
- DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.☆92Updated 6 years ago
- KLEE-TAINT - Klee with taint analysis support☆72Updated 7 years ago
- Draft of generic instrumentation tool based on QEMU using eBPF to implement trivial instrumentations with trivial code☆18Updated 5 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
- A patched version of VEX to work with PyVEX.☆105Updated this week
- HeapHopper is a bounded model checking framework for Heap-implementations☆213Updated 4 months ago
- Seeding fuzzers with symbolic execution☆201Updated 7 years ago
- Sample programs that illustrate how to use control flow integrity with the clang compiler☆105Updated 6 years ago
- Routines for hunting down kernel symbols.☆82Updated 13 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆186Updated 3 years ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆136Updated 3 years ago