From 5f0c95e70e5b8c12d40b9da24296c92c6e3fc0b1 Mon Sep 17 00:00:00 2001
From: Calixte Denizet <calixte.denizet@gmail.com>
Date: Fri, 15 Jul 2022 14:59:29 +0200
Subject: [PATCH] [JS] Embedded JS scripts can have some null chars

---
 src/core/catalog.js    | 3 ++-
 src/core/core_utils.js | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/core/catalog.js b/src/core/catalog.js
index fa3efa081..1a2513758 100644
--- a/src/core/catalog.js
+++ b/src/core/catalog.js
@@ -982,7 +982,8 @@ class Catalog {
       if (javaScript === null) {
         javaScript = new Map();
       }
-      javaScript.set(name, stringToPDFString(js));
+      js = stringToPDFString(js).replace(/\u0000/g, "");
+      javaScript.set(name, js);
     }
 
     if (obj instanceof Dict && obj.has("JavaScript")) {
diff --git a/src/core/core_utils.js b/src/core/core_utils.js
index 83dc5f11c..8b4ed0e83 100644
--- a/src/core/core_utils.js
+++ b/src/core/core_utils.js
@@ -339,7 +339,7 @@ function _collectJS(entry, xref, list, parents) {
       } else if (typeof js === "string") {
         code = js;
       }
-      code = code && stringToPDFString(code);
+      code = code && stringToPDFString(code).replace(/\u0000/g, "");
       if (code) {
         list.push(code);
       }