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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆19Sep 12, 2024Updated last year
- Onsite Analysis Infrastructure☆16Jun 23, 2020Updated 5 years ago
- CollabFuzz: A Framework for Collaborative Fuzzing☆70Dec 2, 2021Updated 4 years ago
- An LLVM interpreter that aims to compute points-to sets dynamically☆33Jan 11, 2015Updated 11 years ago
- The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)☆103Jan 13, 2023Updated 3 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- IDA plugin that displays the P-code for the current function☆72Nov 18, 2025Updated 4 months ago
- ☆12Apr 17, 2023Updated 2 years ago
- ☆10Jul 9, 2020Updated 5 years ago
- A simple, web based dashboard to use with LibAFL + OnDiskJSONMonitor☆24Feb 3, 2026Updated 2 months ago
- ☆14Jun 21, 2020Updated 5 years ago
- ☆31Jul 21, 2020Updated 5 years ago
- Evolving fuzzers with large language models☆17Dec 14, 2023Updated 2 years ago
- ☆12Feb 20, 2021Updated 5 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆11Nov 25, 2020Updated 5 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 6 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆42May 7, 2023Updated 2 years ago
- Some tools☆10Dec 5, 2017Updated 8 years ago
- ☆27Jun 6, 2023Updated 2 years ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆28Apr 17, 2023Updated 2 years ago
- ☆12Jun 8, 2021Updated 4 years ago
- Cryfind is a tool to help you find crypto signatures in binary.☆36Oct 19, 2021Updated 4 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- An Automated Heap Feng Shui Tool☆18Jun 27, 2022Updated 3 years ago
- A suite of experiments for evaluating open-source binary taint trackers.☆33Feb 15, 2022Updated 4 years ago
- exec interceptor☆30May 9, 2022Updated 3 years ago
- First level taint implementation with qemu for linux user mode☆28Aug 11, 2020Updated 5 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆151Jan 30, 2025Updated last year
- FixMorph is a morphing tool for C source codes which supports automated code-transfer☆36Apr 9, 2025Updated last year
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆62Jan 28, 2026Updated 2 months ago
- Awesome LLM for Cybersecurity☆12Nov 16, 2024Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Making GO reversing easier in IDA Pro☆17Aug 8, 2019Updated 6 years ago
- 👓 Yet another binary vulnerbilities checker. An automated vulnerability scanner for ELF based on symbolic execution.☆34Nov 7, 2021Updated 4 years ago
- The Use of Likely Invariants as Feedback for Fuzzers☆94Jan 19, 2022Updated 4 years ago
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Mar 17, 2023Updated 3 years ago
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆510Updated this week
- 試試你的好手氣☆39Jan 26, 2026Updated 2 months ago
- function executor based on unicorn and memflow☆93Jul 24, 2025Updated 8 months ago