heyitsanthony / vexllvmView external linksLinks
Decode machine code into VEX IR and translate into LLVM IR
☆28Jun 1, 2019Updated 6 years ago
Alternatives and similar repositories for vexllvm
Users that are interested in vexllvm are comparing it to the libraries listed below
Sorting:
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 2 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆26Mar 15, 2020Updated 5 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 5 years ago
- Bring libfuzzer to Unicorn☆26Jan 23, 2022Updated 4 years ago
- Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.☆21May 17, 2022Updated 3 years ago
- Easily hook WIN32 x64 functions☆18Feb 19, 2025Updated 11 months ago
- Fuzzing Parsers with Tokens☆33Jan 14, 2021Updated 5 years ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆34Jun 6, 2021Updated 4 years ago
- A collection of POP exploits.☆30Feb 22, 2021Updated 4 years ago
- Header-only VMWare Backdoor API Implementation & Effortless VMX Patcher for Custom Guest-to-Host RPCs☆106Dec 26, 2020Updated 5 years ago
- lxfuzz is a grey-box kernel fuzzer used for linux. it is scalable because of qemu being used to emulate in a way to be able to freely cho…☆22Jul 21, 2024Updated last year
- Flex 'em lexers☆42Oct 19, 2020Updated 5 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆37Feb 6, 2021Updated 5 years ago
- COVA - A static analysis tool to compute path conditions☆40Jul 12, 2025Updated 7 months ago
- aurora-d☆20Apr 24, 2022Updated 3 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆69May 31, 2024Updated last year
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆231Jun 9, 2020Updated 5 years ago
- This is a POC for loading shared object directly from memory without accessing the actual Linux file system.☆22Jan 2, 2021Updated 5 years ago
- kernel exploit POC for vulnerability i found in amd gpu driver☆11Jan 6, 2023Updated 3 years ago
- ☆10Jul 9, 2020Updated 5 years ago
- expansion of afl-unicorn using c++☆28Aug 29, 2019Updated 6 years ago
- A LLVM Sanitizer for Symbolic Tracing☆229Jan 29, 2026Updated 2 weeks ago
- Apple PCC research☆16Mar 14, 2025Updated 10 months ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆12Jan 15, 2022Updated 4 years ago
- Terribly incorrect and incomplete AOT compiler for mRuby. Source code for the LLVM Social Berlin #20☆10Aug 25, 2022Updated 3 years ago
- A virtio layer for xv6☆12Apr 16, 2019Updated 6 years ago
- ☆16Jan 4, 2023Updated 3 years ago
- gradient-based symbolic execution engine implemented from scratch☆36Dec 16, 2023Updated 2 years ago
- Fast and efficient binary translator☆58Jan 17, 2019Updated 7 years ago
- Bypass WinAPI Hook Using copy function☆51Jan 9, 2023Updated 3 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆84Mar 16, 2023Updated 2 years ago
- VEH debug plugin☆13Apr 28, 2022Updated 3 years ago
- FuzzBuilderEx is a system to build seed corpus and fuzzing executables using the test framework automatically.☆13Sep 6, 2022Updated 3 years ago
- ☆11Apr 7, 2022Updated 3 years ago
- ☆12Jun 17, 2020Updated 5 years ago
- fuzzing + concolic = fuzzolic :)☆127Nov 6, 2025Updated 3 months ago
- Evolving fuzzers with large language models☆17Dec 14, 2023Updated 2 years ago
- Symbolic execution of LLVM IR☆14Jan 3, 2024Updated 2 years ago
- Recover 64 bit ELF executables from memory dump☆94Oct 19, 2018Updated 7 years ago