Added Docker Files and changed the result_files directory variable for Docker Images in default-values.js

.dockerignore

@@ -0,0 +1,24 @@
+**/.classpath
+**/.dockerignore
+**/.env
+**/.git
+**/.gitignore
+**/.project
+**/.settings
+**/.toolstarget
+**/.vs
+**/.vscode
+**/*.*proj.user
+**/*.dbmdl
+**/*.jfm
+**/charts
+**/docker-compose*
+**/compose*
+**/Dockerfile*
+**/npm-debug.log
+**/obj
+**/secrets.dev.yaml
+**/values.dev.yaml
+**/LICENSE
+**/README.md
+**/.txt

Dockerfile

@@ -0,0 +1,32 @@
+# Stage 1 — builder 
+FROM node:22.19.0 AS builder
+
+RUN apt-get update && apt-get install python3 git opam ocaml vim \
+libnss3 libdrm2  libgbm1 libx11-xcb1 libxcb-dri3-0 libxtst6 \ 
+libatk1.0-0 libatk-bridge2.0-0 libgdk-pixbuf2.0-0 libgtk-3-0  libcups2 \
+libasound2 xserver-xorg-video-all xserver-xorg-input-all \
+xserver-xorg-core xinit x11-xserver-utils libgtk-3-dev \
+libxss-dev libxss1 make g++ \
+-yq --no-install-suggests --no-install-recommends  \
+&& apt-get clean && rm -rf /var/lib/apt/lists/*
+
+WORKDIR /deepsec_ui
+COPY . .
+ENV DISPLAY=:0
+
+#Setting deepsec api path
+ENV PATH="$PATH:/deepsec_ui/deepsec/"
+
+# install exact deps and perform an electron build
+RUN npm ci --no-audit --prefer-offline
+RUN npm run electron:build
+
+RUN git clone https://github.com/DeepSec-prover/deepsec.git
+
+
+RUN opam init -a -y --disable-sandboxing \
+&& opam install ocamlfind ocamlbuild -y 
+RUN cd deepsec && eval $(opam env) && make
+
+CMD bash
+

compose.debug.yaml

@@ -0,0 +1,12 @@
+services:
+  deepsecui:
+    image: deepsecui
+    build:
+      context: .
+      dockerfile: ./Dockerfile
+    environment:
+      NODE_ENV: development
+    ports:
+      - 8080:8080
+      - 9229:9229
+    command: ["node", "--inspect=0.0.0.0:9229", "background.js"]

compose.yaml

@@ -0,0 +1,16 @@
+services:
+  deepsecui:
+    image: deepsecui
+    build:
+      context: .
+      dockerfile: ./Dockerfile
+    environment:
+      NODE_ENV: production
+    ports:
+      - 8080:8080
+    volumes:
+      - result_files:/home/node/.deepsec/result_files
+
+volumes:
+  result_files:
+    driver: local

src/util/default-values.js

@@ -20,7 +20,12 @@ function getAppDataRoot () {
   }
 }
 
-const resultsDirPath = path.join(getAppDataRoot(), "Deepsec", "result_files");
+let resultsDirPath = path.join(getAppDataRoot(), "Deepsec", "result_files");
+
+// For Docker Image: setting the path to the result files
+if (process.platform == "linux") {
+  resultsDirPath = path.join(HOME, ".deepsec", "result_files");
+}
 
 const defaultValues = {
     showHelpers: true,