зеркало из https://github.com/nextcloud/desktop.git
330 строки
10 KiB
C
330 строки
10 KiB
C
/*
|
|
* Tests are taken form lookup2.c and lookup8.c
|
|
* by Bob Jenkins, December 1996, Public Domain.
|
|
*
|
|
* See http://burtleburtle.net/bob/hash/evahash.html
|
|
*/
|
|
#include "torture.h"
|
|
|
|
#include "common/c_jhash.h"
|
|
|
|
#define HASHSTATE 1
|
|
#define HASHLEN 1
|
|
#define MAXPAIR 80
|
|
#define MAXLEN 70
|
|
|
|
static void check_c_jhash_trials(void **state)
|
|
{
|
|
uint8_t qa[MAXLEN+1], qb[MAXLEN+2], *a = &qa[0], *b = &qb[1];
|
|
uint32_t c[HASHSTATE];
|
|
uint32_t d[HASHSTATE];
|
|
uint32_t i = 0;
|
|
uint32_t j = 0;
|
|
uint32_t k = 0;
|
|
uint32_t l = 0;
|
|
uint32_t m = 0;
|
|
uint32_t z = 0;
|
|
uint32_t e[HASHSTATE],f[HASHSTATE],g[HASHSTATE],h[HASHSTATE];
|
|
uint32_t x[HASHSTATE],y[HASHSTATE];
|
|
uint32_t hlen = 0;
|
|
|
|
(void) state; /* unused */
|
|
|
|
for (hlen=0; hlen < MAXLEN; ++hlen) {
|
|
z=0;
|
|
for (i=0; i<hlen; ++i) { /*----------------------- for each input byte, */
|
|
for (j=0; j<8; ++j) { /*------------------------ for each input bit, */
|
|
for (m=1; m<8; ++m) { /*------------ for several possible initvals, */
|
|
for (l=0; l<HASHSTATE; ++l) e[l]=f[l]=g[l]=h[l]=x[l]=y[l]=~((uint32_t)0);
|
|
|
|
/*---- check that every output bit is affected by that input bit */
|
|
for (k=0; k<MAXPAIR; k+=2) {
|
|
uint32_t finished=1;
|
|
/* keys have one bit different */
|
|
for (l=0; l<hlen+1; ++l) {a[l] = b[l] = (uint8_t)0;}
|
|
/* have a and b be two keys differing in only one bit */
|
|
a[i] ^= (k<<j);
|
|
a[i] ^= (k>>(8-j));
|
|
c[0] = c_jhash(a, hlen, m);
|
|
b[i] ^= ((k+1)<<j);
|
|
b[i] ^= ((k+1)>>(8-j));
|
|
d[0] = c_jhash(b, hlen, m);
|
|
/* check every bit is 1, 0, set, and not set at least once */
|
|
for (l=0; l<HASHSTATE; ++l) {
|
|
e[l] &= (c[l]^d[l]);
|
|
f[l] &= ~(c[l]^d[l]);
|
|
g[l] &= c[l];
|
|
h[l] &= ~c[l];
|
|
x[l] &= d[l];
|
|
y[l] &= ~d[l];
|
|
if (e[l]|f[l]|g[l]|h[l]|x[l]|y[l]) finished=0;
|
|
}
|
|
if (finished) break;
|
|
}
|
|
if (k>z) z=k;
|
|
if (k==MAXPAIR) {
|
|
print_error("Some bit didn't change: ");
|
|
print_error("%.8x %.8x %.8x %.8x %.8x %.8x ",
|
|
e[0], f[0], g[0], h[0], x[0], y[0]);
|
|
print_error("i %d j %d m %d len %d\n",i,j,m,hlen);
|
|
}
|
|
if (z == MAXPAIR) {
|
|
if (z < MAXPAIR) {
|
|
assert_true(z < MAXPAIR);
|
|
// print_error("%u trials needed, should be less than 40\n", z/2);
|
|
return;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
static void check_c_jhash_alignment_problems(void **state)
|
|
{
|
|
uint32_t test = 0;
|
|
uint8_t buf[MAXLEN+20];
|
|
uint8_t *b = NULL;
|
|
uint32_t len = 0;
|
|
uint8_t q[] = "This is the time for all good men to come to the aid of their country";
|
|
uint8_t qq[] = "xThis is the time for all good men to come to the aid of their country";
|
|
uint8_t qqq[] = "xxThis is the time for all good men to come to the aid of their country";
|
|
uint8_t qqqq[] = "xxxThis is the time for all good men to come to the aid of their country";
|
|
uint32_t h = 0;
|
|
uint32_t i = 0;
|
|
uint32_t j = 0;
|
|
uint32_t ref = 0;
|
|
uint32_t x = 0;
|
|
uint32_t y = 0;
|
|
|
|
(void) state; /* unused */
|
|
|
|
test = c_jhash(q, sizeof(q)-1, (uint32_t)0);
|
|
assert_true(test == c_jhash(qq+1, sizeof(q)-1, (uint32_t)0));
|
|
assert_true(test == c_jhash(qq+1, sizeof(q)-1, (uint32_t)0));
|
|
assert_true(test == c_jhash(qqq+2, sizeof(q)-1, (uint32_t)0));
|
|
assert_true(test == c_jhash(qqqq+3, sizeof(q)-1, (uint32_t)0));
|
|
for (h=0, b=buf+1; h<8; ++h, ++b) {
|
|
for (i=0; i<MAXLEN; ++i) {
|
|
len = i;
|
|
for (j=0; j<i; ++j) *(b+j)=0;
|
|
|
|
/* these should all be equal */
|
|
ref = c_jhash(b, len, (uint32_t)1);
|
|
*(b+i)=(uint8_t)~0;
|
|
*(b-1)=(uint8_t)~0;
|
|
x = c_jhash(b, len, (uint32_t)1);
|
|
y = c_jhash(b, len, (uint32_t)1);
|
|
assert_false((ref != x) || (ref != y));
|
|
}
|
|
}
|
|
}
|
|
|
|
static void check_c_jhash_null_strings(void **state)
|
|
{
|
|
uint8_t buf[1];
|
|
uint32_t h = 0;
|
|
uint32_t i = 0;
|
|
uint32_t t = 0;
|
|
|
|
(void) state; /* unused */
|
|
|
|
buf[0] = ~0;
|
|
for (i=0, h=0; i<8; ++i) {
|
|
t = h;
|
|
h = c_jhash(buf, (uint32_t)0, h);
|
|
assert_false(t == h);
|
|
// print_error("0-byte-string check failed: t = %.8x, h = %.8x", t, h);
|
|
}
|
|
}
|
|
|
|
static void check_c_jhash64_trials(void **state)
|
|
{
|
|
uint8_t qa[MAXLEN + 1], qb[MAXLEN + 2];
|
|
uint8_t *a = NULL, *b = NULL;
|
|
uint64_t c[HASHSTATE];
|
|
uint64_t d[HASHSTATE];
|
|
uint64_t i = 0;
|
|
uint64_t j=0;
|
|
uint64_t k = 0;
|
|
uint64_t l = 0;
|
|
uint64_t m = 0;
|
|
uint64_t z = 0;
|
|
uint64_t e[HASHSTATE];
|
|
uint64_t f[HASHSTATE];
|
|
uint64_t g[HASHSTATE];
|
|
uint64_t h[HASHSTATE];
|
|
uint64_t x[HASHSTATE];
|
|
uint64_t y[HASHSTATE];
|
|
uint64_t hlen = 0;
|
|
|
|
(void) state; /* unused */
|
|
|
|
a = &qa[0];
|
|
b = &qb[1];
|
|
|
|
for (hlen=0; hlen < MAXLEN; ++hlen) {
|
|
z=0;
|
|
for (i=0; i<hlen; ++i) { /*----------------------- for each byte, */
|
|
for (j=0; j<8; ++j) { /*------------------------ for each bit, */
|
|
for (m=0; m<8; ++m) { /*-------- for several possible levels, */
|
|
for (l=0; l<HASHSTATE; ++l) e[l]=f[l]=g[l]=h[l]=x[l]=y[l]=~((uint64_t)0);
|
|
|
|
/*---- check that every input bit affects every output bit */
|
|
for (k=0; k<MAXPAIR; k+=2) {
|
|
uint64_t finished=1;
|
|
/* keys have one bit different */
|
|
for (l=0; l<hlen+1; ++l) {a[l] = b[l] = (uint8_t)0;}
|
|
/* have a and b be two keys differing in only one bit */
|
|
a[i] ^= (k<<j);
|
|
a[i] ^= (k>>(8-j));
|
|
c[0] = c_jhash64(a, hlen, m);
|
|
b[i] ^= ((k+1)<<j);
|
|
b[i] ^= ((k+1)>>(8-j));
|
|
d[0] = c_jhash64(b, hlen, m);
|
|
/* check every bit is 1, 0, set, and not set at least once */
|
|
for (l=0; l<HASHSTATE; ++l)
|
|
{
|
|
e[l] &= (c[l]^d[l]);
|
|
f[l] &= ~(c[l]^d[l]);
|
|
g[l] &= c[l];
|
|
h[l] &= ~c[l];
|
|
x[l] &= d[l];
|
|
y[l] &= ~d[l];
|
|
if (e[l]|f[l]|g[l]|h[l]|x[l]|y[l]) finished=0;
|
|
}
|
|
if (finished) break;
|
|
}
|
|
if (k>z) z=k;
|
|
if (k==MAXPAIR) {
|
|
#if 0
|
|
print_error("Some bit didn't change: ");
|
|
print_error("%.8llx %.8llx %.8llx %.8llx %.8llx %.8llx ",
|
|
(long long unsigned int) e[0],
|
|
(long long unsigned int) f[0],
|
|
(long long unsigned int) g[0],
|
|
(long long unsigned int) h[0],
|
|
(long long unsigned int) x[0],
|
|
(long long unsigned int) y[0]);
|
|
print_error("i %d j %d m %d len %d\n",
|
|
(uint32_t)i,(uint32_t)j,(uint32_t)m,(uint32_t)hlen);
|
|
#endif
|
|
}
|
|
if (z == MAXPAIR) {
|
|
if (z < MAXPAIR) {
|
|
#if 0
|
|
print_error("%lu trials needed, should be less than 40", z/2);
|
|
#endif
|
|
assert_true(z < MAXPAIR);
|
|
}
|
|
return;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
static void check_c_jhash64_alignment_problems(void **state)
|
|
{
|
|
uint8_t buf[MAXLEN+20];
|
|
uint8_t *b = NULL;
|
|
uint64_t len = 0;
|
|
uint8_t q[] = "This is the time for all good men to come to the aid of their country";
|
|
uint8_t qq[] = "xThis is the time for all good men to come to the aid of their country";
|
|
uint8_t qqq[] = "xxThis is the time for all good men to come to the aid of their country";
|
|
uint8_t qqqq[] = "xxxThis is the time for all good men to come to the aid of their country";
|
|
uint8_t o[] = "xxxxThis is the time for all good men to come to the aid of their country";
|
|
uint8_t oo[] = "xxxxxThis is the time for all good men to come to the aid of their country";
|
|
uint8_t ooo[] = "xxxxxxThis is the time for all good men to come to the aid of their country";
|
|
uint8_t oooo[] = "xxxxxxxThis is the time for all good men to come to the aid of their country";
|
|
uint64_t h = 0;
|
|
uint64_t i = 0;
|
|
uint64_t j = 0;
|
|
uint64_t ref = 0;
|
|
uint64_t t = 0;
|
|
uint64_t x = 0;
|
|
uint64_t y = 0;
|
|
|
|
(void) state; /* unused */
|
|
|
|
h = c_jhash64(q+0, (uint64_t)(sizeof(q)-1), (uint64_t)0);
|
|
t = h;
|
|
assert_true(t == h);
|
|
// , "%.8lx%.8lx\n", (uint32_t)h, (uint32_t)(h>>32));
|
|
h = c_jhash64(qq+1, (uint64_t)(sizeof(q)-1), (uint64_t)0);
|
|
assert_true(t == h);
|
|
// , "%.8lx%.8lx\n", (uint32_t)h, (uint32_t)(h>>32));
|
|
h = c_jhash64(qqq+2, (uint64_t)(sizeof(q)-1), (uint64_t)0);
|
|
assert_true(t == h);
|
|
// , "%.8lx%.8lx\n", (uint32_t)h, (uint32_t)(h>>32));
|
|
h = c_jhash64(qqqq+3, (uint64_t)(sizeof(q)-1), (uint64_t)0);
|
|
assert_true(t == h);
|
|
// , "%.8lx%.8lx\n", (uint32_t)h, (uint32_t)(h>>32));
|
|
h = c_jhash64(o+4, (uint64_t)(sizeof(q)-1), (uint64_t)0);
|
|
assert_true(t == h);
|
|
// , "%.8lx%.8lx\n", (uint32_t)h, (uint32_t)(h>>32));
|
|
h = c_jhash64(oo+5, (uint64_t)(sizeof(q)-1), (uint64_t)0);
|
|
assert_true(t == h);
|
|
// , "%.8lx%.8lx\n", (uint32_t)h, (uint32_t)(h>>32));
|
|
h = c_jhash64(ooo+6, (uint64_t)(sizeof(q)-1), (uint64_t)0);
|
|
assert_true(t == h);
|
|
// , "%.8lx%.8lx\n", (uint32_t)h, (uint32_t)(h>>32));
|
|
h = c_jhash64(oooo+7, (uint64_t)(sizeof(q)-1), (uint64_t)0);
|
|
assert_true(t == h);
|
|
// , "%.8lx%.8lx\n", (uint32_t)h, (uint32_t)(h>>32));
|
|
for (h=0, b=buf+1; h<8; ++h, ++b) {
|
|
for (i=0; i<MAXLEN; ++i) {
|
|
len = i;
|
|
for (j=0; j<i; ++j) *(b+j)=0;
|
|
|
|
/* these should all be equal */
|
|
ref = c_jhash64(b, len, (uint64_t)1);
|
|
*(b+i)=(uint8_t)~0;
|
|
*(b-1)=(uint8_t)~0;
|
|
x = c_jhash64(b, len, (uint64_t)1);
|
|
y = c_jhash64(b, len, (uint64_t)1);
|
|
assert_false((ref != x) || (ref != y));
|
|
#if 0
|
|
print_error("alignment error: %.8lx %.8lx %.8lx %ld %ld\n", ref, x, y, h, i);
|
|
#endif
|
|
}
|
|
}
|
|
}
|
|
|
|
static void check_c_jhash64_null_strings(void **state)
|
|
{
|
|
uint8_t buf[1];
|
|
uint64_t h = 0;
|
|
uint64_t i = 0;
|
|
uint64_t t = 0;
|
|
|
|
(void) state; /* unused */
|
|
|
|
buf[0] = ~0;
|
|
for (i=0, h=0; i<8; ++i) {
|
|
t = h;
|
|
h = c_jhash64(buf, (uint64_t)0, h);
|
|
assert_false(t == h);
|
|
#if 0
|
|
print_error("0-byte-string check failed: t = %.8lx, h = %.8lx", t, h);
|
|
#endif
|
|
}
|
|
}
|
|
|
|
int torture_run_tests(void)
|
|
{
|
|
const struct CMUnitTest tests[] = {
|
|
cmocka_unit_test(check_c_jhash_trials),
|
|
cmocka_unit_test(check_c_jhash_alignment_problems),
|
|
cmocka_unit_test(check_c_jhash_null_strings),
|
|
cmocka_unit_test(check_c_jhash64_trials),
|
|
cmocka_unit_test(check_c_jhash64_alignment_problems),
|
|
cmocka_unit_test(check_c_jhash64_null_strings),
|
|
};
|
|
|
|
return cmocka_run_group_tests(tests, NULL, NULL);
|
|
}
|
|
|