This crate is published as stable 1.1.0 on crates.io.
Do not publish exploitable details publicly before a fix is available. Report security issues privately to the repository owner.
Security-sensitive changes should include:
- tests for default, feature-matrix, target-matrix, WASM compatibility, and
all-features builds through
scripts/checks.sh; - release-codegen inspection for volatile wipe visibility;
- bounded Kani harnesses when
cargo-kaniis installed or via the Kani workflow; - Miri verification on nightly for default,
alloc, and all-features builds; SAFETY.mdupdates for unsafe code;THREAT_MODEL.mdupdates for guarantee or scope changes.
Enable GitHub CodeQL default setup in the repository security settings. Keep the checked-in CI workflow separate from CodeQL so GitHub owns SARIF upload permissions and there is no competing advanced CodeQL workflow in this repo.