SHiFT: Semi-hosted Fuzz Testing for Embedded Applications
☆17Dec 10, 2024Updated last year
Alternatives and similar repositories for SHiFT
Users that are interested in SHiFT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Artifacts for CO3: Concolic Co-execution for Firmware☆14Dec 30, 2024Updated last year
- Binary Only Thread Sanitizer☆18Aug 10, 2024Updated 2 years ago
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆14Nov 11, 2022Updated 3 years ago
- RangeSanitizer (RSan) detects spatial and temporal memory errors in C/C++ programs using efficient range checks.☆18Nov 4, 2025Updated 10 months ago
- The Berry language for STM32F103.☆11May 14, 2019Updated 7 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.
- ☆48Jul 15, 2022Updated 4 years ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆14Aug 25, 2019Updated 7 years ago
- ☆11May 31, 2018Updated 8 years ago
- Hey folks, this is a repository for papers on LLM for Vuln. Detection area☆91Apr 2, 2025Updated last year
- Simple dashboard (follows MVC pattern) for monitoring temperature, humidity, gas, and sound Arduino sensors via using Kafka (stream-proce…☆11Mar 1, 2023Updated 3 years ago
- ARM PTM decoder, and ARM ETM v4 decoder. ptm2human is a decoder for trace data outputted by Program Trace Macrocell (PTM) and Embedded Tr…☆58Feb 25, 2025Updated last year
- The repository contains public sources of the CPDev (Control Program Developer) virtual machine runtime (VM). The environment is availabl…☆18Nov 21, 2025Updated 10 months ago
- GCC ARM embedded build for Raspberry Pi & Jetson TX2 (armhf 32/64 bit)☆17Feb 7, 2020Updated 6 years ago
- A Practical Tool for Reducing Python Dependency Bloat☆18Nov 3, 2025Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Radar and motion detector purely based on ESP32 onboard wifi radio, multistatic passive version.☆14Dec 24, 2021Updated 4 years ago
- CVE-2024-43451 is a Windows NTLM vulnerability that allows an attacker to force authentication and capture NTLM hashes by using malicious…☆15Jan 21, 2025Updated last year
- ☆11Apr 19, 2025Updated last year
- Design files and associated documentation for Sonata PCB, part of the Sunburst Project☆22Apr 1, 2025Updated last year
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆15Jul 24, 2025Updated last year
- 常用CTF爆破字典整理☆16Apr 8, 2023Updated 3 years ago
- 自动化Google Hacking URL搜集工具☆10Apr 20, 2024Updated 2 years ago
- ☆10Aug 19, 2024Updated 2 years ago
- ☆48May 27, 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.
- code coverage for coding agents☆23Mar 27, 2026Updated 5 months ago
- List the real world programs evaluated in fuzzing papers.☆56Jan 14, 2019Updated 7 years ago
- ☆15Nov 11, 2023Updated 2 years ago
- ☆11Sep 8, 2017Updated 9 years ago
- Documentation for Vilo router vulnerability research☆15Oct 21, 2024Updated last year
- Progress of learning kernel development☆14Nov 20, 2022Updated 3 years ago
- a practical example of Shamir's secret sharing scheme☆22Sep 25, 2024Updated last year
- CVE-2026-49881, using insecure context creation in Android 17's Telecom service to execute arbitrary code as UID 1000 system_server from …☆94Sep 9, 2026Updated last week
- A few minimal bare-metal "hello, world" programs to help learn about the GD32VF103 RISC-V microcontroller without relying on a particular…☆28Feb 27, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- # NEWS-BUZZ is a News Management System which allows users to post and manage various kinds of news content. Or you can say a simple CMS.…☆13May 10, 2020Updated 6 years ago
- RGFuzz: Rule-Guided Fuzzer for WebAssembly Runtimes☆25Jan 10, 2026Updated 8 months ago
- ☆20Feb 6, 2026Updated 7 months ago
- The source code of [Sec'25] Make Agent Defeat Agent: Automatic Detection of Taint-Style Vulnerabilities in LLM-based Agents☆106Apr 13, 2026Updated 5 months ago
- Holistic Greybox Fuzzing of Multi-Language Systems☆28Oct 15, 2022Updated 3 years ago
- The official implementation of USENIX Security'23 paper "Meta-Sift" -- Ten minutes or less to find a 1000-size or larger clean subset on …☆20Apr 27, 2023Updated 3 years ago
- Perry: automated peripheral modeling with symbolic execution☆32Jun 11, 2026Updated 3 months ago