| { | |
| "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" | |
| } | |
| } |