/** * unwrap_key() - deciphers AES-WRAPed key */ void macan_unwrap_key(const struct macan_key *key, size_t srclen, uint8_t *dst, uint8_t *src) { #ifdef WITH_KLEE klee_make_symbolic(dst+16, 7, "aes unwrapped key"); (void)key, (void)srclen, (void)src; //Fixes warnings. #else macan_aes_unwrap(key, srclen, dst, src, src); #endif }
/** * unwrap_key() - deciphers AES-WRAPed key */ void macan_unwrap_key(const struct macan_key *key, size_t srclen, uint8_t *dst, uint8_t *src) { macan_aes_unwrap(key, srclen, dst, src, src); }