block-padding 0.4.2

README badge

Claims in public reports for version 0.4.2.

[![proofs.rs](https://img.shields.io/endpoint?url=https%3A%2F%2Fproofs.rs%2Fapi%2Fv1%2Fcrates%2Fblock-padding%2F0.4.2%2Fbadge)](https://proofs.rs/crate/block-padding?version=0.4.2)

crates.io

Reports (2)

#17 Bounded PaddedData unwrap behavior in block-padding 0.4.2

kani 0.68.0 · 1 claim · MasWag · 2026-11-03

#15 Selected raw padding behavior in block-padding 0.4.2

Aeneas be86ab0 · 12 claims · 1 finding · MasWag · 2026-11-03

Findings (1)

For version 0.4.2. Statuses are author reported.

Finding	Status	Report	Links
Empty input panics in three raw unpadding implementations	Reported	#15 · v1	—

APIs (13)

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

<block_padding::AnsiX923 as block_padding::Padding>::raw_pad recorded callable · signature and safety not recorded1 claim

<block_padding::AnsiX923 as block_padding::Padding>::raw_unpad recorded callable · signature and safety not recorded1 claim

<block_padding::Iso10126 as block_padding::Padding>::raw_pad recorded callable · signature and safety not recorded1 claim

<block_padding::Iso10126 as block_padding::Padding>::raw_unpad recorded callable · signature and safety not recorded1 claim

<block_padding::Iso7816 as block_padding::Padding>::raw_pad recorded callable · signature and safety not recorded1 claim

<block_padding::Iso7816 as block_padding::Padding>::raw_unpad recorded callable · signature and safety not recorded1 claim

<block_padding::NoPadding as block_padding::Padding>::raw_pad recorded callable · signature and safety not recorded1 claim

<block_padding::NoPadding as block_padding::Padding>::raw_unpad recorded callable · signature and safety not recorded1 claim

<block_padding::Pkcs7 as block_padding::Padding>::raw_pad recorded callable · signature and safety not recorded1 claim

<block_padding::Pkcs7 as block_padding::Padding>::raw_unpad recorded callable · signature and safety not recorded1 claim

<block_padding::ZeroPadding as block_padding::Padding>::raw_pad recorded callable · signature and safety not recorded1 claim

<block_padding::ZeroPadding as block_padding::Padding>::raw_unpad recorded callable · signature and safety not recorded1 claim

PaddedData::unwrap recorded callable · signature and safety not recorded1 claim