purseclab / lightblue
An automatic framework to remove unneeded and unsafe code from Bluetooth stacks of Android and Linux, using both source code analysis (LLVM) and binary analysis (angr).
☆21Updated 2 years ago
Alternatives and similar repositories for lightblue:
Users that are interested in lightblue are comparing it to the libraries listed below
- Automatic modeling of hardware to enable the rehosting of embedded firmware☆82Updated last year
- ☆74Updated 3 years ago
- ☆20Updated 2 years ago
- ☆62Updated 5 months ago
- ☆45Updated 2 years ago
- ☆38Updated 4 years ago
- This repository contains the code for a fuzzing prototype for the OP-TEE system call interface using AFL.☆135Updated 3 years ago
- ☆55Updated 4 years ago
- Tool to trace ARM Cortex-M assembly instructions and extract arguments to configuration APIs (supervisor calls or function calls).☆29Updated 3 years ago
- DiAne is a smart fuzzer for IoT devices☆39Updated last year
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆86Updated 10 months ago
- Hybrid Interface Aware Fuzz for Android Kernel Drivers☆31Updated 3 years ago
- ☆27Updated 3 years ago
- Recent security papers on firmware analysis☆75Updated 3 years ago
- ☆66Updated 5 years ago
- Large-scale Analysis of Cryptographic Misuse in IoT Devices☆22Updated 5 years ago
- ☆18Updated 3 months ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆82Updated last month
- ☆50Updated last year
- Perry: automated peripheral modeling with symbolic execution☆24Updated 10 months ago
- ☆53Updated 5 years ago
- ☆32Updated 4 years ago
- Using automata learning to mine models used for fuzzing of statefull systems☆24Updated 3 years ago
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- ☆64Updated 6 years ago
- ☆32Updated 2 years ago
- A Universal MCU Firmware Emulator for Dynamic Analysis without Any Hardware Dependence.☆137Updated last year
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- Source code of MEUZZ fuzzer☆45Updated 3 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago