Index: src/tools/wast2json.cc
--- src/tools/wast2json.cc.orig
+++ src/tools/wast2json.cc
@@ -21,6 +21,9 @@
#include <cstdlib>
#include <string>
+#include <err.h>
+#include <unistd.h>
+
#include "wabt/config.h"
#include "wabt/binary-writer-spec.h"
@@ -96,6 +99,9 @@ int ProgramMain(int argc, char** argv) {
ParseOptions(argc, argv);
+ if (pledge("stdio rpath wpath cpath", NULL) != 0)
+ err(1, "pledge");
+
std::vector<uint8_t> file_data;
Result result = ReadFile(s_infile, &file_data);
Errors errors;