Cuttlefish host support debian package.

The Chrome OS Virtual Machine Monitor - Mirror of https://chromium.googlesource.com/crosvm/crosvm/

sandboxing and containment tool used in ChromeOS and Android

Run static analysis tools with Bazel

Rust bindings for the Python interpreter

CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)

Read and write from offsets in Rust.

a smol tcp/ip stack

CodeHawk Abstract Interpretation Engine and Analyzers

CodeHawk Binary Analyzer for malware analysis and general reverse engineering

Safe and rich Rust wrapper around the Vulkan API

Reference implementation of the TCG Trusted Platform Module 2.0 specification.

CodeHawk Java Byte Code Static Analyzer

KT Advance Memory Safety Analyzer for C

Chip8 emulator written in C

StarCraft II Client - protocol definitions used to communicate with StarCraft II.

Runtime verification system for Java, using AspectJ for instrumentation.