Added extra dockerfile using the Ghidra backend

.travis_prepare.sh

@@ -6,3 +6,4 @@ cd ../unit/
 ./specify_test_files_for_compilation.sh
 cd ../..
 docker build -t cwe-checker .
+docker build -t cwe-checker-ghidra -f ghidra.Dockerfile .
\ No newline at end of file

Dockerfile

-FROM fkiecad/cwe_checker_travis_docker_image:latest
+FROM fkiecad/cwe_checker_travis_docker_image:bap
 
-COPY . /home/bap/cwe_checker/
+COPY . /home/cwe/cwe_checker/
 
-RUN sudo chown -R bap:bap /home/bap/cwe_checker \
-    && cd /home/bap/cwe_checker \
+RUN sudo chown -R cwe:cwe /home/cwe/cwe_checker \
+    && cd /home/cwe/cwe_checker \
     && make all \
     && cargo clean \
     && dune clean
 
-WORKDIR /home/bap/cwe_checker
+WORKDIR /home/cwe/cwe_checker
 
 ENTRYPOINT ["opam", "config", "exec", "--"]
 CMD cwe_checker /tmp/input

ghidra.Dockerfile

+FROM fkiecad/cwe_checker_travis_docker_image:ghidra
+
+COPY . /home/cwe/cwe_checker/
+
+RUN sudo chown -R cwe:cwe /home/cwe/cwe_checker \
+    && cd /home/cwe/cwe_checker \
+    && make all GHIDRA_PATH=/home/cwe/ghidra \
+    && cargo clean
+
+WORKDIR /home/cwe/cwe_checker
+
+# ENTRYPOINT ["/bin/sh", "-c"]
+CMD cwe_checker /tmp/input