StarCrossPortal / bincraft
☆81Updated 3 years ago
Alternatives and similar repositories for bincraft:
Users that are interested in bincraft are comparing it to the libraries listed below
- AFL bindings for Unicorn-Engine☆74Updated last week
- Ghidracraft is part of the bincraft project collections, a forked version of Ghidra which mixes in our flavor. Checkout ghidracraft-book …☆86Updated 3 years ago
- Material and examples for a presentation on static binary analysis.☆41Updated 4 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆58Updated 4 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated 2 years ago
- Sloth 🦥 is a coverage guided fuzzing framework for fuzzing Android Native libraries that makes use of libFuzzer and QEMU user-mode emula…☆122Updated last year
- Recover 64 bit ELF executables from memory dump☆87Updated 6 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆101Updated 2 years ago
- Identify and test the security of dynamic memory allocators in monolithic firmware images☆42Updated last year
- Static Binary Instrumentation☆120Updated 3 years ago
- A collection of user-space Linux kernel specific guided fuzzers based on LKL☆78Updated 7 months ago
- AFLplusplus + libprotobuf-mutator = love☆83Updated 5 years ago
- ☆66Updated 5 years ago
- sleigh craft!☆249Updated 3 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆88Updated 3 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆86Updated 10 months ago
- Symbolic Execution Over Processor Traces☆120Updated 7 months ago
- AFLplusplus + libprotobuf-mutator☆55Updated 2 years ago
- ☆42Updated 2 years ago
- Backward Taint Analysis (GUI) on Desktop : Analyzing trace log to determine exploitability by tracking data propagation☆48Updated 8 years ago
- ☆44Updated 4 years ago
- ☆134Updated 3 years ago
- Repository of the findings found by wtf when fuzzing IDA75.☆87Updated 3 years ago
- ☆99Updated 4 years ago
- A data-flow-guided fuzzer☆119Updated last year
- Fuzz testing on JavaScriptCore and WebAssembly in WebKit☆5Updated 5 years ago
- Display Hex-Rays Microcode☆238Updated 2 years ago
- Qemu Fuzzer.针对Qemu模拟设备的模糊测试工具,主要思路是Host生成种子Data,然后传递给Guest中转程序,由中转程序访问MMIO,以达到和模拟设备的交互,不同于qtest自带的fuzzer.☆44Updated 3 years ago
- A docker environment which could run and debug multiarch program, such as mips, arm☆17Updated 4 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆114Updated 3 months ago