Implementation of VexIR2Vec. Scalable Program Embeddings for Binary Codes.

DSPy module for OpenAI Codex SDK - signature-driven agentic workflows

A collection of my Semgrep rules to facilitate vulnerability research.

A data-flow-guided fuzzer

A toolchain for distributed system runtime checkers

Beet is a Daikon front-end and one of the core components of AGORA (Automated Generation of test Oracles for REST APIs), the first approach for the automated generation of test oracles for REST API…

Security Harness Engineering for Robust Program Analysis

Cyber Reasoning Systems for Bug-Finding and Patching in Open Source Software

The agent that grows with you

This MCP is now owned by Aura! Please try out the most intelligent AI agent for Unreal Engine at https://www.tryaura.dev/?utm_source=youtube&utm_medium=video&utm_campaign=flop

Open-source SMA firmware

Converged Security Suite for Intel & AMD platform security features

Best Practice Auditd Configuration

The Redfish Service Validator is a Python3 tool for checking conformance of any "device" with a Redfish service interface against Redfish CSDL schema

A coverage-guided REST API fuzzer developed on top of LibAFL

Patina Firmware

UEFI and SMM Assessment Tool

Buttercup finds and patches software vulnerabilities

A tiny tool for embedding CoSWID tags in EFI binaries

No source code here, this is just where I store the RU.EFI and RU.EXE binary files. They are all encrypted, please find password on my blog page.

Go-based tools for modifying UEFI firmware

Some scripts for IDA Pro to assist with reverse engineering EFI binaries

Ghidra analyzer for UEFI firmware.

Collection of various BIOS/UEFI-related utilities which aid in research and/or modding purposes.

Ghidra debugger plugins for RESim

Distributed LLM inference. Connect home devices into a powerful cluster to accelerate LLM inference. More devices means faster inference.