HexHive / mitiGate
Benchmark to test different stop the exploit mitigations
☆18Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for mitiGate
- Signedness-Agnostic Strided-Interval☆35Updated 5 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 4 years ago
- Public release of the tools used to assist in gadget finding.☆41Updated 6 years ago
- ☆16Updated 6 years ago
- Efficient Multi-threaded Binary Code Control Flow Profiling Pintool☆22Updated 8 years ago
- ☆27Updated 6 years ago
- ☆17Updated 3 years ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆33Updated 4 years ago
- ☆25Updated 6 years ago
- ☆50Updated 5 years ago
- ☆67Updated 4 years ago
- ☆11Updated 3 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 5 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
- experiments for IJON☆11Updated 5 years ago
- ☆17Updated 5 years ago
- KLEE-TAINT - Klee with taint analysis support☆71Updated 7 years ago
- Use Intel Pin tools to analysis binary.☆36Updated 9 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Updated 6 years ago
- FoRTE-Research's fuzzing benchmarks☆54Updated 5 years ago
- ROP Benchmark is a tool to compare ROP compilers☆38Updated last year
- ☆37Updated 2 years ago
- Dytan Taint Analysis Framework on Linux 64-bit☆45Updated 10 years ago
- A LLVM Pass with runtime dataflow sanitization☆32Updated 5 years ago
- ☆16Updated last year
- Stony Brook University CFI library☆21Updated 10 years ago
- K-Hunt: Pinpointing Insecure Crypto Keys☆44Updated 6 years ago
- Concolic Execution Fuzzer☆24Updated 3 years ago
- Tutorial to write qemu plugins☆31Updated 7 years ago