byteorder 1.5.0

README badge

Claims in public reports for version 1.5.0.

[![proofs.rs](https://img.shields.io/endpoint?url=https%3A%2F%2Fproofs.rs%2Fapi%2Fv1%2Fcrates%2Fbyteorder%2F1.5.0%2Fbadge)](https://proofs.rs/crate/byteorder?version=1.5.0)

crates.io

Reports (1)

#32 Exact endian writes and selected prefix reads, with failure contracts

Aeneas be86ab0 · 42 claims · nyuichi · 2026-11-05

Findings (0)

For version 1.5.0. Statuses are author reported.

No findings reported for this version.

APIs (42)

APIs are imported from documentation or named in published verification records. 42 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.

Trait implementations

No trait implementations.

Recorded callables

<byteorder::BigEndian as Default>::default recorded callable · signature and safety not recorded1 claim

<byteorder::BigEndian as byteorder::ByteOrder>::read_i24 recorded callable · signature and safety not recorded1 claim

<byteorder::BigEndian as byteorder::ByteOrder>::read_i48 recorded callable · signature and safety not recorded1 claim

<byteorder::BigEndian as byteorder::ByteOrder>::read_int recorded callable · signature and safety not recorded1 claim

<byteorder::BigEndian as byteorder::ByteOrder>::read_int128 recorded callable · signature and safety not recorded1 claim

<byteorder::BigEndian as byteorder::ByteOrder>::read_u24 recorded callable · signature and safety not recorded1 claim

<byteorder::BigEndian as byteorder::ByteOrder>::read_u48 recorded callable · signature and safety not recorded1 claim

<byteorder::BigEndian as byteorder::ByteOrder>::read_uint recorded callable · signature and safety not recorded1 claim

<byteorder::BigEndian as byteorder::ByteOrder>::read_uint128 recorded callable · signature and safety not recorded1 claim

<byteorder::BigEndian as byteorder::ByteOrder>::write_f32 recorded callable · signature and safety not recorded1 claim

<byteorder::BigEndian as byteorder::ByteOrder>::write_f64 recorded callable · signature and safety not recorded1 claim

<byteorder::BigEndian as byteorder::ByteOrder>::write_i128 recorded callable · signature and safety not recorded1 claim

<byteorder::BigEndian as byteorder::ByteOrder>::write_i16 recorded callable · signature and safety not recorded1 claim

<byteorder::BigEndian as byteorder::ByteOrder>::write_i32 recorded callable · signature and safety not recorded1 claim

<byteorder::BigEndian as byteorder::ByteOrder>::write_i64 recorded callable · signature and safety not recorded1 claim

<byteorder::BigEndian as byteorder::ByteOrder>::write_u128 recorded callable · signature and safety not recorded1 claim

<byteorder::BigEndian as byteorder::ByteOrder>::write_u16 recorded callable · signature and safety not recorded1 claim

<byteorder::BigEndian as byteorder::ByteOrder>::write_u32 recorded callable · signature and safety not recorded1 claim

<byteorder::BigEndian as byteorder::ByteOrder>::write_u64 recorded callable · signature and safety not recorded1 claim

<byteorder::LittleEndian as Default>::default recorded callable · signature and safety not recorded1 claim

<byteorder::LittleEndian as byteorder::ByteOrder>::from_slice_u128 recorded callable · signature and safety not recorded1 claim

<byteorder::LittleEndian as byteorder::ByteOrder>::from_slice_u16 recorded callable · signature and safety not recorded1 claim

<byteorder::LittleEndian as byteorder::ByteOrder>::from_slice_u32 recorded callable · signature and safety not recorded1 claim

<byteorder::LittleEndian as byteorder::ByteOrder>::from_slice_u64 recorded callable · signature and safety not recorded1 claim

<byteorder::LittleEndian as byteorder::ByteOrder>::read_i24 recorded callable · signature and safety not recorded1 claim

<byteorder::LittleEndian as byteorder::ByteOrder>::read_i48 recorded callable · signature and safety not recorded1 claim

<byteorder::LittleEndian as byteorder::ByteOrder>::read_int recorded callable · signature and safety not recorded1 claim

<byteorder::LittleEndian as byteorder::ByteOrder>::read_int128 recorded callable · signature and safety not recorded1 claim

<byteorder::LittleEndian as byteorder::ByteOrder>::read_u24 recorded callable · signature and safety not recorded1 claim

<byteorder::LittleEndian as byteorder::ByteOrder>::read_u48 recorded callable · signature and safety not recorded1 claim

<byteorder::LittleEndian as byteorder::ByteOrder>::read_uint recorded callable · signature and safety not recorded1 claim

<byteorder::LittleEndian as byteorder::ByteOrder>::read_uint128 recorded callable · signature and safety not recorded1 claim

<byteorder::LittleEndian as byteorder::ByteOrder>::write_f32 recorded callable · signature and safety not recorded1 claim

<byteorder::LittleEndian as byteorder::ByteOrder>::write_f64 recorded callable · signature and safety not recorded1 claim

<byteorder::LittleEndian as byteorder::ByteOrder>::write_i128 recorded callable · signature and safety not recorded1 claim

<byteorder::LittleEndian as byteorder::ByteOrder>::write_i16 recorded callable · signature and safety not recorded1 claim

<byteorder::LittleEndian as byteorder::ByteOrder>::write_i32 recorded callable · signature and safety not recorded1 claim

<byteorder::LittleEndian as byteorder::ByteOrder>::write_i64 recorded callable · signature and safety not recorded1 claim

<byteorder::LittleEndian as byteorder::ByteOrder>::write_u128 recorded callable · signature and safety not recorded1 claim

<byteorder::LittleEndian as byteorder::ByteOrder>::write_u16 recorded callable · signature and safety not recorded1 claim

<byteorder::LittleEndian as byteorder::ByteOrder>::write_u32 recorded callable · signature and safety not recorded1 claim

<byteorder::LittleEndian as byteorder::ByteOrder>::write_u64 recorded callable · signature and safety not recorded1 claim