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).
☆24Jul 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☆83Dec 17, 2024Updated last year
- ☆14Dec 10, 2021Updated 4 years ago
- ☆17Jul 20, 2018Updated 7 years ago
- ☆11Apr 7, 2022Updated 3 years ago
- Re-randomizing the memory layout of a process at runtime☆21May 28, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆23Apr 7, 2022Updated 3 years ago
- Abstraction layer for Xilinx FPGAs☆15Aug 9, 2019Updated 6 years ago
- ☆11Jan 8, 2022Updated 4 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆11Feb 3, 2020Updated 6 years ago
- A framework for parsing binary data.☆18Aug 12, 2022Updated 3 years ago
- A tool to locate the base address of arm32-little-end firmware binary. ##ARM固件加载基址定位☆37Feb 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☆39Nov 27, 2024Updated last year
- ☆25Oct 4, 2018Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 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 9 years ago
- IoT Malware Similarity Analysis Platform☆45Jan 30, 2022Updated 4 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 4 years ago
- Project FlowCog (2017)☆27Aug 23, 2018Updated 7 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 2 years ago
- Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic Rewriting☆190Oct 21, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 新闻聚合+新闻推荐网站☆10Jun 21, 2017Updated 8 years ago
- Adversarial machine learning and explainable machine learning for cyber security☆13Jun 21, 2022Updated 3 years ago
- Challenge binaries (CBs) and tools from DARPA's Cyber Grand Challenge (CGC)☆20Feb 21, 2022Updated 4 years ago
- ☆82Sep 3, 2021Updated 4 years ago
- 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 9 months 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆38Feb 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…☆30Nov 4, 2023Updated 2 years ago
- Repo for the paper "Bounding Training Data Reconstruction in Private (Deep) Learning".☆11Jun 16, 2023Updated 2 years ago
- Broadcom and Cypress firmware emulation for fuzzing and further full-stack debugging☆460Feb 7, 2024Updated 2 years ago
- 对windows-api内容进行自动审查和过滤监控☆15May 30, 2017Updated 8 years ago
- ☆72Oct 25, 2024Updated last year
- An implementation of RC4, a software stream cipher.☆10Oct 9, 2019Updated 6 years ago