RUSTSEC-2024-0017: Unsoundness in cassandra-cpp

Rust Crates.io Security Advisory


History
Edit
JSON (OSV)

RUSTSEC-2024-0017

Non-idiomatic use of iterators leads to use after free


Reported
Issued

Package

cassandra-cpp
(crates.io)

Type

INFO
Unsound

Categories
Keywords

#memory-safety

#use-after-free

Aliases
References
Patched
  • >=3.0.0

Description

Code that attempts to use an item (e.g., a row) returned by an iterator after the iterator has advanced to the next item will be accessing freed memory and experience undefined behaviour. Code that uses the item and then advances the iterator is unaffected. This problem has always existed.

This is a use-after-free bug, so it’s rated high severity. If your code uses a pre-3.0.0 version of cassandra-rs, and uses an item returned by a cassandra-rs iterator after calling next() on that iterator, then it is vulnerable. However, such code will almost always fail immediately – so we believe it is unlikely that any code using this pattern would have reached production. For peace of mind, we recommend you upgrade anyway.

Patches

The problem has been fixed in version 3.0.0 (commit 299e6ac50f87eb2823a373baec37b590a74994ee). Users should upgrade to ensure their code cannot use the problematic pattern. There is an upgrade guide in the project README.

Workarounds

Ensure all usage fits the expected pattern. For example, use get_first_row() rather than an iterator, or completely process an item before advancing the iterator with next().

Advisory available under CC0-1.0
license.

READ MORE