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).
☆26Jul 1, 2022Updated 4 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
- ☆16Jul 20, 2018Updated 8 years ago
- Piecewise debloating toolchain☆15Dec 21, 2019Updated 6 years ago
- OP-TEE Trusted Applications vulnerable to memory corruption bugs.☆17Jul 3, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Abstraction layer for Xilinx FPGAs☆15Aug 9, 2019Updated 7 years ago
- ☆11Jan 8, 2022Updated 4 years ago
- A framework for parsing binary data.☆18Aug 12, 2022Updated 4 years ago
- Implementation trade-offs in using Intel Pin for instruction tracing of complex programs☆15Oct 16, 2019Updated 7 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
- ☆26Oct 4, 2018Updated 8 years ago
- ☆19Oct 2, 2022Updated 4 years ago
- University of Queensland Binary Translation framework☆26Mar 11, 2019Updated 7 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 3 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 3 years ago
- ☆33Sep 11, 2018Updated 8 years ago
- A collection of software bug types and articles showcasing the hunt for and exploitation of them.☆21Mar 2, 2021Updated 5 years ago
- 新闻聚合+新闻推荐网站☆10Jun 21, 2017Updated 9 years ago
- BLEDiff is an automated, scalable, property-agnostic, and black-box protocol noncompliance checker for BLE devices.☆13Mar 31, 2023Updated 3 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 8 years ago
- ☆19Oct 31, 2022Updated 3 years ago
- ☆38May 19, 2023Updated 3 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.
- ☆85Sep 3, 2021Updated 5 years ago
- Multi-class classification of Android malware based on CICAndMal2017 dataset: https://www.unb.ca/cic/datasets/andmal2017.html☆13Jan 20, 2020Updated 6 years ago
- Challenge binaries (CBs) and tools from DARPA's Cyber Grand Challenge (CGC)☆20Feb 21, 2022Updated 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 6 years ago
- Decentralized One Time Passwords☆12Dec 11, 2022Updated 3 years ago
- Adversarial machine learning and explainable machine learning for cyber security☆13Jun 21, 2022Updated 4 years ago
- ☆40Feb 15, 2022Updated 4 years ago
- 对windows-api内容进行自动审查和过滤监控☆14May 30, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- a tool for CoreDump☆14Oct 21, 2017Updated 8 years ago
- ☆78Oct 25, 2024Updated last year
- An implementation of RC4, a software stream cipher.☆10Oct 9, 2019Updated 7 years ago
- Clone and moddifications from http://www.secuobs.com/news/15022006-bss_0_8.shtml☆23Nov 5, 2015Updated 10 years ago
- Crack any ftp server by using FTP Crack Elite tool kit, ftp bruteforce☆12Nov 7, 2017Updated 8 years ago
- L2Fuzz Source Code☆45Dec 15, 2023Updated 2 years ago
- Symbolic Execution of Android Framework☆15Jun 25, 2017Updated 9 years ago