HexHive / HexVASANLinks
☆17Updated 6 years ago
Alternatives and similar repositories for HexVASAN
Users that are interested in HexVASAN are comparing it to the libraries listed below
Sorting:
- ☆24Updated 7 years ago
- Scalable Validator for Binary Lifters☆60Updated 5 years ago
- Tutorial to write qemu plugins☆34Updated 8 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆32Updated 3 years ago
- Fuzzing with controlled compilation☆30Updated 2 years ago
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆34Updated 5 years ago
- ☆17Updated 6 years ago
- KLEE / CSE Project☆46Updated 5 years ago
- ☆18Updated 2 years ago
- Challenging testcases for fuzzers☆72Updated last year
- This repository contains several tools to perform Prefetch Side-Channel Attacks☆61Updated 8 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆25Updated last year
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆74Updated 4 years ago
- CRETE under development☆60Updated 5 years ago
- An approximate solver for concolic execution☆19Updated 7 months ago
- FoRTE-Research's fuzzing benchmarks☆57Updated 6 years ago
- Benchmark to test different stop the exploit mitigations☆18Updated 6 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆84Updated last month
- ☆39Updated 3 years ago
- Concolic Execution Fuzzer☆24Updated 4 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆34Updated 10 months ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 6 years ago
- ☆53Updated 6 years ago
- ROP Benchmark is a tool to compare ROP compilers☆43Updated 2 years ago
- FuZZan: Efficient Sanitizer Metadata Design for Fuzzing☆124Updated 4 years ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆64Updated 3 years ago
- FunSeeker: Binary Function Identification Tool☆26Updated last year
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆17Updated last week
- ☆37Updated 4 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