Symbolic execution for LLVM traces produced by PANDA
☆40Feb 5, 2019Updated 7 years ago
Alternatives and similar repositories for symbll
Users that are interested in symbll are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- x86 Dynamic Binary Translator Library☆33Dec 19, 2020Updated 5 years ago
- Code for the paper EvilCoder: Automated Bug Insertion at ACSAC 2016☆47Jan 18, 2017Updated 9 years ago
- ☆26Oct 19, 2018Updated 8 years ago
- ☆12May 8, 2017Updated 9 years ago
- ☆183Nov 25, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Security Evaluation of Dynamic Binary Instrumentation Engines☆81Sep 1, 2018Updated 8 years ago
- SymGDB - symbolic execution plugin for gdb☆218May 15, 2018Updated 8 years ago
- A stateful fuzzing engine.☆45Nov 14, 2018Updated 7 years ago
- Windows build files for the VMHunt Intel PIN Trace tool☆19Nov 26, 2018Updated 7 years ago
- Python based angr plug in for IDA Pro.☆35Feb 25, 2018Updated 8 years ago
- Timeless debugging with symbolic execution and processor trace☆75Jan 23, 2021Updated 5 years ago
- QEMU VM with generic KVM extensions for symbolic execution☆27Updated this week
- TEMU: The BitBlaze Dynamic Analysis Component (with some patches).☆64Jan 25, 2015Updated 11 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆37May 11, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆81Jun 12, 2017Updated 9 years ago
- Seeding fuzzers with symbolic execution☆203Oct 20, 2017Updated 9 years ago
- Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE☆20Jan 29, 2020Updated 6 years ago
- Code for my blog post on combining S2E and Kaitai Struct☆15Jun 1, 2019Updated 7 years ago
- Your S2E project management tools. Visit https://s2e.systems/docs to get started.☆97May 24, 2026Updated 5 months ago
- ☆127Mar 15, 2021Updated 5 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆13Aug 17, 2017Updated 9 years ago
- A fast execution trace symbolizer for Windows.☆132May 6, 2024Updated 2 years ago
- ☆14Jan 12, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- https://github.com/sk2sat/emu のほうで一から作り直ししてます☆24Jul 8, 2017Updated 9 years ago
- S2E Core Engine Library☆15Jan 7, 2020Updated 6 years ago
- Transfer analysis data between Binary Ninja and IDA☆143Oct 16, 2025Updated last year
- The tool for bugs detection in the process of tainted data processing (based on DBI Intel PIN).☆12Jul 23, 2015Updated 11 years ago
- LAVA: Large-scale Automated Vulnerability Addition☆418Oct 26, 2026Updated last week
- Reversing library based off sleigh from the Ghidra project. Pcode IR access, disassembly, C++17☆13Nov 12, 2021Updated 4 years ago
- This is a fuzzer for Windows SEH buffer overflow.☆15Oct 17, 2017Updated 9 years ago
- A memctl core for macOS that uses a kernel extension.☆15Jan 3, 2018Updated 8 years ago
- QEMU-based framework exposing several of QEMU-internal APIs to a LuaJIT core injected into QEMU itself. Among other things, this allows f…☆156Sep 21, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Plugins for IDA Pro and Hex-Rays☆45Jun 4, 2018Updated 8 years ago
- Automatic Vulnerability Discovery☆39Mar 30, 2019Updated 7 years ago
- Use Dispatch to add AFL-compatible instrumentation to your binaries☆12Dec 30, 2016Updated 9 years ago
- A small tool for quickly generating LLVM passes☆29Sep 22, 2025Updated last year
- REmatch, a complete binary diffing framework that is free and strives to be open source and community driven.☆156Nov 29, 2018Updated 7 years ago
- Extract and generate code based on name and type for mig func/arg/request&reply member etc, ideal helper for creating monitor, tracker, f…☆18Jun 5, 2018Updated 8 years ago
- Constraint solver based on coverage-guided fuzzing☆248Nov 28, 2023Updated 2 years ago