SysSec-KAIST / FirmKit
IoT firmware vulnerability analysis tool based on binary code similarity analysis (BCSA)
☆17Updated 2 years ago
Alternatives and similar repositories for FirmKit:
Users that are interested in FirmKit are comparing it to the libraries listed below
- Symbolic Execution Over Processor Traces☆118Updated 5 months ago
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆64Updated 2 years ago
- Practical Data-Only Attack Generation☆33Updated 7 months ago
- ☆27Updated 3 years ago
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86) adapted to afl++☆44Updated 3 years ago
- Coverage-guided Fuzzing as Online Stochastic Control☆43Updated 2 months ago
- Default query sets for Joern☆26Updated 3 years ago
- ☆35Updated 2 years ago
- ☆38Updated 4 years ago
- ☆57Updated 8 months ago
- Material and examples for a presentation on static binary analysis.☆40Updated 3 years ago
- AFL bindings for Unicorn-Engine☆72Updated 2 weeks ago
- Fuzz testing framework for binary programs using AI☆49Updated last year
- NDSS 2020 - HYPER-CUBE: High-Dimensional Hypervisor Fuzzing☆61Updated last year
- Automate generation of syzkaller's grammar☆14Updated 2 years ago
- Python GUI for seeing what's happening inside a fuzzer☆26Updated 3 years ago
- ☆68Updated 2 years ago
- ☆96Updated 5 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆86Updated 8 months ago
- ☆20Updated 4 months ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- ROP Benchmark is a tool to compare ROP compilers☆41Updated last year
- ☆64Updated 5 years ago
- A data-flow-guided fuzzer☆111Updated last year
- A patched QEMU that exposes an interface for LibAFL-based fuzzers☆72Updated last week
- ☆19Updated 2 years ago
- Identify and test the security of dynamic memory allocators in monolithic firmware images☆43Updated last year
- Binary Ninja Plugin for Generating Callgraphs☆17Updated 3 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆85Updated 3 years ago