A Static Differential Analysis Tool of Network Protocol Parsers

The Core Flight System (cFS) Checksum (CS) application.

Main source code repository of the Tamarin prover for security protocol verification.

Fastbot 3.0. The backend for Kea2.

eBPF Certificate Framework

a browser fuzzer

A DL compiler fuzzer

A fuzzer for detecting rendering bugs in web browsers via visual delta consistency.

Unified Diagnostics Service (UDS) and OBD-II (On Board Diagnostics for Vehicles) C Library

🔥🔥 btrace (AKA RheaTrace) is a high-performance Android & iOS tracing tool built on Perfetto. It not only times your methods but also reveals why they’re slow.

基于 Rust 和 RISC-V 的操作系统教程（第一版）

Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.

GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs

Open Source DeepWiki: AI-Powered Wiki Generator for GitHub/Gitlab/Bitbucket Repositories. Join the discord: https://discord.gg/gMwThUMeme

Recent papers about metamorphic testing

Fusing automated UI testing with scripts (property-based testing) for effectively fuzzing Android apps

NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript and Python that runs inside VS Code and supports fuzz, example, and property-based testing

Pioneering Automated GUI Interaction with Native Agents

FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.

Defect Library for LLM-enabled Software

GitHub page for "Large Language Model-Brained GUI Agents: A Survey"

This is the repo for the paper "OS Agents: A Survey on MLLM-based Agents for Computer, Phone and Browser Use" (ACL 2025 Oral).

Dynamic detection of likely invariants