FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
☆23May 31, 2023Updated 2 years ago
Alternatives and similar repositories for FastKLEE
Users that are interested in FastKLEE are comparing it to the libraries listed below
Sorting:
- ☆10Jul 9, 2020Updated 5 years ago
- Evolving fuzzers with large language models☆17Dec 14, 2023Updated 2 years ago
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆19Sep 12, 2024Updated last year
- The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)☆102Jan 13, 2023Updated 3 years ago
- A simple, web based dashboard to use with LibAFL + OnDiskJSONMonitor☆24Feb 3, 2026Updated 3 weeks ago
- ☆14Jun 21, 2020Updated 5 years ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆28Apr 17, 2023Updated 2 years ago
- CollabFuzz: A Framework for Collaborative Fuzzing☆70Dec 2, 2021Updated 4 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 2 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43May 7, 2023Updated 2 years ago
- An Automated Heap Feng Shui Tool☆18Jun 27, 2022Updated 3 years ago
- ☆27Jun 6, 2023Updated 2 years ago
- Cryfind is a tool to help you find crypto signatures in binary.☆36Oct 19, 2021Updated 4 years ago
- IDA plugin that displays the P-code for the current function☆72Nov 18, 2025Updated 3 months ago
- Python GUI for seeing what's happening inside a fuzzer☆26Oct 1, 2021Updated 4 years ago
- ☆12Feb 20, 2021Updated 5 years ago
- Some tools☆10Dec 5, 2017Updated 8 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- ☆11Nov 25, 2020Updated 5 years ago
- ☆12Jun 8, 2021Updated 4 years ago
- First level taint implementation with qemu for linux user mode☆28Aug 11, 2020Updated 5 years ago
- ☆45Nov 18, 2022Updated 3 years ago
- exec interceptor☆30May 9, 2022Updated 3 years ago
- A formally verified bug finder☆14Nov 25, 2024Updated last year
- [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation☆21Mar 26, 2025Updated 11 months ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆12Jan 15, 2022Updated 4 years ago
- Miscellaneous one-off scripts, exploits, tools, sample code, ...☆10Feb 13, 2019Updated 7 years ago
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆16May 17, 2023Updated 2 years ago
- ☆31Jul 21, 2020Updated 5 years ago
- ☆33Oct 7, 2023Updated 2 years ago
- A coverage-guided and memory-detection enabled fuzzer for windows applications.☆32Feb 1, 2021Updated 5 years ago
- fuzzing + concolic = fuzzolic :)☆127Nov 6, 2025Updated 3 months ago
- ☆15Jul 25, 2025Updated 7 months ago
- Side-channel Analysis☆19May 17, 2022Updated 3 years ago
- Prolog specification of TensorFlow layers☆14Jun 12, 2023Updated 2 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆62Jan 28, 2026Updated last month
- FuzzBuilderEx is a system to build seed corpus and fuzzing executables using the test framework automatically.☆13Sep 6, 2022Updated 3 years ago
- Decompiler Fuzzing Test with EMI mutation☆16Apr 23, 2020Updated 5 years ago
- PoC for the taint-based ROP approach☆14Jul 16, 2023Updated 2 years ago