V OpenVet
Packages Docs Blog Sign in
cargo / beef

beef

cargo

More compact Cow

1 audit github.com/maciejhirsz/beef

Audits

PE Patrick Elsen 2026-05-27

beef@0.5.2 · 1 finding

beef 0.5.2 is a compact Cow replacement: 3-word beef::Cow (vs std's 4-word) and a 2-word beef::lean::Cow on 64-bit that packs length and capacity into one word. Small targeted unsafe for Vec::from_raw_parts round-trips; CI runs miri with strict-provenance. One low-severity correctness finding: lean::Cow borrowed constructors silently truncate length above 2^32, while owned constructors panic — an inconsistency the docs don't address.

datastructure-impl-boundsdatastructure-impl-correctdatastructure-impl-safedatastructure-impl-testedhas-binarieshas-build-exechas-fuzz-testshas-install-exechas-integration-testshas-property-testshas-unit-testsimpl-algorithmimpl-concurrencyimpl-cryptoimpl-datastructureimpl-interpreterimpl-jitimpl-parserimpl-protocolis-benignunsafe-documentedunsafe-minimalunsafe-safeunsafe-testeduses-concurrencyuses-cryptouses-environmentuses-execuses-filesystemuses-interpreteruses-jituses-networkuses-unsafe

Package facts

Registry
cargo
Repository
github.com/maciejhirsz/beef
V openvet · supply-chain audits · open source
CLI Source