everrs 0.2.1

Bindings for the HACL*/EverCrypt crypto library
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

#include <stdint.h>

void clear_words(void* mem, unsigned int nwords)
{ // Clear 32-bit words from memory. "nwords" indicates the number of words to be zeroed.
  // This function uses the volatile type qualifier to inform the compiler not to optimize out the memory clearing.
    volatile uint32_t *v = mem;

    for (unsigned int i = 0; i < nwords; i++) {
        v[i] = (uint32_t)0U;
    }
}

void Lib_Memzero_clear_words_u16(unsigned int nwords, uint16_t *mem)
{
  clear_words((void*)mem, nwords/2);
}

void Lib_Memzero_clear_words_u8(unsigned int nwords, uint8_t *mem)
{
  clear_words((void*)mem, nwords/4);
}