cargo / bit-vec

bit-vec

cargo

A vector of bits

Audits

PE Patrick Elsen 2026-05-27

bit-vec@0.8.0 · 3 findings

no_std bit-vector with a four-fn unsafe surface, each documented and Miri-tested. One medium correctness finding (derived Deserialize impls skip the last-block invariant, enabling panics or wrong aggregates from hostile input) and two low quality findings. Safe to deploy for in-process use; gate untrusted serialized input.

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
PE Patrick Elsen 2026-05-27

bit-vec@0.6.3 · 3 findings

bit-vec 0.6.3 is a #![no_std] bit-vector crate with no ambient capabilities; two unsafe fn declarations contain no unsafe operations. Three low-severity quality findings (stale docs, no property tests, duplicated comment phrase); safe to deploy.

algorithm-impl-boundsalgorithm-impl-correctalgorithm-impl-safealgorithm-impl-testeddatastructure-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