aboutsummaryrefslogtreecommitdiff
path: root/src/section/export.c
diff options
context:
space:
mode:
authorXavier Del Campo Romero <xavi.dcr@tutanota.com>2023-11-26 22:43:30 +0100
committerXavier Del Campo Romero <xavi.dcr@tutanota.com>2024-04-21 01:51:24 +0200
commitf25b015e5b668028c34974bbb22faa4105c26690 (patch)
tree28f2b08c17b3585d06694ad74004d0617eadb785 /src/section/export.c
downloadnanowasm-sync-f25b015e5b668028c34974bbb22faa4105c26690.tar.gz
First commit
Diffstat (limited to 'src/section/export.c')
-rw-r--r--src/section/export.c161
1 files changed, 161 insertions, 0 deletions
diff --git a/src/section/export.c b/src/section/export.c
new file mode 100644
index 0000000..0948067
--- /dev/null
+++ b/src/section/export.c
@@ -0,0 +1,161 @@
+/*
+ * nanowasm, a tiny WebAssembly/Wasm interpreter
+ * Copyright (C) 2023-2024 Xavier Del Campo Romero
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/.
+ */
+
+#include <nw/log.h>
+#include <nw/sections.h>
+#include <nanowasm/nw.h>
+#include <nw/types.h>
+#include <errno.h>
+#include <stdio.h>
+#include <stdint.h>
+#include <string.h>
+
+static int check_string(FILE *const f)
+{
+ varuint32 len;
+
+ if (varuint32_read(f, &len))
+ {
+ LOG("%s: varuint32_read failed\n", __func__);
+ return -1;
+ }
+
+ for (varuint32 i = 0; i < len; i++)
+ {
+ uint8_t byte;
+
+ if (!fread(&byte, sizeof byte, 1, f))
+ {
+ LOG("%s: fread(3) failed, feof=%d, ferror=%d\n",
+ __func__, feof(f), ferror(f));
+ return -1;
+ }
+ }
+
+ return 0;
+}
+
+static int check_kind(FILE *const f)
+{
+ uint8_t kind;
+
+ if (!fread(&kind, sizeof kind, 1, f))
+ {
+ LOG("%s: fread(3) failed: feof=%d, ferror=%d\n", __func__,
+ feof(f), ferror(f));
+ return -1;
+ }
+
+ return 0;
+}
+
+static int check_index(FILE *const f)
+{
+ varuint32 index;
+
+ if (varuint32_read(f, &index))
+ {
+ LOG("%s: varuint32_read failed\n", __func__);
+ return -1;
+ }
+
+ return 0;
+}
+
+static int check_export_entry(FILE *const f)
+{
+ if (check_string(f))
+ {
+ LOG("%s: check_string failed\n", __func__);
+ return -1;
+ }
+ else if (check_kind(f))
+ {
+ LOG("%s: check_kind failed\n", __func__);
+ return -1;
+ }
+ else if (check_index(f))
+ {
+ LOG("%s: check_index failed\n", __func__);
+ return -1;
+ }
+
+ return 0;
+}
+
+static int check(FILE *const f, const unsigned long len)
+{
+ const long start = ftell(f);
+ varuint32 count;
+
+ if (start < 0)
+ {
+ LOG("%s: ftell(3): %s\n", __func__, strerror(errno));
+ return -1;
+ }
+ else if (varuint32_read(f, &count))
+ {
+ LOG("%s: varuint32_read failed\n", __func__);
+ return -1;
+ }
+
+ for (varuint32 i = 0; i < count; i++)
+ if (check_export_entry(f))
+ {
+ LOG("%s: check_export_entry failed\n", __func__);
+ return -1;
+ }
+
+ const long end = ftell(f);
+
+ if (end < 0)
+ {
+ LOG("%s: ftell(3): %s\n", __func__, strerror(errno));
+ return -1;
+ }
+
+ const unsigned long size = end - start;
+
+ if (size != len)
+ {
+ LOG("%s: size exceeded (%lu expected, got %lu)\n",
+ __func__, len, size);
+ return -1;
+ }
+
+ return 0;
+}
+
+int section_export_check(const struct section *const s, struct nw_mod *const m,
+ const unsigned long len)
+{
+ FILE *const f = s->f;
+
+ if (m->sections.export)
+ {
+ LOG("%s: ignoring duplicate section\n", __func__);
+ return fseek(f, len, SEEK_CUR);
+ }
+
+ const long offset = ftell(f);
+
+ if (offset < 0)
+ {
+ LOG("%s: ftell(3): %s\n", __func__, strerror(errno));
+ return -1;
+ }
+ else if (check(f, len))
+ {
+ LOG("%s: check failed\n", __func__);
+ return -1;
+ }
+
+ m->sections.export = offset;
+ return 0;
+}