Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Development tools

How the repository measures, tests and publishes itself.

SpecificationScope
CompatibilityThe C oracle and its shims per family, byte-identity and decode differential tests, and what each test file covers.
FuzzingAFL targets, oracles, regression replay and the libFuzzer adapters.
Implementation comparisonCriterion and Silesia harness methodology (standard graphs and custom callbacks against C) and recorded results.
Continuous integrationWorkflows, feature probes, AFL smoke runs, Miri and AddressSanitizer selection, coverage gate, hotpath reports and releases.
Documentation publishingSource staging, navigation, section pages, recipe execution, link validation and Pages deployment.

Architecture overview and module map