{
 "item_id": "ker-stack_insert",
 "kernel": "stack_insert",
 "advisory": "RUSTSEC-2020-0042",
 "crate": "stack",
 "pre_version": "0.3.0",
 "post_version": "0.3.1",
 "advisory_url": "https://github.com/arcnmx/stack-rs/issues/4",
 "title": "Missing check in ArrayVec leads to out-of-bounds write.",
 "source_file": "src/vector.rs",
 "function": "insert_shift_len",
 "signature": "pub fn insert_shift_len(len: usize, index: usize) -> Result<usize, u8>",
 "spec_doc": "Number of elements to shift when inserting at index into a vector of length len; Err if index > len.",
 "bug_class": "panic",
 "fidelity": "model_of_std",
 "extraction_note": "src/vector.rs insert: missing index <= len assert; copy length len - index wrapped (release) -> OOB write",
 "witness_args": "3usize, 5usize",
 "labels": {
  "buggy": "stack@0.3.0",
  "reference": "stack@0.3.1"
 }
}