GitHub - tankf33der/hacl-hmac: HACL HMAC

Demonstration of UB on empty input.

Name		Name	Last commit message	Last commit date
Latest commit History 19 Commits
kremlib/dist/minimal		kremlib/dist/minimal
kremlin		kremlin
.gitignore		.gitignore
COPYING		COPYING
Hacl_HMAC.c		Hacl_HMAC.c
Hacl_HMAC.h		Hacl_HMAC.h
Hacl_Hash.c		Hacl_Hash.c
Hacl_Hash.h		Hacl_Hash.h
Hacl_Kremlib.h		Hacl_Kremlib.h
Hacl_Spec.c		Hacl_Spec.c
Hacl_Spec.h		Hacl_Spec.h
Lib_Memzero0.c		Lib_Memzero0.c
Lib_Memzero0.h		Lib_Memzero0.h
Makefile		Makefile
README.md		README.md
REPORT.md		REPORT.md
evercrypt_targetconfig.h		evercrypt_targetconfig.h
main.c		main.c
tis-generator.l		tis-generator.l
tis.config		tis.config

tankf33der/hacl-hmac