Added docker build and dockerhub links

Author: sdphaye

README.md

@@ -463,6 +463,22 @@ Notes:
   considerable effort.  We do not intend to maintain a stable build at this
   time.
 
+Docker
+-------
+
+It is possible to build and use EffectiveSan over a docker container.
+For this, follow the steps below:
+
+	$ cd docker
+	$ make
+
+This should set up a docker image as "effective-san:latest".
+
+Alternatively, a prebuilt docker image is available on Dockerhub and can be pulled locally as:
+
+	$ docker pull sdphaye/effective-san
+
+
 Features
 ========
 

docker/Dockerfile

@@ -0,0 +1,34 @@
+# Use Ubuntu 16.04 as the base image
+FROM ubuntu:16.04
+
+# Set environment variables to avoid interactive prompts during installation
+ENV DEBIAN_FRONTEND=noninteractive
+
+# Update and install required packages
+RUN apt-get update && \
+    apt-get install -y \
+        git \
+        vim \
+        wget \
+        unzip \
+        build-essential \
+        cmake \
+        python3 \
+        zlib1g-dev \
+        llvm-4.0 \
+        clang-4.0 && \
+    # Clean up apt cache to reduce image size
+    apt-get clean && \
+    rm -rf /var/lib/apt/lists/*
+
+# Clone the EffectiveSan repository
+RUN cd /home && \
+    git clone https://github.com/GJDuck/EffectiveSan.git
+
+# Build the EffectiveSan project
+RUN cd /home/EffectiveSan && \
+    ./build.sh
+
+# Set default working directory
+WORKDIR /home/EffectiveSan
+

docker/Makefile

@@ -0,0 +1,19 @@
+# Variables
+IMAGE_NAME=effective-san
+TAG=latest
+
+# Default target (run when `make` is invoked)
+all: build
+
+# Rule to build the Docker image
+build:
+	docker build -t $(IMAGE_NAME):$(TAG) .
+
+# Rule to clean up (optional)
+clean:
+	docker rmi $(IMAGE_NAME):$(TAG)
+
+# Rule to push the Docker image to a registry (optional)
+push:
+	docker push $(IMAGE_NAME):$(TAG)
+