int SHA224_Init()

in source/sha_override.c [41:55]

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

int SHA224_Init(SHA256_CTX *c) {
    assert(c != NULL);
    if (nondet_bool()) return 0;
    *c        = (const SHA256_CTX){ 0 }; /* memset(c, 0, sizeof(*c)); */
    c->h[0]   = 0xc1059ed8UL;
    c->h[1]   = 0x367cd507UL;
    c->h[2]   = 0x3070dd17UL;
    c->h[3]   = 0xf70e5939UL;
    c->h[4]   = 0xffc00b31UL;
    c->h[5]   = 0x68581511UL;
    c->h[6]   = 0x64f98fa7UL;
    c->h[7]   = 0xbefa4fa4UL;
    c->md_len = SHA224_DIGEST_LENGTH;
    return 1;
}