purseclab / lightblueLinks
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).
☆22Updated 3 years ago
Alternatives and similar repositories for lightblue
Users that are interested in lightblue are comparing it to the libraries listed below
Sorting:
- ☆80Updated 4 years ago
- ☆67Updated 11 months ago
- Tool to trace ARM Cortex-M assembly instructions and extract arguments to configuration APIs (supervisor calls or function calls).☆31Updated 3 years ago
- ☆53Updated 6 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆89Updated last year
- Code Property Graph (CPG) frontend for binary applications and libraries.☆92Updated 3 years ago
- AFLTeam Collaborative Parallel Fuzzing☆74Updated 3 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆85Updated last week
- ☆67Updated 5 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆31Updated 3 years ago
- Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) o…☆28Updated last year
- CollabFuzz: A Framework for Collaborative Fuzzing☆70Updated 3 years ago
- VxWorks Fuzzer with AFL and QEMU☆48Updated 5 years ago
- Using automata learning to mine models used for fuzzing of statefull systems☆24Updated 4 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated 2 years ago
- Hybrid Interface Aware Fuzz for Android Kernel Drivers☆30Updated 4 years ago
- This is the project of LearnAFL.☆28Updated 5 years ago
- baseband security research☆85Updated 4 years ago
- Automatic modeling of hardware to enable the rehosting of embedded firmware☆84Updated last year
- Qemu Fuzzer.针对Qemu模拟设备的模糊测试工具,主要思路是Host生成种子Data,然后传递给Guest中转程序,由中转程序访问MMIO,以达到和模拟设备的交互,不同于qtest自带的fuzzer.☆45Updated 3 years ago
- Backward Taint Analysis (GUI) on Desktop : Analyzing trace log to determine exploitability by tracking data propagation☆48Updated 8 years ago
- ☆57Updated 4 years ago
- ☆32Updated 3 years ago
- A hacky tool for analysing linux kernel commits☆37Updated 2 years ago
- AntiFuzz: Impeding Fuzzing Audits of Binary Executables☆103Updated 4 years ago
- Value set analysis(VSA) for revealing the possible values (strings) of the keys from mobile app☆43Updated 5 years ago
- Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".☆66Updated 3 years ago
- ☆91Updated 2 years ago
- A gdb for fuzzing☆21Updated 3 years ago
- ☆32Updated 5 years ago