int SHA384_Init()

in source/sha_override.c [73:90]

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

int SHA384_Init(SHA512_CTX *c) {
    assert(c != NULL);
    if (nondet_bool()) return 0;
    c->h[0] = U64(0xcbbb9d5dc1059ed8);
    c->h[1] = U64(0x629a292a367cd507);
    c->h[2] = U64(0x9159015a3070dd17);
    c->h[3] = U64(0x152fecd8f70e5939);
    c->h[4] = U64(0x67332667ffc00b31);
    c->h[5] = U64(0x8eb44a8768581511);
    c->h[6] = U64(0xdb0c2e0d64f98fa7);
    c->h[7] = U64(0x47b5481dbefa4fa4);

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