////////////
/// Wipe ///
////////////
-static void test_wipe()
+static void test_wipe(void)
{
printf("\tcrypto_wipe\n");
u8 zeroes[50] = {0};
}
}
-static void test_verify()
+static void test_verify(void)
{
p_verify(16, crypto_verify16);
p_verify(32, crypto_verify32);
crypto_chacha20_h(out.buf, key.buf, nonce.buf);
}
-static void test_chacha20()
+static void test_chacha20(void)
{
VECTORS(chacha20);
printf("\tChacha20 (ctr)\n");
crypto_poly1305(out.buf, msg.buf, msg.size, key.buf);
}
-static void test_poly1305()
+static void test_poly1305(void)
{
VECTORS(poly1305);
text.buf, text.size);
}
-static void test_aead()
+static void test_aead(void)
{
VECTORS(aead_ietf);
VECTORS(aead_8439);
msg.buf, msg.size);
}
-static void test_blake2b()
+static void test_blake2b(void)
{
VECTORS(blake2b);
info.buf, info.size);
}
-static void test_sha512()
+static void test_sha512(void)
{
VECTORS(sha512);
VECTORS(sha512_hmac);
free(work_area);
}
-static void test_argon2()
+static void test_argon2(void)
{
VECTORS(argon2);
memcpy(k, tmp, 32);
}
-static void test_x25519()
+static void test_x25519(void)
{
VECTORS(x25519);
VECTORS(x25519_pk);
ASSERT(acc == 0); // No carry is remaining
}
-static void test_edDSA_utils()
+static void test_edDSA_utils(void)
{
printf("\tEdDSA (scalarbase)\n");
FOR (i, 0, 50) {
ASSERT_EQUAL(secret_key + 32, public_key, 32);
}
-static void test_edDSA()
+static void test_edDSA(void)
{
VECTORS(edDSA);
VECTORS(edDSA_pk);
}
}
-static void test_ed25519()
+static void test_ed25519(void)
{
VECTORS(ed_25519);
VECTORS(ed_25519_pk);
ASSERT((u8)check == failure);
}
-static void test_elligator()
+static void test_elligator(void)
{
VECTORS(elligator_dir);
////////////////////////
/// X25519 <-> EdDSA ///
////////////////////////
-static void test_conversions()
+static void test_conversions(void)
{
printf("\tX25519 <-> EdDSA\n");
FOR (i, 0, 32) {
}
//@ ensures \result == 0;
-static int p_wipe()
+static int p_wipe(void)
{
printf("\tcrypto_wipe\n");
u8 zeroes[50] = {0};
}
//@ ensures \result == 0;
-static int p_eddsa_x25519()
+static int p_eddsa_x25519(void)
{
RANDOM_INPUT(e_seed, 32);
u8 secret [64];
}
//@ ensures \result == 0;
-static int p_dirty()
+static int p_dirty(void)
{
int status = 0;
}
//@ ensures \result == 0;
-static int p_x25519_inverse()
+static int p_x25519_inverse(void)
{
int status = 0;
RANDOM_INPUT(b, 32);
return status;
}
//@ ensures \result == 0;
-static int p_verify16(){ return p_verify(16, crypto_verify16); }
+static int p_verify16(void){ return p_verify(16, crypto_verify16); }
//@ ensures \result == 0;
-static int p_verify32(){ return p_verify(32, crypto_verify32); }
+static int p_verify32(void){ return p_verify(32, crypto_verify32); }
//@ ensures \result == 0;
-static int p_verify64(){ return p_verify(64, crypto_verify64); }
+static int p_verify64(void){ return p_verify(64, crypto_verify64); }
#define TEST(name) \
- int v_##name() { \
+ int v_##name(void) { \
return vector_test(name, #name, nb_##name##_vectors, name##_vectors); \
}