fuzz: check fido_(assert|cred)_verify(self)?

when fuzzing, ensure fido_assert_verify(), fido_cred_verify(), and
fido_cred_verify_self() always fail.
This commit is contained in:
pedro martelletto
2020-08-09 08:15:38 +02:00
parent 3b5060519f
commit 1cb08f1c3f
2 changed files with 3 additions and 3 deletions

View File

@@ -299,7 +299,7 @@ verify_assert(int type, const unsigned char *cdh_ptr, size_t cdh_len,
}
fido_assert_set_sig(assert, 0, sig_ptr, sig_len);
fido_assert_verify(assert, 0, type, pk);
assert(fido_assert_verify(assert, 0, type, pk) != FIDO_OK);
fido_assert_free(&assert);
}

View File

@@ -306,8 +306,8 @@ verify_cred(int type, const unsigned char *cdh_ptr, size_t cdh_len,
fido_cred_set_x509(cred, x5c_ptr, x5c_len);
fido_cred_set_sig(cred, sig_ptr, sig_len);
fido_cred_verify(cred);
fido_cred_verify_self(cred);
assert(fido_cred_verify(cred) != FIDO_OK);
assert(fido_cred_verify_self(cred) != FIDO_OK);
consume(fido_cred_pubkey_ptr(cred), fido_cred_pubkey_len(cred));
consume(fido_cred_id_ptr(cred), fido_cred_id_len(cred));