---
id: RUSTSEC-2026-0272
title: >-
  Panic-safety unsoundness in `Stack::pop`, `Fifo::pop_front` and
  `Value::replace_stable` (use-after-free / double-free)
summary: >-
  Panic-safety unsoundness in `Stack::pop`, `Fifo::pop_front` and
  `Value::replace_stable` (use-after-free / double-free)
severity: none
vendor: stack_dst
product: stack_dst
ecosystem: rust
affected:
  - 'stack_dst >= 0.0.0-0, < 0.8.2'
patched:
  - stack_dst 0.8.2
published: '2026-08-27'
updated: '2026-08-31'
source: OSV
sourceUrl: 'https://osv.dev/vulnerability/RUSTSEC-2026-0272'
references:
  - url: 'https://crates.io/crates/stack_dst'
  - url: 'https://rustsec.org/advisories/RUSTSEC-2026-0272.html'
  - url: 'https://github.com/thepowersgang/stack_dst-rs/issues/16'
tags:
  - osv
  - rust
ingestedAt: '2026-08-31T19:30:40.346Z'
---

## Overview

Three removal and replacement paths destroy an initialized value before
committing the metadata change that removes it. Destruction runs `T::drop()`,
which is user code and may panic. If it does, the commit is skipped and the
container still claims ownership of the already-destroyed value, so its own
destructor drops that value a second time.

`Stack::pop` drops the top value before reducing `next_ofs`. `Stack`'s
destructor pops in a loop, so an unchanged `next_ofs` re-drops the same value.

`Fifo::pop_front` (via `pop_front_inner`) drops the front value before advancing
`read_pos`. An unchanged `read_pos` still points at the destroyed value.

`Value::replace_stable` drops the existing value before writing the replacement.
If the destructor panics the replacement is never written, but the backing
storage still holds the old value's metadata.

This is separate from RUSTSEC-2021-0033, which covered a clone panic on
insertion in `push_cloned` and was fixed in 0.6.1.

## Impact

A heap-owning value is freed twice, corrupting the allocator. Reachable from
safe Rust with any element type whose `Drop` can panic — no `unsafe` on the
caller's side.

* CWE-415 (Double Free)
* CWE-416 (Use-After-Free)

Confirmed under AddressSanitizer, which reports `attempting double-free` on all
three paths.

## Fix

Fixed in 0.8.2.

## Affected packages

- `stack_dst >= 0.0.0-0, < 0.8.2`

## Remediation

Upgrade to a patched release:

- `stack_dst 0.8.2`