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).
☆25Jul 1, 2022Updated 3 years ago
Alternatives and similar repositories for lightblue
Users that are interested in lightblue are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis☆82Dec 17, 2024Updated last year
- ☆14Dec 10, 2021Updated 4 years ago
- Piecewise debloating toolchain☆15Dec 21, 2019Updated 6 years ago
- ☆11Apr 7, 2022Updated 4 years ago
- OP-TEE Trusted Applications vulnerable to memory corruption bugs.☆16Jul 3, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Re-randomizing the memory layout of a process at runtime☆22May 28, 2016Updated 10 years ago
- ☆23Apr 7, 2022Updated 4 years ago
- ☆11Jan 8, 2022Updated 4 years ago
- A tool to locate the base address of arm32-little-end firmware binary. ##ARM固件加载基址定位☆36Feb 6, 2020Updated 6 years ago
- Implementation trade-offs in using Intel Pin for instruction tracing of complex programs☆15Oct 16, 2019Updated 6 years ago
- This is the project for the paper “Large-scale Security Measurements on the Android Firmware Ecosystem” in ICSE2022☆38Nov 27, 2024Updated last year
- University of Queensland Binary Translation framework☆26Mar 11, 2019Updated 7 years ago
- ☆19Oct 2, 2022Updated 3 years ago
- Implementation of a thin hypervisor☆43May 20, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Diary of a reverse-engineer blog☆20Oct 2, 2023Updated 2 years ago
- ☆33Sep 11, 2018Updated 7 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Apr 29, 2021Updated 5 years ago
- Project FlowCog (2017)☆27Aug 23, 2018Updated 7 years ago
- ☆17Oct 31, 2022Updated 3 years ago
- A collection of software bug types and articles showcasing the hunt for and exploitation of them.☆20Mar 2, 2021Updated 5 years ago
- ☆37May 19, 2023Updated 3 years ago
- 新闻聚合+新闻推荐网站☆10Jun 21, 2017Updated 8 years ago
- Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic Rewriting☆191Oct 21, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Large-scale Analysis of Cryptographic Misuse in IoT Devices☆23Nov 20, 2019Updated 6 years ago
- a tool for CoreDump☆14Oct 21, 2017Updated 8 years ago
- ☆14Jun 2, 2025Updated 11 months ago
- ☆83Sep 3, 2021Updated 4 years ago
- This project demonstares an illegal read- and write- access to the kernel-mode data for both allocated by 3rd party drivers and EPROCESS …☆13Mar 6, 2018Updated 8 years ago
- ☆12Sep 12, 2020Updated 5 years ago
- ☆39Feb 15, 2022Updated 4 years ago
- A general cross-architecture C/C++ hotpatch solution using customized userspace eBPF runtime. One patch release can fix the same vulnera…☆31Nov 4, 2023Updated 2 years ago
- Repo for the paper "Bounding Training Data Reconstruction in Private (Deep) Learning".☆11Jun 16, 2023Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Broadcom and Cypress firmware emulation for fuzzing and further full-stack debugging☆460Feb 7, 2024Updated 2 years ago
- 对windows-api内容进行自动审查和过滤监控☆14May 30, 2017Updated 8 years ago
- ☆73Oct 25, 2024Updated last year
- A loadable dll that tracks memory changes, IAT hooks, and dynamically emplaced "JMP" in the x86 host executable.☆12Oct 22, 2023Updated 2 years ago
- An implementation of RC4, a software stream cipher.☆10Oct 9, 2019Updated 6 years ago
- Compartmentalization using hardware and software techniques.☆12Aug 28, 2025Updated 9 months ago
- Crack any ftp server by using FTP Crack Elite tool kit, ftp bruteforce☆12Nov 7, 2017Updated 8 years ago