rizin/test/unit/test_ht.c
2026-04-04 12:04:25 +00:00

1003 lines
27 KiB
C

// SPDX-FileCopyrightText: pancake <pancake@nopcode.org>
// SPDX-License-Identifier: MIT
#include "minunit.h"
#include <sdb.h>
#include <rz_util/rz_iterator.h>
#include <rz_util/rz_set.h>
#include <rz_util/ht_uu.h>
#include <rz_util/ht_up.h>
#include <rz_util/ht_pp.h>
#include <rz_util/ht_pu.h>
#include <rz_util/ht_sp.h>
#include <rz_util/ht_su.h>
#include <rz_util/ht_ss.h>
#include <rz_util/rz_str.h>
typedef struct _test_struct {
char *name;
int age;
} Person;
bool test_ht_insert_lookup(void) {
HtSS *ht = sdb_ht_new();
sdb_ht_insert(ht, "AAAA", "vAAAA");
sdb_ht_insert(ht, "BBBB", "vBBBB");
sdb_ht_insert(ht, "CCCC", "vCCCC");
mu_assert_streq(sdb_ht_find(ht, "BBBB", NULL), "vBBBB", "BBBB value wrong");
mu_assert_streq(sdb_ht_find(ht, "AAAA", NULL), "vAAAA", "AAAA value wrong");
mu_assert_streq(sdb_ht_find(ht, "CCCC", NULL), "vCCCC", "CCCC value wrong");
sdb_ht_free(ht);
#ifdef HT_ENABLE_CUSTOM_ELEM_SIZE
typedef struct {
HtUUKv base;
ut64 extra;
} CustomKv;
HtUUOptions opt = { 0 };
opt.elem_size = sizeof(CustomKv);
HtUU *ht_u = ht_uu_new_opt(&opt);
for (size_t i = 0; i < 100; ++i) {
CustomKv *tmp = NULL;
CustomKv kv = { 0 };
kv.base.key = 4 * i;
kv.base.value = i + 200;
kv.extra = i + 300;
ht_uu_insert_kv_ex(ht_u, (HtUUKv *)&kv, false, (HtUUKv **)&tmp);
mu_assert_notnull(tmp, "KV is set after rehashing");
mu_assert_eq(tmp->base.value, i + 200, "KV is valid after rehashing");
mu_assert_eq(tmp->extra, i + 300, "KV extra value is valid after rehashing");
}
ht_uu_free(ht_u);
#endif
mu_end;
}
bool test_ht_update_lookup(void) {
HtSS *ht = sdb_ht_new();
sdb_ht_insert(ht, "AAAA", "vAAAA");
sdb_ht_insert(ht, "BBBB", "vBBBB");
// test update to add a new element
sdb_ht_update(ht, "CCCC", "vCCCC");
mu_assert_streq(sdb_ht_find(ht, "CCCC", NULL), "vCCCC", "CCCC value wrong");
// test update to replace an existing element
sdb_ht_update(ht, "AAAA", "vDDDD");
mu_assert_streq(sdb_ht_find(ht, "AAAA", NULL), "vDDDD", "DDDD value wrong");
sdb_ht_free(ht);
mu_end;
}
bool test_ht_delete(void) {
HtSS *ht = sdb_ht_new();
mu_assert("nothing should be deleted", !sdb_ht_delete(ht, "non existing"));
sdb_ht_insert(ht, "AAAA", "vAAAA");
mu_assert("AAAA should be deleted", sdb_ht_delete(ht, "AAAA"));
mu_assert("AAAA still there", !sdb_ht_find(ht, "AAAA", NULL));
sdb_ht_free(ht);
mu_end;
}
bool test_ht_insert_kvp(void) {
HtSS *ht = sdb_ht_new();
SdbKv *kv = sdbkv_new("AAAA", "vAAAA");
mu_assert("AAAA shouldn't exist", !sdb_ht_find_kvp(ht, "AAAA", NULL));
sdb_ht_insert_kvp(ht, kv, false);
free(kv);
mu_assert("AAAA should exist", sdb_ht_find_kvp(ht, "AAAA", NULL));
SdbKv *kv2 = sdbkv_new("AAAA", "vNEWAAAA");
mu_assert("AAAA shouldn't be replaced", !sdb_ht_insert_kvp(ht, kv2, false));
mu_assert("AAAA should be replaced", sdb_ht_insert_kvp(ht, kv2, true));
free(kv2);
SdbKv *foundkv = sdb_ht_find_kvp(ht, "AAAA", NULL);
mu_assert_streq(foundkv->base.value, "vNEWAAAA", "vNEWAAAA should be there");
sdb_ht_free(ht);
mu_end;
}
ut32 create_collision(RZ_UNUSED const char *key) {
return 10;
}
bool test_ht_insert_collision(void) {
HtSS *ht = sdb_ht_new();
ht->opt.hashfn = create_collision;
ht_ss_insert(ht, "AAAA", "vAAAA");
mu_assert_streq(sdb_ht_find(ht, "AAAA", NULL), "vAAAA", "AAAA should be there");
ht_ss_insert(ht, "BBBB", "vBBBB");
mu_assert_streq(sdb_ht_find(ht, "AAAA", NULL), "vAAAA", "AAAA should still be there");
mu_assert_streq(sdb_ht_find(ht, "BBBB", NULL), "vBBBB", "BBBB should be there");
ht_ss_insert(ht, "CCCC", "vBBBB");
mu_assert_streq(sdb_ht_find(ht, "CCCC", NULL), "vBBBB", "CCCC should be there");
sdb_ht_free(ht);
mu_end;
}
ut32 key2hash(const char *key) {
return atoi(key);
}
bool test_ht_grow(void) {
HtSS *ht = sdb_ht_new();
char str[15], vstr[15];
char buf[100];
int i;
ht->opt.hashfn = key2hash;
for (i = 0; i < 20000; ++i) {
snprintf(str, 15, "%d", i);
snprintf(vstr, 15, "v%d", i);
sdb_ht_insert(ht, str, vstr);
}
for (i = 0; i < 20000; ++i) {
snprintf(str, 15, "%d", i);
snprintf(vstr, 15, "v%d", i);
char *v = sdb_ht_find(ht, str, NULL);
snprintf(buf, 100, "%s/%s should be there", str, vstr);
mu_assert(buf, v);
snprintf(buf, 100, "%s/%s should be right", str, vstr);
mu_assert_streq(v, vstr, buf);
}
sdb_ht_free(ht);
mu_end;
}
bool test_ht_kvp(void) {
HtSS *ht = sdb_ht_new();
SdbKv *kvp = sdbkv_new("AAAA", "vAAAA");
mu_assert_eq(kvp->base.key_len, 4, "key_len should be 4");
mu_assert_eq(kvp->base.value_len, 5, "value_len should be 5");
mu_assert("kvp should be inserted", sdb_ht_insert_kvp(ht, kvp, false));
free(kvp);
kvp = sdb_ht_find_kvp(ht, "AAAA", NULL);
mu_assert_eq(kvp->base.key_len, 4, "key_len should be 4 after kvp_insert");
mu_assert_eq(kvp->base.value_len, 5, "value_len should be 5 after kvp_insert");
sdb_ht_insert(ht, "BBBB", "vBBBB");
kvp = sdb_ht_find_kvp(ht, "BBBB", NULL);
mu_assert_eq(kvp->base.key_len, 4, "key_len should be 4 after insert");
mu_assert_eq(kvp->base.value_len, 5, "value_len should be 5 after insert");
sdb_ht_free(ht);
mu_end;
}
Person *duplicate_person(Person *p) {
Person *c = malloc(sizeof(Person));
c->name = strdup(p->name);
c->age = p->age;
return c;
}
void free_person(Person *p) {
if (!p) {
return;
}
free(p->name);
free(p);
}
size_t calcSizePerson(void *c) {
Person *p = c;
return sizeof(*p);
}
bool test_ht_general(void) {
int retval = MU_PASSED;
bool found = false;
Person *p, *person1 = malloc(sizeof(Person));
if (!person1) {
mu_cleanup_fail(err_malloc, "person1 malloc");
}
person1->name = strdup("radare");
person1->age = 10;
Person *person2 = malloc(sizeof(Person));
if (!person2) {
mu_cleanup_fail(err_free_person1, "person2 malloc");
}
person2->name = strdup("pancake");
person2->age = 9000;
HtSP *ht = ht_sp_new(HT_STR_DUP, (HtSPDupValue)duplicate_person, (HtSPFreeValue)free_person);
if (!ht) {
mu_cleanup_fail(err_free_persons, "ht alloc");
}
ht_sp_insert(ht, "radare", (void *)person1);
ht_sp_insert(ht, "pancake", (void *)person2);
p = ht_sp_find(ht, "radare", &found);
mu_assert("radare not found", found);
mu_assert_streq(p->name, "radare", "wrong person");
mu_assert_eq(p->age, 10, "wrong radare age");
p = ht_sp_find(ht, "pancake", &found);
mu_assert("radare not found", found);
mu_assert_streq(p->name, "pancake", "wrong person");
mu_assert_eq(p->age, 9000, "wrong pancake age");
(void)ht_sp_find(ht, "not", &found);
mu_assert("found but it should not exists", !found);
ht_sp_delete(ht, "pancake");
p = ht_sp_find(ht, "pancake", &found);
mu_assert("pancake was deleted", !found);
ht_sp_insert(ht, "pancake", (void *)person2);
ht_sp_delete(ht, "radare");
ht_sp_update(ht, "pancake", (void *)person1);
p = ht_sp_find(ht, "pancake", &found);
mu_assert("pancake was updated", found);
mu_assert_streq(p->name, "radare", "wrong person");
mu_assert_eq(p->age, 10, "wrong age");
ht_sp_free(ht);
err_free_persons:
free_person(person2);
err_free_person1:
free_person(person1);
err_malloc:
mu_cleanup_end;
}
bool should_not_be_caled(void *user, const char *k, const void *v) {
mu_fail("this function should not be called");
return false;
}
bool test_empty_ht(void) {
HtSP *ht = ht_sp_new(HT_STR_DUP, NULL, NULL);
ht_sp_foreach(ht, should_not_be_caled, NULL);
void *r = ht_sp_find(ht, "key1", NULL);
mu_assert_null(r, "key1 should not be present");
ht_sp_free(ht);
mu_end;
}
bool test_insert(void) {
HtSS *ht = ht_ss_new(HT_STR_CONST, HT_STR_CONST);
void *r;
bool res;
bool found;
res = ht_ss_insert(ht, "key1", "value1");
mu_assert("key1 should be a new element", res);
r = ht_ss_find(ht, "key1", &found);
mu_assert("found should be true", found);
mu_assert_streq(r, "value1", "value1 should be retrieved");
res = ht_ss_insert(ht, "key1", "value2");
mu_assert("key1 should be an already existing element", !res);
r = ht_ss_find(ht, "key1", &found);
mu_assert_streq(r, "value1", "value1 should be retrieved");
mu_assert("found should be true", found);
r = ht_ss_find(ht, "key2", &found);
mu_assert_null(r, "key2 should not be present");
mu_assert("found for key2 should be false", !found);
ht_ss_free(ht);
mu_end;
}
bool test_update(void) {
HtSS *ht = ht_ss_new(HT_STR_DUP, HT_STR_DUP);
bool found;
ht_ss_insert(ht, "key1", "value1");
ht_ss_update(ht, "key1", "value2");
void *r = ht_ss_find(ht, "key1", &found);
mu_assert_streq(r, "value2", "value2 should be retrieved");
mu_assert("found should be true", found);
ht_ss_free(ht);
mu_end;
}
bool test_delete(void) {
HtSS *ht = ht_ss_new(HT_STR_DUP, HT_STR_DUP);
bool found;
ht_ss_insert(ht, "key1", "value1");
ht_ss_delete(ht, "key1");
void *r = ht_ss_find(ht, "key1", &found);
mu_assert_null(r, "key1 should not be found");
mu_assert("found should be false", !found);
ht_ss_free(ht);
mu_end;
}
bool test_rehash_on_delete(void) {
HtUU *ht = ht_uu_new();
ht->opt.hashfn = (HtUUHashFunction)create_collision;
for (ut32 i = 0; i < 56; i++) {
mu_assert_true(ht_uu_insert(ht, i, i * 100), "failed to insert element");
}
for (ut32 i = 0; i < 56; i++) {
mu_assert_true(ht_uu_delete(ht, i), "failed to delete element");
}
for (ut32 i = 0; i < 56; i++) {
mu_assert_true(ht_uu_insert(ht, i, i * 100), "failed to insert element");
}
for (ut32 i = 0; i < 56; i++) {
mu_assert_true(ht_uu_update_key(ht, i, i + 1000), "failed to update element key");
}
mu_assert_eq(ht_uu_size(ht), 56, "invalid table size");
ht_uu_free(ht);
mu_end;
}
bool test_ht_delete_optimized(void) {
// Test case for the "deletion trick" optimization. If the optimized implementation places
// incorrect "empty" slot, this would corrupt the hashtable and make some keys unreachable
bool found = false;
for (ut32 size = 1; size <= 32; size++) {
for (ut32 delete_key = 0; delete_key < size; delete_key++) {
HtUU *ht = ht_uu_new();
ht->opt.hashfn = (HtUUHashFunction)create_collision;
// Insert all
for (ut32 i = 0; i < size; i++) {
ht_uu_insert(ht, i, i * 100);
}
// Delete 1
ht_uu_delete(ht, delete_key);
// Confirm
for (ut32 i = 0; i < size; i++) {
HtUUKv *kv = ht_uu_find_kv(ht, i, &found);
if (i == delete_key) {
mu_assert_null(kv, "element expected to be deleted");
mu_assert_false(found, "element expected to be deleted");
} else {
mu_assert_notnull(kv, "key not found");
mu_assert_true(found, "key not found");
mu_assert_eq(kv->value, i * 100, "incorrect value");
}
}
mu_assert_eq(ht_uu_size(ht), size - 1, "invalid table size");
ht_uu_free(ht);
}
}
mu_end;
}
bool test_clear(void) {
HtSS *ht = ht_ss_new(HT_STR_DUP, HT_STR_DUP);
ht_ss_insert(ht, "key1", "value1");
ht_ss_insert(ht, "key2", "value2");
ht_ss_insert(ht, "key3", "value3");
mu_assert_eq(ht_ss_size(ht), 3, "Wrong size");
ht_ss_clear(ht);
mu_assert_eq(ht_ss_size(ht), 0, "Wrong size");
ht_ss_insert(ht, "key1", "value1");
ht_ss_insert(ht, "key2", "value2");
ht_ss_insert(ht, "key3", "value3");
mu_assert_eq(ht_ss_size(ht), 3, "Wrong size");
ht_ss_free(ht);
mu_end;
}
static bool grow_1_found[3];
static bool grow_1_foreach(void *user, const char *k, int v) {
grow_1_found[v] = true;
return true;
}
bool test_grow_1(void) {
HtSP *ht = ht_sp_new(HT_STR_DUP, NULL, NULL);
int i;
for (i = 0; i < 3; ++i) {
grow_1_found[i] = false;
}
ht_sp_insert(ht, "key0", (void *)0);
ht_sp_insert(ht, "key1", (void *)1);
ht_sp_insert(ht, "key2", (void *)2);
ht_sp_foreach(ht, (HtSPForeachCallback)grow_1_foreach, NULL);
for (i = 0; i < 3; ++i) {
if (!grow_1_found[i]) {
fprintf(stderr, "i = %d\n", i);
mu_fail("An element has not been traversed");
}
}
ht_sp_free(ht);
mu_end;
}
bool test_grow_2(void) {
HtSS *ht = ht_ss_new(HT_STR_DUP, HT_STR_DUP);
char *r;
bool found;
int i;
for (i = 0; i < 3000; ++i) {
char buf[20], buf2[20];
snprintf(buf, 20, "key%d", i);
snprintf(buf2, 20, "value%d", i);
ht_ss_insert(ht, buf, buf2);
}
r = ht_ss_find(ht, "key1", &found);
mu_assert_streq(r, "value1", "value1 should be retrieved");
mu_assert("found should be true", found);
r = ht_ss_find(ht, "key2000", &found);
mu_assert_streq(r, "value2000", "value2000 should be retrieved");
mu_assert("found should be true", found);
r = ht_ss_find(ht, "key4000", &found);
mu_assert_null(r, "key4000 should not be there");
mu_assert("found should be false", !found);
ht_ss_free(ht);
mu_end;
}
bool test_grow_3(void) {
HtSS *ht = ht_ss_new(HT_STR_DUP, HT_STR_DUP);
char *r;
bool found;
int i;
for (i = 0; i < 3000; ++i) {
char buf[20], buf2[20];
snprintf(buf, 20, "key%d", i);
snprintf(buf2, 20, "value%d", i);
ht_ss_insert(ht, buf, buf2);
}
for (i = 0; i < 3000; i += 3) {
char buf[20];
snprintf(buf, 20, "key%d", i);
ht_ss_delete(ht, buf);
}
r = ht_ss_find(ht, "key1", &found);
mu_assert_streq(r, "value1", "value1 should be retrieved");
mu_assert("found should be true", found);
r = ht_ss_find(ht, "key2000", &found);
mu_assert_streq(r, "value2000", "value2000 should be retrieved");
mu_assert("found should be true", found);
r = ht_ss_find(ht, "key4000", &found);
mu_assert_null(r, "key4000 should not be there");
mu_assert("found should be false", !found);
r = ht_ss_find(ht, "key0", &found);
mu_assert_null(r, "key0 should not be there");
mu_assert("found should be false", !found);
for (i = 1; i < 3000; i += 3) {
char buf[20];
snprintf(buf, 20, "key%d", i);
ht_ss_delete(ht, buf);
}
r = ht_ss_find(ht, "key1", &found);
mu_assert_null(r, "key1 should not be there");
mu_assert("found should be false", !found);
ht_ss_free(ht);
mu_end;
}
bool test_grow_4(void) {
HtSS *ht = ht_ss_new(HT_STR_DUP, HT_STR_OWN);
char *r;
bool found;
int i;
for (i = 0; i < 3000; ++i) {
char buf[20], *buf2;
snprintf(buf, 20, "key%d", i);
buf2 = malloc(20);
snprintf(buf2, 20, "value%d", i);
ht_ss_insert(ht, buf, buf2);
}
r = ht_ss_find(ht, "key1", &found);
mu_assert_streq(r, "value1", "value1 should be retrieved");
mu_assert("found should be true", found);
r = ht_ss_find(ht, "key2000", &found);
mu_assert_streq(r, "value2000", "value2000 should be retrieved");
mu_assert("found should be true", found);
for (i = 0; i < 3000; i += 3) {
char buf[20];
snprintf(buf, 20, "key%d", i);
ht_ss_delete(ht, buf);
}
r = ht_ss_find(ht, "key2000", &found);
mu_assert_streq(r, "value2000", "value2000 should be retrieved");
mu_assert("found should be true", found);
r = ht_ss_find(ht, "key0", &found);
mu_assert_null(r, "key0 should not be there");
mu_assert("found should be false", !found);
for (i = 1; i < 3000; i += 3) {
char buf[20];
snprintf(buf, 20, "key%d", i);
ht_ss_delete(ht, buf);
}
r = ht_ss_find(ht, "key1", &found);
mu_assert_null(r, "key1 should not be there");
mu_assert("found should be false", !found);
ht_ss_free(ht);
mu_end;
}
bool foreach_delete_cb(void *user, const ut64 key, const void *v) {
HtUP *ht = (HtUP *)user;
ht_up_delete(ht, key);
return true;
}
bool test_foreach_delete(void) {
HtUP *ht = ht_up_new((HtUPDupValue)strdup, free);
// create a collision
ht_up_insert(ht, 0, "value1");
ht_up_insert(ht, ht->size, "value2");
ht_up_insert(ht, ht->size * 2, "value3");
ht_up_insert(ht, ht->size * 3, "value4");
ht_up_foreach(ht, foreach_delete_cb, ht);
ht_up_foreach(ht, (HtUPForeachCallback)should_not_be_caled, NULL);
ht_up_free(ht);
mu_end;
}
bool test_update_key(void) {
bool res;
HtUP *ht = ht_up_new((HtUPDupValue)strdup, free);
// create a collision
ht_up_insert(ht, 0, "value1");
ht_up_insert(ht, 0xdeadbeef, "value2");
ht_up_insert(ht, 0xcafebabe, "value3");
res = ht_up_update_key(ht, 0xcafebabe, 0x10000);
mu_assert("cafebabe should be updated", res);
res = ht_up_update_key(ht, 0xdeadbeef, 0x10000);
mu_assert("deadbeef should NOT be updated, because there's already an element at 0x10000", !res);
const char *v = ht_up_find(ht, 0x10000, NULL);
mu_assert_streq(v, "value3", "value3 should be at 0x10000");
v = ht_up_find(ht, 0xdeadbeef, NULL);
mu_assert_streq(v, "value2", "value2 should remain at 0xdeadbeef");
ht_up_free(ht);
mu_end;
}
bool test_ht_pu_ops(void) {
bool res;
ut64 val;
HtSU *ht = ht_su_new(HT_STR_DUP);
ht_su_insert(ht, "key1", 0xcafebabe);
val = ht_su_find(ht, "key1", &res);
mu_assert_eq(val, 0xcafebabe, "0xcafebabe should be retrieved");
mu_assert("found should be true", res);
res = ht_su_insert(ht, "key1", 0xdeadbeefdeadbeef);
mu_assert("key1 should be an already existing element", !res);
val = ht_su_find(ht, "key1", &res);
mu_assert_eq(val, 0xcafebabe, "0xcafebabe should still be retrieved");
res = ht_su_update(ht, "key1", 0xdeadbeefdeadbeef);
mu_assert("key1 should be updated", res);
val = ht_su_find(ht, "key1", &res);
mu_assert_eq(val, 0xdeadbeefdeadbeef, "0xdeadbeefdeadbeef should be retrieved");
mu_assert("found should be true", res);
res = ht_su_delete(ht, "key1");
mu_assert("key1 should be deleted", res);
val = ht_su_find(ht, "key1", &res);
mu_assert_eq(val, 0, "0 should be retrieved");
mu_assert("found should be false", !res);
ht_su_free(ht);
mu_end;
}
bool test_insert_update_ex(void) {
HtSU *ht = ht_su_new(HT_STR_CONST);
HtSUKv *inserted_kv = NULL;
mu_assert_eq(ht_su_insert_ex(ht, "foobar", 1337, &inserted_kv), HT_RC_INSERTED, "HT_RC_INSERTED");
mu_assert_notnull(inserted_kv, "inserted_kv");
mu_assert_streq(inserted_kv->key, "foobar", "key");
mu_assert_eq(inserted_kv->value, 1337, "value");
HtSUKv *existing_kv = NULL;
mu_assert_eq(ht_su_insert_ex(ht, "foobar", 101, &existing_kv), HT_RC_EXISTING, "HT_RC_EXISTING");
mu_assert_notnull(existing_kv, "existing_kv");
mu_assert_streq(existing_kv->key, "foobar", "key");
mu_assert_eq(existing_kv->value, 1337, "value");
HtSUKv *inserted_kv2 = NULL;
mu_assert_eq(ht_su_update_ex(ht, "deadbeef", 404, &inserted_kv2), HT_RC_INSERTED, "HT_RC_INSERTED");
mu_assert_notnull(inserted_kv2, "inserted_kv2");
mu_assert_streq(inserted_kv2->key, "deadbeef", "key");
mu_assert_eq(inserted_kv2->value, 404, "value");
HtSUKv *updated_kv = NULL;
mu_assert_eq(ht_su_update_ex(ht, "deadbeef", 123456, &updated_kv), HT_RC_UPDATED, "HT_RC_UPDATED");
mu_assert_notnull(updated_kv, "updated_kv");
mu_assert_streq(updated_kv->key, "deadbeef", "key");
mu_assert_eq(updated_kv->value, 123456, "value");
HtUU *ht2 = ht_uu_new();
for (size_t i = 0; i < 100; ++i) {
HtUUKv *tmp = NULL;
ht_uu_insert_ex(ht2, 4 * i, i + 200, &tmp);
mu_assert_notnull(tmp, "KV is set after rehashing");
mu_assert_eq(tmp->value, i + 200, "KV is valid after rehashing");
}
ht_su_free(ht);
ht_uu_free(ht2);
mu_end;
}
bool test_ht_size(void) {
HtUU *ht = ht_uu_new();
mu_assert_eq(ht_uu_size(ht), 0, "Length wrong.");
ht_uu_insert(ht, 0x5050505, 0x5050505);
ht_uu_insert(ht, 0x5050505, 0x5050505);
ht_uu_insert(ht, 0x6060606, 0x6060606);
ht_uu_insert(ht, 0x7070707, 0x7070707);
ht_uu_insert(ht, 0x7070707, 0x7070707);
mu_assert_eq(ht_uu_size(ht), 3, "Length wrong.");
bool found = false;
ht_uu_find(ht, 0x5050505, &found);
mu_assert_true(found, "Value was not added.");
ht_uu_find(ht, 0x6060606, &found);
mu_assert_true(found, "Value was not added.");
ht_uu_find(ht, 0x7070707, &found);
mu_assert_true(found, "Value was not added.");
ht_uu_delete(ht, 0x7070707);
ht_uu_find(ht, 0x7070707, &found);
mu_assert_false(found, "Value was not deleted.");
mu_assert_eq(ht_uu_size(ht), 2, "Length wrong.");
// Double delete
ht_uu_delete(ht, 0x7070707);
ht_uu_find(ht, 0x7070707, &found);
mu_assert_false(found, "Value was not deleted.");
mu_assert_eq(ht_uu_size(ht), 2, "Length wrong.");
ht_uu_free(ht);
mu_end;
}
bool test_ht_uu_iter(void) {
HtUU *ht = ht_uu_new();
ut32 icnt = 0;
const ut64 *im_elem;
RzIterator *it = ht_uu_as_iter(ht);
rz_iterator_foreach(it, im_elem) {
icnt++;
}
rz_iterator_free(it);
mu_assert_eq(icnt, 0, "Wrong number of iterations");
ht_uu_insert(ht, 0x1010101, 0x1010101);
ht_uu_insert(ht, 0x2020202, 0x2020202);
ht_uu_insert(ht, 0x3030303, 0x3030303);
ht_uu_insert(ht, 0x4040404, 0x4040404);
ht_uu_insert(ht, 0x5050505, 0x5050505);
icnt = 0;
it = ht_uu_as_iter(ht);
rz_iterator_foreach(it, im_elem) {
icnt++;
mu_assert_true(
*im_elem == 0x1010101 ||
*im_elem == 0x2020202 ||
*im_elem == 0x3030303 ||
*im_elem == 0x4040404 ||
*im_elem == 0x5050505,
"Value mismtach");
}
rz_iterator_free(it);
mu_assert_eq(icnt, 5, "Wrong number of iterations");
icnt = 0;
// Test write of value
ut64 *m_elem;
it = ht_uu_as_iter_mut(ht);
rz_iterator_foreach(it, m_elem) {
icnt++;
if (*m_elem == 0x1010101) {
*m_elem = 0x0;
}
}
rz_iterator_free(it);
mu_assert_eq(icnt, 5, "Wrong number of iterations");
bool found = false;
ut64 v = ht_uu_find(ht, 0x1010101, &found);
mu_assert_true(found, "Key not in hash map");
mu_assert_eq(v, 0x0, "Value didn't change.");
ht_uu_free(ht);
mu_end;
}
bool test_ht_ss_iter(void) {
HtSS *ht = ht_ss_new(HT_STR_CONST, HT_STR_CONST);
ut32 icnt = 0;
const char **im_elem;
RzIterator *it = ht_ss_as_iter(ht);
rz_iterator_foreach(it, im_elem) {
icnt++;
}
rz_iterator_free(it);
mu_assert_eq(icnt, 0, "Wrong number of iterations");
ht_ss_insert(ht, "0x1010101", "0x1010101");
ht_ss_insert(ht, "0x2020202", "0x2020202");
ht_ss_insert(ht, "0x3030303", "0x3030303");
ht_ss_insert(ht, "0x4040404", "0x4040404");
ht_ss_insert(ht, "0x5050505", "0x5050505");
icnt = 0;
it = ht_ss_as_iter(ht);
rz_iterator_foreach(it, im_elem) {
icnt++;
mu_assert_true(
RZ_STR_EQ(*im_elem, "0x1010101") ||
RZ_STR_EQ(*im_elem, "0x2020202") ||
RZ_STR_EQ(*im_elem, "0x3030303") ||
RZ_STR_EQ(*im_elem, "0x4040404") ||
RZ_STR_EQ(*im_elem, "0x5050505"),
"Value mismtach");
}
rz_iterator_free(it);
mu_assert_eq(icnt, 5, "Wrong number of iterations");
icnt = 0;
// Test write of value
char **m_elem;
it = ht_ss_as_iter_mut(ht);
rz_iterator_foreach(it, m_elem) {
icnt++;
if (RZ_STR_EQ(*m_elem, "0x1010101")) {
*m_elem = "0x0";
}
}
rz_iterator_free(it);
mu_assert_eq(icnt, 5, "Wrong number of iterations");
bool found = false;
const char *v = ht_ss_find(ht, "0x1010101", &found);
mu_assert_true(found, "Key not in hash map");
mu_assert_streq(v, "0x0", "Value didn't change.");
ht_ss_free(ht);
mu_end;
}
bool test_set_u(void) {
RzSetU *set_u = rz_set_u_new();
rz_set_u_add(set_u, 0x5050505);
rz_set_u_add(set_u, 0x5050505);
rz_set_u_add(set_u, 0x6060606);
rz_set_u_add(set_u, 0x7070707);
rz_set_u_add(set_u, 0x7070707);
mu_assert_eq(rz_set_u_size(set_u), 3, "Length wrong.");
mu_assert_true(rz_set_u_contains(set_u, 0x5050505), "Value was not added.");
mu_assert_true(rz_set_u_contains(set_u, 0x6060606), "Value was not added.");
mu_assert_true(rz_set_u_contains(set_u, 0x7070707), "Value was not added.");
rz_set_u_delete(set_u, 0x7070707);
mu_assert_false(rz_set_u_contains(set_u, 0x7070707), "Value was not deleted.");
mu_assert_eq(rz_set_u_size(set_u), 2, "Length wrong.");
// Double delete
rz_set_u_delete(set_u, 0x7070707);
mu_assert_eq(rz_set_u_size(set_u), 2, "Length wrong.");
size_t x = 0;
const ut64 *im_elem;
RzIterator *it = rz_set_u_as_iter(set_u);
rz_iterator_foreach(it, im_elem) {
x++;
bool matches = *im_elem == 0x5050505 || *im_elem == 0x6060606;
mu_assert_true(matches, "Set contained ill-formed value.");
}
rz_iterator_free(it);
mu_assert_eq(x, 2, "Foreach hasn't iterated the correct number of times.");
rz_set_u_delete(set_u, 0x6060606);
mu_assert_eq(rz_set_u_size(set_u), 1, "Length wrong.");
rz_set_u_delete(set_u, 0x5050505);
mu_assert_eq(rz_set_u_size(set_u), 0, "Length wrong.");
it = rz_set_u_as_iter(set_u);
rz_iterator_foreach(it, im_elem) {
mu_assert("Should not be reached.", false);
}
rz_iterator_free(it);
rz_set_u_add(set_u, 0x53e0);
rz_set_u_add(set_u, 0x53bc);
mu_assert_eq(rz_set_u_size(set_u), 2, "Wrong size");
rz_set_u_clear(set_u);
mu_assert_eq(rz_set_u_size(set_u), 0, "Wrong size");
rz_set_u_add(set_u, 0x53e0);
rz_set_u_add(set_u, 0x53bc);
x = 0;
it = rz_set_u_as_iter(set_u);
rz_iterator_foreach(it, im_elem) {
x++;
}
rz_iterator_free(it);
mu_assert_eq(x, 2, "Foreach hasn't iterated the correct number of times.");
rz_set_u_delete(set_u, 0x53e0);
rz_set_u_delete(set_u, 0x53bc);
rz_set_u_add(set_u, 0);
rz_set_u_add(set_u, 1);
rz_set_u_add(set_u, 2);
rz_set_u_add(set_u, 3);
// Add an address as key which is far away from the heap addresses.
rz_set_u_add(set_u, 100000000);
mu_assert_true(rz_set_u_contains(set_u, 100000000), "Not contained.");
mu_assert_eq(rz_set_u_size(set_u), 5, "count");
mu_assert_false(rz_set_u_contains(set_u, 6), "should not be here.");
x = 0;
it = rz_set_u_as_iter(set_u);
rz_iterator_foreach(it, im_elem) {
x++;
}
rz_iterator_free(it);
mu_assert_eq(x, 5, "Foreach hasn't iterated the correct number of times.");
rz_set_u_clear(set_u);
mu_assert_eq(rz_set_u_take(set_u), UT64_MAX, "Invalid take should return UT64_MAX");
rz_set_u_add(set_u, 100000000);
mu_assert_eq(rz_set_u_size(set_u), 1, "Add failed");
mu_assert_eq(rz_set_u_take(set_u), 100000000, "Take failed");
mu_assert_eq(rz_set_u_size(set_u), 0, "Take did not remove element");
rz_set_u_free(set_u);
mu_end;
}
bool test_set_s(void) {
RzSetS *set_s = rz_set_s_new(HT_STR_CONST);
rz_set_s_add(set_s, "0x5050505");
rz_set_s_add(set_s, "0x5050505");
rz_set_s_add(set_s, "0x6060606");
rz_set_s_add(set_s, "0x7070707");
rz_set_s_add(set_s, "0x7070707");
mu_assert_eq(rz_set_s_size(set_s), 3, "Length wrong.");
mu_assert_true(rz_set_s_contains(set_s, "0x5050505"), "Value was not added.");
mu_assert_true(rz_set_s_contains(set_s, "0x6060606"), "Value was not added.");
mu_assert_true(rz_set_s_contains(set_s, "0x7070707"), "Value was not added.");
rz_set_s_delete(set_s, "0x7070707");
mu_assert_false(rz_set_s_contains(set_s, "0x7070707"), "Value was not deleted.");
mu_assert_eq(rz_set_s_size(set_s), 2, "Length wrong.");
// Double delete
rz_set_s_delete(set_s, "0x7070707");
mu_assert_eq(rz_set_s_size(set_s), 2, "Length wrong.");
size_t x = 0;
const char **im_elem;
RzIterator *it = rz_set_s_as_iter(set_s);
rz_iterator_foreach(it, im_elem) {
x++;
bool matches = RZ_STR_EQ(*im_elem, "0x5050505") || RZ_STR_EQ(*im_elem, "0x6060606");
mu_assert_true(matches, "Set contained ill-formed value.");
}
rz_iterator_free(it);
mu_assert_eq(x, 2, "Foreach hasn't iterated the correct number of times.");
rz_set_s_delete(set_s, "0x6060606");
mu_assert_eq(rz_set_s_size(set_s), 1, "Length wrong.");
rz_set_s_delete(set_s, "0x5050505");
mu_assert_eq(rz_set_s_size(set_s), 0, "Length wrong.");
it = rz_set_s_as_iter(set_s);
rz_iterator_foreach(it, im_elem) {
mu_assert("Should not be reached.", false);
}
rz_iterator_free(it);
rz_set_s_add(set_s, "0x53e0");
rz_set_s_add(set_s, "0x53bc");
x = 0;
it = rz_set_s_as_iter(set_s);
rz_iterator_foreach(it, im_elem) {
x++;
}
rz_iterator_free(it);
mu_assert_eq(x, 2, "Foreach hasn't iterated the correct number of times.");
rz_set_s_delete(set_s, "0x53e0");
rz_set_s_delete(set_s, "0x53bc");
rz_set_s_free(set_s);
mu_end;
}
int all_tests() {
mu_run_test(test_ht_insert_lookup);
mu_run_test(test_ht_update_lookup);
mu_run_test(test_ht_delete);
mu_run_test(test_ht_delete_optimized);
mu_run_test(test_rehash_on_delete);
mu_run_test(test_ht_insert_kvp);
mu_run_test(test_ht_insert_collision);
mu_run_test(test_ht_grow);
mu_run_test(test_ht_kvp);
mu_run_test(test_ht_general);
mu_run_test(test_empty_ht);
mu_run_test(test_insert);
mu_run_test(test_update);
mu_run_test(test_delete);
mu_run_test(test_clear);
mu_run_test(test_grow_1);
mu_run_test(test_grow_2);
mu_run_test(test_grow_3);
mu_run_test(test_grow_4);
mu_run_test(test_foreach_delete);
mu_run_test(test_update_key);
mu_run_test(test_ht_pu_ops);
mu_run_test(test_insert_update_ex);
mu_run_test(test_ht_size);
mu_run_test(test_ht_uu_iter);
mu_run_test(test_ht_ss_iter);
mu_run_test(test_set_u);
mu_run_test(test_set_s);
return tests_passed != tests_run;
}
int main(int argc, char **argv) {
return all_tests();
}