summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--lib/dfsan/dfsan_custom.cc33
-rw-r--r--lib/dfsan/done_abilist.txt1
-rw-r--r--lib/dfsan/lit_tests/custom.c12
3 files changed, 46 insertions, 0 deletions
diff --git a/lib/dfsan/dfsan_custom.cc b/lib/dfsan/dfsan_custom.cc
index 31ecdb8f5..239cbe407 100644
--- a/lib/dfsan/dfsan_custom.cc
+++ b/lib/dfsan/dfsan_custom.cc
@@ -19,6 +19,7 @@
#include <ctype.h>
#include <dlfcn.h>
+#include <link.h>
#include <pthread.h>
#include <stdlib.h>
#include <string.h>
@@ -306,4 +307,36 @@ SANITIZER_INTERFACE_ATTRIBUTE int __dfsw_pthread_create(
return rv;
}
+struct dl_iterate_phdr_info {
+ int (*callback_trampoline)(void *callback, struct dl_phdr_info *info,
+ size_t size, void *data, dfsan_label info_label,
+ dfsan_label size_label, dfsan_label data_label,
+ dfsan_label *ret_label);
+ void *callback;
+ void *data;
+};
+
+int dl_iterate_phdr_cb(struct dl_phdr_info *info, size_t size, void *data) {
+ dl_iterate_phdr_info *dipi = (dl_iterate_phdr_info *)data;
+ dfsan_set_label(0, *info);
+ dfsan_set_label(0, (void *)info->dlpi_name, strlen(info->dlpi_name) + 1);
+ dfsan_set_label(0, (void *)info->dlpi_phdr,
+ sizeof(*info->dlpi_phdr) * info->dlpi_phnum);
+ dfsan_label ret_label;
+ return dipi->callback_trampoline(dipi->callback, info, size, dipi->data, 0, 0,
+ 0, &ret_label);
+}
+
+SANITIZER_INTERFACE_ATTRIBUTE int __dfsw_dl_iterate_phdr(
+ int (*callback_trampoline)(void *callback, struct dl_phdr_info *info,
+ size_t size, void *data, dfsan_label info_label,
+ dfsan_label size_label, dfsan_label data_label,
+ dfsan_label *ret_label),
+ void *callback, void *data, dfsan_label callback_label,
+ dfsan_label data_label, dfsan_label *ret_label) {
+ dl_iterate_phdr_info dipi = { callback_trampoline, callback, data };
+ *ret_label = 0;
+ return dl_iterate_phdr(dl_iterate_phdr_cb, &dipi);
+}
+
}
diff --git a/lib/dfsan/done_abilist.txt b/lib/dfsan/done_abilist.txt
index e51acf719..00139d417 100644
--- a/lib/dfsan/done_abilist.txt
+++ b/lib/dfsan/done_abilist.txt
@@ -103,6 +103,7 @@ fun:read=custom
fun:pread=custom
fun:clock_gettime=custom
fun:pthread_create=custom
+fun:dl_iterate_phdr=custom
# TODO: custom
fun:snprintf=discard
diff --git a/lib/dfsan/lit_tests/custom.c b/lib/dfsan/lit_tests/custom.c
index 526f41cbf..c9fa93561 100644
--- a/lib/dfsan/lit_tests/custom.c
+++ b/lib/dfsan/lit_tests/custom.c
@@ -3,8 +3,10 @@
// Tests custom implementations of various libc functions.
+#define _GNU_SOURCE
#include <sanitizer/dfsan_interface.h>
#include <assert.h>
+#include <link.h>
#include <pthread.h>
#include <string.h>
#include <stdlib.h>
@@ -19,6 +21,14 @@ void *ptcb(void *p) {
return (void *)2;
}
+int dlcb(struct dl_phdr_info *info, size_t size, void *data) {
+ assert(data == (void *)3);
+ assert(dfsan_get_label((uintptr_t)info) == 0);
+ assert(dfsan_get_label(size) == 0);
+ assert(dfsan_get_label((uintptr_t)data) == 0);
+ return 0;
+}
+
int main(void) {
int i = 1;
dfsan_label i_label = dfsan_create_label("i", 0);
@@ -138,5 +148,7 @@ int main(void) {
pthread_join(pt, &cbrv);
assert(cbrv == (void *)2);
+ dl_iterate_phdr(dlcb, (void *)3);
+
return 0;
}