229 matches found
zephyr
.. raw:: html The Zephyr Project is a scalable real-time operating system RTOS supporting multiple hardware architectures, optimized for resource constrained devices, and built with security in mind. The Zephyr OS is based on a small-footprint kernel designed for use on resource-constrained...
embark
EMBArk - The firmware security scanning environment About EMBArk is a tool for centralized firmware analyzing. Scan, Identify, Track, Report. Built to be simple but powerful. It's the web-based enterprise interface for the firmware security scanner EMBA. It is developed to provide the firmware...
renode
Renode Copyright c 2010-2026 Antmicro What is Renode? Renode was created by Antmicro as a virtual development tool for multi-node embedded networks both wired and wireless and is intended to enable a scalable workflow for creating effective, tested and secure IoT systems. With Renode, developing,...
CVE-2021-21401_nanopb-c_AOSP10_R33
Nanopb - Protocol Buffers for Embedded Systems Nanopb is a small code-size Protocol Buffers implementation in ansi C. It is especially suitable for use in microcontrollers, but fits any memory restricted system. Homepage: https://jpa.kapsi.fi/nanopb/ Documentation: https://jpa.kapsi.fi/nanopb/doc...
ufuzz
UFuzz, or Universal Plug and Fuzz, is an automatic UPnP fuzzing tool. It will enumerate all UPnP endpoints on the network, find the available services and fuzz them. It also has the capability to fuzz HTTP using Burp proxy logs. It is designed to fuzz embedded systems, and as such, is only single...
IoT-PT-v1
🛠️ IoT-PT OS v1 Internet of Things Penetration Testing OS - Version 1 📦 What is IoT-PT OS v1? IoT-PT OS v1 is a penetration testing virtual machine designed specifically for IoT security assessments. It includes pre-configured tools, scripts, and environments tailored for firmware analysis,...
tinyos-rtos
TinyOS — Ultra-Lightweight RTOS for IoT An ultra-lightweight real-time operating system for resource-constrained IoT and embedded devices. Kernel footprint under 10 KB, 2 KB minimum RAM, preemptive priority-based scheduling. Features Category| Details ---|--- Kernel| Preemptive priority-based...
openqore
openqore an open-source toolkit to patch, modify, and enhance the firmware of headphones based on the BES chipsets originally started from the soundcore Q35, with future support for other models planned. note: this project is my personal journey into the world of hardware reverse-engineering and...
gdbfuzz
GDBFuzz: Debugger-Driven Fuzzing This is the companion code for the paper: 'Fuzzing Embedded Systems using Debugger Interfaces'. A preprint of the paper can be found here https://publications.cispa.saarland/3950/. The code allows the users to reproduce and extend the results reported in the paper...
renode
Renode Copyright c 2010-2026 Antmicro ¿Qué es Renode? Renode fue creado por Antmicro como una herramienta virtual de desarrollo para redes embebidas multi-nodo tanto cableadas como inalámbricas y está destinado a permitir un flujo de trabajo escalable para crear sistemas IoT efectivos, probados y...
vmlinux-to-elf
vmlinux-to-elf Questo strumento consente di ottenere un file .ELF completamente analizzabile da un'immagine kernel vmlinux/vmlinuz/bzImage/zImage sia un blob binario grezzo che un file .ELF preesistente ma privo di simboli, con simboli di funzioni e variabili recuperati. A tale scopo, esegue una...
wolfssl
Libreria SSL/TLS embedded wolfSSL La libreria SSL embedded wolfSSL precedentemente CyaSSL è una libreria SSL/TLS leggera scritta in ANSI C e pensata per ambienti embedded, RTOS e con risorse limitate - principalmente per via delle sue dimensioni ridotte, velocità e set di funzionalità. È...
gdbfuzz
GDBFuzz: Fuzzing basato su Debugger Questo è il codice di supporto per l'articolo: 'Fuzzing di Sistemi Embedded tramite Interfacce di Debugger'. Una prestampa dell'articolo è disponibile qui https://publications.cispa.saarland/3950/. Il codice consente agli utenti di riprodurre ed estendere i...
zephyr
ElasticSearch index map examples This directory contains ElasticSearch data store index map examples for use by uploadtestresultses.py script for Twister JSON reports upload. An index map file allows to create destination index files on ElasticSearch server with explicit scheme having all require...
Automated Abstraction Refinement for Information Flow Security in Embedded Systems
Information flow analysis IFA is a powerful technique for verifying confidentiality and integrity and is therefore highly desirable for security-sensitive embedded systems. However, as these systems are inherently concurrent and time-dependent, existing IFA for embedded systems tend to be either...
embedded-exploitation
Embedded Exploitation Framework Research & Educational Se...
renode v1.17.0
Renode Copyright c 2010-2026 Antmicro What is Renode? Renode was created by Antmicro as a virtual development tool for multi-node embedded networks both wired and wireless and is intended to enable a scalable workflow for creating effective, tested and secure IoT systems. With Renode, developing,...
CVE-2026-38752 vulnerabilities
Vulnerabilities for packages: busybox...
tamago v1.26.6
TamaGo - bare metal Go tamago | https://github.com/usbarmory/tamago Copyright c The TamaGo Authors. All Rights Reserved. Introduction TamaGo is a framework that enables compilation and execution of unencumbered Go applications on bare metal processors AMD64, ARM, ARM64, RISCV64. The projects spaw...
