Collection of LLVM passes and triage tools for use with the KRF fuzzer
☆38Oct 12, 2022Updated 3 years ago
Alternatives and similar repositories for KRFAnalysis
Users that are interested in KRFAnalysis are comparing it to the libraries listed below
Sorting:
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 6 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 2 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆37Feb 6, 2021Updated 5 years ago
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Feb 9, 2023Updated 3 years ago
- CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL☆31Apr 4, 2021Updated 4 years ago
- KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .☆30Apr 7, 2019Updated 6 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆12Jan 15, 2022Updated 4 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆37Oct 15, 2020Updated 5 years ago
- CodeQL library and queries for iterator invalidation☆22May 5, 2021Updated 4 years ago
- ☆27Nov 30, 2018Updated 7 years ago
- Use Frida DBI to instrument binary and perform basic-block code coverage that is fed back to AFL.☆12Nov 23, 2019Updated 6 years ago
- First level taint implementation with qemu for linux user mode☆28Aug 11, 2020Updated 5 years ago
- ☆13Mar 5, 2019Updated 6 years ago
- A kernelspace syscall interceptor and randomized faulter☆358Nov 18, 2024Updated last year
- Default query sets for Joern☆27Oct 23, 2021Updated 4 years ago
- A GUI fuzzing application set up to fuzz calc.exe right now☆37Aug 12, 2020Updated 5 years ago
- A new type of js fuzzer☆26Feb 10, 2020Updated 6 years ago
- View Linux perf traces in IDA Pro☆15Nov 18, 2019Updated 6 years ago
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86) adapted to afl++☆45Nov 27, 2021Updated 4 years ago
- Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.☆34Jul 29, 2018Updated 7 years ago
- A framework provides an interface to monitor and control fuzzers☆30Jul 5, 2023Updated 2 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Oct 31, 2022Updated 3 years ago
- ☆16Dec 22, 2019Updated 6 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆39Updated this week
- A graph view plugin for Binary Ninja to visualize Objective-C☆131Aug 30, 2019Updated 6 years ago
- Source code of MEUZZ fuzzer☆46Dec 11, 2021Updated 4 years ago
- ☆82Aug 20, 2025Updated 6 months ago
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆20Nov 24, 2021Updated 4 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆85Feb 13, 2026Updated 2 weeks ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆334Feb 2, 2026Updated 3 weeks ago
- A framework for static analysis of ROP exploits and programs☆41May 13, 2019Updated 6 years ago
- crauEmu is an uEmu extension for developing and analyzing payloads for code-reuse attacks☆111Dec 11, 2019Updated 6 years ago
- ☆27Jun 6, 2023Updated 2 years ago
- Fuzzing framework to target native components of android applications☆22Oct 22, 2022Updated 3 years ago
- QASan is a custom QEMU 3.1.1 that detects memory errors in the guest using AddressSanitizer.☆350Jul 30, 2024Updated last year
- adobe afdko fuzz☆41Aug 12, 2019Updated 6 years ago
- Low-level IR mutations for LLVM Bitcode☆43Feb 2, 2026Updated 3 weeks ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆156Oct 4, 2021Updated 4 years ago
- UAFuzz: Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities☆350Sep 25, 2023Updated 2 years ago