OSS-Fuzz report: https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=23934
Crash type: Heap-buffer-overflow READ 1 Crash state: Hacl_Chacha20PolyNUMBER_256_aead_decrypt ChaCha20PolyNUMBER_Open sftk_ChaCha20PolyNUMBER_Decrypt
{ "introduced_range": "9a08637f4aa56f0da3c8b1f4f363c7ec7a933a75:bb51393c0d141478d0255f1bd1ee06eb845edeb2", "fixed_range": "919fa5710aec81c21dc26492e499ae541042e68c:7b97d7fbad5d847074ffb0a8cbe14778d78e28ca", "severity": "MEDIUM" }