static analysis of C/C++ code

BinTuner

Embedded Base Boot Requirements Specification

A Ghidra processor module for the EFI Byte Code (EBC)

PoC of a UEFI Petya ransomware

A "Hello, world!" template of a Rust binary crate for the ESP-IDF framework.

Remoto: Arduino OPTA IoT Firmware with MQTT

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

A fast generative fuzzer for HTTP

A collection of links related to Linux kernel security and exploitation

Nosey Parker is a command-line tool that finds secrets and sensitive information in textual data and Git history.

The Porygon-Z that's super effective against Secure Boot! (CVE-2022-30203, CVE-2023-21560, CVE-2023-28269, CVE-2023-28249, and more...)

baton drop (CVE-2022-21894): Secure Boot Security Feature Bypass Vulnerability

BINARLY Research Tools and PoCs

Binary Code Summarization: Benchmarking ChatGPT/GPT-4 and Other Large Language Models

A static analyzer for Java, C, C++, and Objective-C

Simple plug-and-play Github Action to block unauthorized outbound traffic (egress) in your Github workflows

Damn Vulnerable UEFI

Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

Nit language

IDA plugin and loader for UEFI firmware analysis and reverse engineering automation

A Binary Ninja plugin that automatically resolves type information for EFI protocol usage.

Helper plugin for analyzing UEFI firmware

RSA attack tool (mainly for ctf) - retrieve private key from weak public key and/or uncipher data

S2E: A platform for multi-path program analysis with selective symbolic execution.

Code auditing productivity multiplier.

Dockerfile an supporting scripts to build and run OpenXPKI using Docker

Ghidra utilities for analyzing PC firmware