zardus / kuboid
A distributed experimentation platform using kubernetes.
☆12Updated 3 years ago
Alternatives and similar repositories for kuboid:
Users that are interested in kuboid are comparing it to the libraries listed below
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 3 months ago
- Flex 'em lexers☆39Updated 4 years ago
- QEMU enhanced with OS handlers, external plugins, and rapid analysis execution engine.☆41Updated 4 years ago
- ☆38Updated 4 years ago
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86) adapted to afl++☆44Updated 3 years ago
- ☆96Updated 5 years ago
- ☆15Updated 5 years ago
- ☆50Updated last year
- Source code of HAL-fuzz☆147Updated 4 years ago
- AntiFuzz: Impeding Fuzzing Audits of Binary Executables☆101Updated 4 years ago
- Some glue facilitating remote use of IDA (the Interactive DisAssembler) Python API.☆77Updated 4 years ago
- Utilities for generating dynamic traces☆90Updated last week
- Collections of patterns for weggli to find nice bugs☆18Updated last year
- Hashashin: A Fuzzy Matching Tool for Binary Ninja☆93Updated last year
- Patches to afl to fix bugs or add enhancements☆80Updated 5 years ago
- Some much-needed sanity for byte-wrangling in python3.☆43Updated 2 years ago
- Tasteless CTF 2019☆20Updated 5 years ago
- Emulation and Feedback Fuzzing of Firmware with Memory Sanitization☆160Updated 3 years ago
- IoT firmware vulnerability analysis tool based on binary code similarity analysis (BCSA)☆20Updated 2 years ago
- A PCode Emulator for Ghidra.☆108Updated 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
- Exploitation techniques to bypass Clang CFI when applied to Chromium☆113Updated 7 years ago
- Binary Ninja Plugin for Generating Callgraphs☆17Updated 3 years ago
- tool for multi-execution jump coverage introspection☆63Updated 2 months ago
- Challenging testcases for fuzzers☆69Updated last year
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Library for constructing data-centric processing pipelines☆12Updated 3 weeks ago
- ☆43Updated 3 years ago
- A project that uses Binary Ninja and GRAKN.AI to perform static analysis on binary files with the goal of identifying bugs in software.☆32Updated 7 years ago
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints☆124Updated 4 years ago