X-Git-Url: http://git.meshlink.io/?p=meshlink;a=blobdiff_plain;f=src%2Fprf.c;h=3e1b0b54e3162bf27df3eec9d965b1e515d89b79;hp=499d819694890e353e571b2e487a49f5d7d8c500;hb=9cde0d32cf209388cc59b06b7dcb0c3432f97da5;hpb=9e8e77dba3462c4a7f7e758ade4d16bc669fc4a7 diff --git a/src/prf.c b/src/prf.c index 499d8196..3e1b0b54 100644 --- a/src/prf.c +++ b/src/prf.c @@ -23,6 +23,9 @@ #include "ed25519/sha512.h" static void memxor(char *buf, char c, size_t len) { + assert(buf); + assert(len); + for(size_t i = 0; i < len; i++) { buf[i] ^= c; } @@ -33,6 +36,9 @@ static void memxor(char *buf, char c, size_t len) { // TODO: separate key setup from hmac_sha512 static bool hmac_sha512(const char *key, size_t keylen, const char *msg, size_t msglen, char *out) { + assert(msg); + assert(msglen); + char tmp[2 * mdlen]; sha512_context md; @@ -80,6 +86,13 @@ static bool hmac_sha512(const char *key, size_t keylen, const char *msg, size_t */ bool prf(const char *secret, size_t secretlen, char *seed, size_t seedlen, char *out, size_t outlen) { + assert(secret); + assert(secretlen); + assert(seed); + assert(seedlen); + assert(out); + assert(outlen); + /* Data is what the "inner" HMAC function processes. It consists of the previous HMAC result plus the seed. */