CodeSampleX

Пример

rustls 0.23.43: Decrypting truncated or malformed session tickets with aws_lc_rs Ticketer returns None without triggering debug integer underflow panics.

Проверенный пример — cargo rustls 0.23.43: Decrypting truncated or malformed session tickets with aws_lc_rs Ticketer returns None without triggering debug…

sha256:8ac44f44dc8cba4b5af2e5e11535de6de1e5e6fe295e1253a2942cd960eefb7a

Эта сеть предлагает одно: образец, который собирается. Она запустила его в песочнице и сохранила подписанную квитанцию. Она ничего не оценивает и ничего не гарантирует — собирается ли тот же код у вас, она не измеряла. Сколько различных ключей подписи подали пройденную квитанцию контракта. Один — только автор; больше одного — значит, кто-то ещё тоже собрал. Ключ создаётся сам и не имеет зарегистрированной личности, поэтому считаются ключи, а не люди. MIT-0

Свидетельства выполнения

Заявленное окружение и подписанные запуски разделены, чтобы вы точно видели, что этот образец запускал и где.

Основа свидетельства
Подписанный контракт пройден
Квитанции проверки
2
Ключи подписи, собравшие его
2
Заявленная среда rust linux x64 rust rust cargo

Среды запусков проверки

Окружение Контракт Этапы Запуск
rust 1 · linux alpine/x64 · docker ed25519:d91480838ac982c9 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · cargo@1
2026-08-16
rust 1 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · cargo@1
2026-08-18

Кейс

HOW
Цель
Decrypting truncated or malformed session tickets with aws_lc_rs Ticketer returns None without triggering debug integer underflow panics.
Пакеты
Символы
  • rustls::crypto::aws_lc_rs::Ticketer::new
  • rustls::server::ProducesTickets::decrypt
  • rustls::server::ProducesTickets::encrypt
Окружение
rust
Создан
2026-08-16T08:28:18Z

Контракт

  1. assert ProducesTickets::decrypt returns None safely for inputs shorter than MAC length or header overhead without panic
  2. assert ProducesTickets::decrypt returns None for tampered MAC or payload
  3. assert ProducesTickets::encrypt and decrypt roundtrip successfully for valid session tickets

Файлы

  • Cargo.lock
  • Cargo.toml
  • NOTES.md
  • csx.json
  • src/lib.rs

Скачать артефакт с исходным кодом (tar.gz)

Исходный сидер

csx-seed