Merge branch 'develop'

.gitmodules

@@ -0,0 +1,4 @@
+[submodule "instrumentation2"]
+	path = instrumentation2
+	url = https://github.com/formalsec/instrumentation2.git
+

Dockerfile

@@ -0,0 +1,32 @@
+ARG BASE_OS="ubuntu:22.04"
+FROM ${BASE_OS}
+
+ENV DEBIAN_FRONTEND=noninteractive
+
+SHELL ["/bin/bash", "-c"]
+
+RUN apt-get update && \
+    apt-get install -y python3 python3-pip curl ca-certificates gnupg wget graphviz unzip && \
+    pip install --upgrade pip setuptools
+
+# Install Node.js
+RUN mkdir -p /etc/apt/keyrings \
+    && curl -fsSL https://deb.nodesource.com/gpgkey/nodesource-repo.gpg.key | gpg --dearmor -o /etc/apt/keyrings/nodesource.gpg \
+    && echo "deb [signed-by=/etc/apt/keyrings/nodesource.gpg] https://deb.nodesource.com/node_21.x nodistro main" | tee /etc/apt/sources.list.d/nodesource.list \
+    && apt update \
+    && apt install nodejs -y
+
+# Install Neo4j
+ENV NEO4J_HOME="/var/lib/neo4j"
+RUN wget -O - https://debian.neo4j.com/neotechnology.gpg.key | apt-key add - && \
+    echo 'deb https://debian.neo4j.com stable 5' | tee -a /etc/apt/sources.list.d/neo4j.list && \
+    apt-get update && \
+    apt-get install -y neo4j=1:5.9.0 && \
+    echo dbms.security.auth_enabled=false >> /etc/neo4j/neo4j.conf && \
+    apt-get clean && \
+    rm -rf /var/lib/apt/lists/*
+
+# Build graphjs
+COPY ./ /graphjs
+WORKDIR /graphjs
+RUN ./setup.sh