integer-encoding 4.1.0

README badge

Claims in public reports for version 4.1.0.

[![proofs.rs](https://img.shields.io/endpoint?url=https%3A%2F%2Fproofs.rs%2Fapi%2Fv1%2Fcrates%2Finteger-encoding%2F4.1.0%2Fbadge)](https://proofs.rs/crate/integer-encoding?version=4.1.0)

varint+zigzag and fixedint integer encoding/decoding (https://developers.google.com/protocol-buffers/docs/encoding)

crates.io

Reports (1)

#10 integer-encoding 4.1.0: selected scalar encoding and fixed-width operations

Aeneas be86ab0 · 80 claims · 5 findings · keiichiw · 2026-10-28

Findings (5)

For version 4.1.0. Statuses are author reported.

Finding	Status	Report	Links
Clarify the exact slice length required by FixedInt methods	Reported	#10 · v1	—
VarIntReader can leave a complete varint partially consumed	Reported	#10 · v1	—
FixedInt overview and methods disagree about endianness	Reported	#10 · v1	—
Complete out-of-range varint is reported as UnexpectedEof	Reported	#10 · v1	—
Generic FixedInt I/O panics for a valid sixteen-byte implementation	Reported	#10 · v1	—

APIs (115)

APIs are imported from documentation or named in published verification records. 80 have at least one claim; a count says nothing about how strong each claim is.

APIClaims · findings

Functions

No functions.

Associated functions

No associated functions.

Methods

No inherent methods.

Traits

`trait FixedInt`

pub fn decode_fixed(src: &[u8]) -> Option<Self>—

pub fn encode_fixed(self: Self, dst: &mut [u8]) -> Option<()>—

pub fn encode_fixed_light(self: Self) -> <Self as integer_encoding::fixed::FixedInt>::Bytes—

pub fn encode_fixed_vec(self: Self) -> Vec<u8>—

pub fn switch_endianness(self: Self) -> Self—

`trait FixedIntAsyncReader`

pub fn read_fixedint_async<'life0, 'async_trait, FI>(self: &'life0 mut Self) -> ::core::pin::Pin<Box<dyn ::core::future::Future<Output = Result<FI>> + 'async_trait>> where FI: 'async_trait + FixedInt, Self: 'async_trait, 'life0: 'async_trait

—

`trait FixedIntAsyncWriter`

pub fn write_fixedint_async<'life0, 'async_trait, FI>(self: &'life0 mut Self, n: FI) -> ::core::pin::Pin<Box<dyn ::core::future::Future<Output = Result<usize>> + 'async_trait>> where FI: 'async_trait + FixedInt, Self: 'async_trait, 'life0: 'async_trait

—

`trait FixedIntReader`

pub fn read_fixedint<FI: FixedInt>(self: &mut Self) -> Result<FI>—

`trait FixedIntWriter`

pub fn write_fixedint<FI: FixedInt>(self: &mut Self, n: FI) -> Result<usize>—

`trait VarInt`

pub fn decode_var(src: &[u8]) -> Option<(Self, usize)>—

pub fn encode_var(self: Self, src: &mut [u8]) -> usize—

pub fn encode_var_vec(self: Self) -> Vec<u8>—

pub fn required_space(self: Self) -> usize—

`trait VarIntAsyncReader`

pub fn read_varint_async<'life0, 'async_trait, VI>(self: &'life0 mut Self) -> ::core::pin::Pin<Box<dyn ::core::future::Future<Output = Result<VI>> + 'async_trait>> where VI: 'async_trait + VarInt, Self: 'async_trait, 'life0: 'async_trait

—

`trait VarIntAsyncWriter`

pub fn write_varint_async<'life0, 'async_trait, VI>(self: &'life0 mut Self, n: VI) -> ::core::pin::Pin<Box<dyn ::core::future::Future<Output = Result<usize>> + 'async_trait>> where VI: 'async_trait + VarInt, Self: 'async_trait, 'life0: 'async_trait

—

`trait VarIntReader`

pub fn read_varint<VI: VarInt>(self: &mut Self) -> Result<VI>—

`trait VarIntWriter`

pub fn write_varint<VI: VarInt>(self: &mut Self, n: VI) -> Result<usize>—

Trait implementations

`impl integer_encoding::FixedInt for …`

fn decode_fixed10 implementations10 claims

fn encode_fixed10 implementations10 claims

fn encode_fixed_light10 implementations10 claims

fn encode_fixed_vec10 implementations10 claims

fn switch_endianness10 implementations10 claims

`impl integer_encoding::FixedIntAsyncReader for AR`

pub fn read_fixedint_async<'life0, 'async_trait, FI>(self: &'life0 mut Self) -> ::core::pin::Pin<Box<dyn ::core::future::Future<Output = Result<FI>> + 'async_trait>> where FI: 'async_trait + FixedInt, Self: 'async_trait, 'life0: 'async_trait

—

`impl integer_encoding::FixedIntAsyncWriter for AW`

pub fn write_fixedint_async<'life0, 'async_trait, FI>(self: &'life0 mut Self, n: FI) -> ::core::pin::Pin<Box<dyn ::core::future::Future<Output = Result<usize>> + 'async_trait>> where FI: 'async_trait + FixedInt, Self: 'async_trait, 'life0: 'async_trait

—

`impl integer_encoding::FixedIntReader for R`

pub fn read_fixedint<FI: FixedInt>(self: &mut Self) -> Result<FI>—

`impl integer_encoding::FixedIntWriter for W`

pub fn write_fixedint<FI: FixedInt>(self: &mut Self, n: FI) -> Result<usize>—

`impl integer_encoding::VarInt for …`

fn decode_var10 implementations—

impl integer_encoding::VarInt for i16—

impl integer_encoding::VarInt for i32—

impl integer_encoding::VarInt for i64—

impl integer_encoding::VarInt for i8—

impl integer_encoding::VarInt for isize—

impl integer_encoding::VarInt for u16—

impl integer_encoding::VarInt for u32—

impl integer_encoding::VarInt for u64—

impl integer_encoding::VarInt for u8—

impl integer_encoding::VarInt for usize—

fn encode_var10 implementations10 claims

fn encode_var_vec10 implementations10 claims

fn required_space10 implementations10 claims

`impl integer_encoding::VarIntAsyncReader for AR`

pub fn read_varint_async<'life0, 'async_trait, VI>(self: &'life0 mut Self) -> ::core::pin::Pin<Box<dyn ::core::future::Future<Output = Result<VI>> + 'async_trait>> where VI: 'async_trait + VarInt, Self: 'async_trait, 'life0: 'async_trait

—

`impl integer_encoding::VarIntAsyncWriter for AW`

pub fn write_varint_async<'life0, 'async_trait, VI>(self: &'life0 mut Self, n: VI) -> ::core::pin::Pin<Box<dyn ::core::future::Future<Output = Result<usize>> + 'async_trait>> where VI: 'async_trait + VarInt, Self: 'async_trait, 'life0: 'async_trait

—

`impl integer_encoding::VarIntReader for R`

pub fn read_varint<VI: VarInt>(self: &mut Self) -> Result<VI>—

`impl integer_encoding::VarIntWriter for Inner`

pub fn write_varint<VI: VarInt>(self: &mut Self, n: VI) -> Result<usize>—