int SHA512_Init()

in source/sha_override.c [92:109]

• 17 lines of code
• 2 McCabe index (conditional complexity)

int SHA512_Init(SHA512_CTX *c) {
    assert(c != NULL);
    if (nondet_bool()) return 0;
    c->h[0] = U64(0x6a09e667f3bcc908);
    c->h[1] = U64(0xbb67ae8584caa73b);
    c->h[2] = U64(0x3c6ef372fe94f82b);
    c->h[3] = U64(0xa54ff53a5f1d36f1);
    c->h[4] = U64(0x510e527fade682d1);
    c->h[5] = U64(0x9b05688c2b3e6c1f);
    c->h[6] = U64(0x1f83d9abfb41bd6b);
    c->h[7] = U64(0x5be0cd19137e2179);

    c->Nl     = 0;
    c->Nh     = 0;
    c->num    = 0;
    c->md_len = SHA512_DIGEST_LENGTH;
    return 1;
}