mirrors/cpython
1
0
Fork 0
mirror of https://github.com/python/cpython.git synced 2025-11-24 20:30:18 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 10
cpython/Modules/_hacl
History
Miss Islington (bot) 32e60fa220
Some checks are pending
Tests / Change detection (push) Waiting to run
Details
Tests / Docs (push) Blocked by required conditions
Details
Tests / (push) Blocked by required conditions
Details
Tests / Windows MSI (push) Blocked by required conditions
Details
Tests / Check if the ABI has changed (push) Blocked by required conditions
Details
Tests / Check if Autoconf files are up to date (push) Blocked by required conditions
Details
Tests / Check if generated files are up to date (push) Blocked by required conditions
Details
Tests / Ubuntu SSL tests with OpenSSL (push) Blocked by required conditions
Details
Tests / Android (aarch64) (push) Blocked by required conditions
Details
Tests / Android (x86_64) (push) Blocked by required conditions
Details
Tests / WASI (push) Blocked by required conditions
Details
Tests / Hypothesis tests on Ubuntu (push) Blocked by required conditions
Details
Tests / Address sanitizer (push) Blocked by required conditions
Details
Tests / Sanitizers (push) Blocked by required conditions
Details
Tests / Cross build Linux (push) Blocked by required conditions
Details
Tests / CIFuzz (push) Blocked by required conditions
Details
Tests / All required checks pass (push) Blocked by required conditions
Details
Lint / lint (push) Waiting to run
Details
[3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192) 
gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188)

This pulls an updated version of HACL* that fixes the memory leak reported in GH-140120, via an upstream fix.
(cherry picked from commit 3a81313019)

Co-authored-by: Jonathan Protzenko <jonathan.protzenko+github@gmail.com>
2025-10-16 20:53:12 -07:00
..
include/krml [3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192) 2025-10-16 20:53:12 -07:00
internal [3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192) 2025-10-16 20:53:12 -07:00
Hacl_Hash_Blake2b.c [3.14] gh-134069: bump HACL* revision to incoporate memset_s (GH-134027) (#134084) 2025-05-16 10:49:08 +00:00
Hacl_Hash_Blake2b.h [3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192) 2025-10-16 20:53:12 -07:00
Hacl_Hash_Blake2b_Simd256.c [3.14] gh-134069: bump HACL* revision to incoporate memset_s (GH-134027) (#134084) 2025-05-16 10:49:08 +00:00
Hacl_Hash_Blake2b_Simd256.h [3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192) 2025-10-16 20:53:12 -07:00
Hacl_Hash_Blake2b_Simd256_universal2.c
Hacl_Hash_Blake2s.c [3.14] gh-134069: bump HACL* revision to incoporate memset_s (GH-134027) (#134084) 2025-05-16 10:49:08 +00:00
Hacl_Hash_Blake2s.h [3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192) 2025-10-16 20:53:12 -07:00
Hacl_Hash_Blake2s_Simd128.c [3.14] gh-134069: bump HACL* revision to incoporate memset_s (GH-134027) (#134084) 2025-05-16 10:49:08 +00:00
Hacl_Hash_Blake2s_Simd128.h [3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192) 2025-10-16 20:53:12 -07:00
Hacl_Hash_Blake2s_Simd128_universal2.c
Hacl_Hash_MD5.c [3.14] gh-134069: bump HACL* revision to incoporate memset_s (GH-134027) (#134084) 2025-05-16 10:49:08 +00:00
Hacl_Hash_MD5.h [3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192) 2025-10-16 20:53:12 -07:00
Hacl_Hash_SHA1.c [3.14] gh-134069: bump HACL* revision to incoporate memset_s (GH-134027) (#134084) 2025-05-16 10:49:08 +00:00
Hacl_Hash_SHA1.h [3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192) 2025-10-16 20:53:12 -07:00
Hacl_Hash_SHA2.c [3.14] gh-134069: bump HACL* revision to incoporate memset_s (GH-134027) (#134084) 2025-05-16 10:49:08 +00:00
Hacl_Hash_SHA2.h [3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192) 2025-10-16 20:53:12 -07:00
Hacl_Hash_SHA3.c [3.14] gh-134069: bump HACL* revision to incoporate memset_s (GH-134027) (#134084) 2025-05-16 10:49:08 +00:00
Hacl_Hash_SHA3.h [3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192) 2025-10-16 20:53:12 -07:00
Hacl_HMAC.c gh-99108: Implement HACL* HMAC (#130157) 2025-04-04 19:04:00 +02:00
Hacl_HMAC.h [3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192) 2025-10-16 20:53:12 -07:00
Hacl_Streaming_HMAC.c [3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192) 2025-10-16 20:53:12 -07:00
Hacl_Streaming_HMAC.h [3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192) 2025-10-16 20:53:12 -07:00
Hacl_Streaming_Types.h [3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192) 2025-10-16 20:53:12 -07:00
Lib_Memzero0.c [3.14] gh-134069: bump HACL* revision to incoporate memset_s (GH-134027) (#134084) 2025-05-16 10:49:08 +00:00
lib_memzero0.h gh-131298: eliminate HACL* static libraries for cryptographic modules (GH-132438) 2025-04-20 17:40:17 +00:00
libintvector-shim.h gh-99108: Implement HACL* HMAC (#130157) 2025-04-04 19:04:00 +02:00
libintvector.h
python_hacl_namespaces.h [3.14] gh-135532: update Modules/_hacl/python_hacl_namespaces.h (GH-135741) (#135745) 2025-06-20 13:00:37 +02:00
README.md gh-99108: Implement HACL* HMAC (#130157) 2025-04-04 19:04:00 +02:00
refresh.sh [3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192) 2025-10-16 20:53:12 -07:00

README.md

Algorithm implementations used by the hashlib module.

This code comes from the HACL* project.

HACL* is a cryptographic library that has been formally verified for memory safety, functional correctness, and secret independence.

Updating HACL*

Use the refresh.sh script in this directory to pull in a new upstream code version. The upstream git hash used for the most recent code pull is recorded in the script. Modify the script as needed to bring in more if changes are needed based on upstream code refactoring.

Never manually edit HACL* files. Always add transformation shell code to the refresh.sh script to perform any necessary edits. If there are serious code changes needed, work with the upstream repository.

Local files

ACKS