From 1939b76502f636b9e577b402b2d2a32a7f56508c Mon Sep 17 00:00:00 2001
From: borysp <borysp@invisiblethingslab.com>
Date: Sun, 1 Dec 2019 22:05:45 +0100
Subject: [PATCH] [LibOS] Test user pointer in pipe parser (used for debugging)

---
 LibOS/shim/src/shim_parser.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/LibOS/shim/src/shim_parser.c b/LibOS/shim/src/shim_parser.c
index adc03a7a..e0cae23e 100644
--- a/LibOS/shim/src/shim_parser.c
+++ b/LibOS/shim/src/shim_parser.c
@@ -793,6 +793,10 @@ static void parse_exec_envp(va_list ap) {
 static void parse_pipe_fds(va_list ap) {
     int* fds = va_arg(ap, int*);
 
+    if (test_user_memory(fds, 2 * sizeof(*fds), false)) {
+        PRINTF("[invalid-addr %p]", fds);
+        return;
+    }
     PRINTF("[%d, %d]", fds[0], fds[1]);
 }