9565668261

Committed 18 Jun 2024 01:10PM UTC coverage: 48.135% (-5.9%) from 54.055%

Build # 9565668261

Build Type

push

github

Committed by

web-flow

Commit Message

Merge pull request #461 from cryspen/franziskus/update-hacl-star

update hacl star

Run Details

1867 of 10088 new or added lines in 12 files covered. (18.51%)

24 existing lines in 6 files now uncovered.

29403 of 61085 relevant lines covered (48.13%)

1067323.66 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

64.29

/src/Lib_RandomBuffer_System.c

#include "Lib_RandomBuffer_System.h"

#if (defined(_WIN32) || defined(_WIN64))

#include <inttypes.h>
#include <stdbool.h>
#include <malloc.h>
#include <windows.h>

bool read_random_bytes(uint32_t len, uint8_t *buf) {
  HCRYPTPROV ctxt;
  if (!(CryptAcquireContext(&ctxt, NULL, NULL, PROV_RSA_FULL,
                            CRYPT_VERIFYCONTEXT))) {
    DWORD error = GetLastError();
    /* printf("Cannot acquire crypto context: 0x%lx\n", error); */
    return false;
  }
  bool pass = true;
  if (!(CryptGenRandom(ctxt, (uint64_t)len, buf))) {
    /* printf("Cannot read random bytes\n"); */
    pass = false;
  }
  CryptReleaseContext(ctxt, 0);
  return pass;
}

#else

/* assume POSIX here */
#include <fcntl.h>
#include <stdlib.h>
#include <sys/stat.h>
#include <sys/types.h>
#include <sys/syscall.h>
#include <unistd.h>

bool read_random_bytes(uint32_t len, uint8_t *buf) {
#ifdef SYS_getrandom
  ssize_t res = syscall(SYS_getrandom, buf, (size_t)len, 0);
  if (res == -1) {
    return false;
  }
#else // !defined(SYS_getrandom)
  int fd = open("/dev/urandom", O_RDONLY);
  if (fd == -1) {
    return false;
  }
  ssize_t res = read(fd, buf, (uint64_t)len);
  close(fd);
#endif // defined(SYS_getrandom)
  return ((size_t)res == (size_t)len);
}

#endif

// WARNING: this function is deprecated
bool Lib_RandomBuffer_System_randombytes(uint8_t *x, uint32_t len) {
  return read_random_bytes(len, x);
}

void Lib_RandomBuffer_System_crypto_random(uint8_t *x, uint32_t len) {
    while(!read_random_bytes(len, x)) {}
}

1	#include "Lib_RandomBuffer_System.h"
2
3	#if (defined(_WIN32) \|\| defined(_WIN64))
4
5	#include <inttypes.h>
6	#include <stdbool.h>
7	#include <malloc.h>
8	#include <windows.h>
9
10	bool read_random_bytes(uint32_t len, uint8_t *buf) {
11	HCRYPTPROV ctxt;
12	if (!(CryptAcquireContext(&ctxt, NULL, NULL, PROV_RSA_FULL,
13	CRYPT_VERIFYCONTEXT))) {
14	DWORD error = GetLastError();
15	/* printf("Cannot acquire crypto context: 0x%lx\n", error); */
16	return false;
17	}
18	bool pass = true;
19	if (!(CryptGenRandom(ctxt, (uint64_t)len, buf))) {
20	/* printf("Cannot read random bytes\n"); */
21	pass = false;
22	}
23	CryptReleaseContext(ctxt, 0);
24	return pass;
25	}
26
27	#else
28
29	/* assume POSIX here */
30	#include <fcntl.h>
31	#include <stdlib.h>
32	#include <sys/stat.h>
33	#include <sys/types.h>
34	#include <sys/syscall.h>
35	#include <unistd.h>
36
37	bool read_random_bytes(uint32_t len, uint8_t *buf) {	40✔
38	#ifdef SYS_getrandom	40✔
39	ssize_t res = syscall(SYS_getrandom, buf, (size_t)len, 0);	40✔
40	if (res == -1) {	40✔
UNCOV 41	return false;	×
UNCOV 42	}	×
43	#else // !defined(SYS_getrandom)
44	int fd = open("/dev/urandom", O_RDONLY);
45	if (fd == -1) {
46	return false;
47	}
48	ssize_t res = read(fd, buf, (uint64_t)len);
49	close(fd);
50	#endif // defined(SYS_getrandom)
51	return ((size_t)res == (size_t)len);	40✔
52	}	40✔
53
54	#endif
55
56	// WARNING: this function is deprecated
57	bool Lib_RandomBuffer_System_randombytes(uint8_t *x, uint32_t len) {	40✔
58	return read_random_bytes(len, x);	40✔
59	}	40✔
60
61	void Lib_RandomBuffer_System_crypto_random(uint8_t *x, uint32_t len) {	×
62	while(!read_random_bytes(len, x)) {}	×
63	}	×

cryspen / hacl-packages / 9565668261

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous