{
 "item_id": "ker-ring_ctr",
 "kernel": "ring_ctr",
 "advisory": "RUSTSEC-2025-0009",
 "crate": "ring",
 "pre_version": "0.17.11",
 "post_version": "0.17.12",
 "advisory_url": "https://github.com/briansmith/ring/blob/main/RELEASES.md#version-01712-2025-03-05",
 "title": "Some AES functions may panic when overflow checking is enabled.",
 "source_file": "src/aead/aes.rs",
 "function": "increment_by",
 "signature": "pub fn increment_by(old_value: u32, increment_by: u32) -> u32",
 "spec_doc": "Increments a 32-bit big-endian AES-GCM block counter, wrapping modulo 2^32.",
 "bug_class": "overflow",
 "fidelity": "verbatim_logic",
 "extraction_note": "src/aead/aes.rs increment_by_less_safe: + panics with overflow checks",
 "witness_args": "4294967295u32, 1u32",
 "labels": {
  "buggy": "ring@0.17.11",
  "reference": "ring@0.17.12"
 }
}