Threat Model by Alpha-Omega
Model collection

Concrete contracts, not blank templates.

Each example is bound to a source commit and published with its status, confidence, unresolved questions, and machine-readable artifacts.

Unratified draft C

zlib threat model

In-process compression and decompression where compressed bytes are untrusted, the caller owns buffers and budgets, and checksums do not provide authenticity.

7
claimed properties
4
input rows
5
open questions
Explore model →
A deliberately curated collection. New models should add a distinct project shape, pass the repository’s validation gates, expose their provenance, and remain pinned to the tree they describe. Generated does not mean project-endorsed.