Apache httpd demo

examples/http/faw_tdag_pairs.sh

@@ -0,0 +1,6 @@
+#!/usr/bin/env bash
+
+FAW_DIR="$1"
+./tdag_pairs.sh "$FAW_DIR"/cves
+./tdag_pairs.sh "$FAW_DIR"/handcrafted
+./tdag_pairs.sh "$FAW_DIR"/portswigger

examples/http/httpd/.dockerignore

@@ -0,0 +1,3 @@
+httpd
+example_httpd
+example_httpd.o

examples/http/httpd/Dockerfile

@@ -0,0 +1,56 @@
+FROM trailofbits/polytracker:latest
+LABEL org.opencontainers.image.authors="[email protected]"
+
+RUN rm -rf /polytracker/examples/http/httpd && mkdir -p /polytracker/examples/http/httpd
+
+WORKDIR /polytracker/examples/http/httpd
+RUN git clone --branch 2.4.13 https://github.com/apache/httpd.git
+RUN apt update && apt install -y netcat curl autoconf libtool-bin && rm -rf /var/lib/apt/lists/*
+
+WORKDIR /polytracker/examples/http/httpd/httpd
+RUN mkdir -p srclib/apr srclib/apr-util srclib/pcre srclib/expat
+RUN curl https://archive.apache.org/dist/apr/apr-1.7.0.tar.gz -o apr-1.7.0.tar.gz \
+    && tar xfz apr-1.7.0.tar.gz -C srclib/apr --strip-components 1 \
+    && rm apr-1.7.0.tar.gz 
+RUN curl https://archive.apache.org/dist/apr/apr-util-1.6.1.tar.gz -o apr-util-1.6.1.tar.gz \
+    && tar xfz apr-util-1.6.1.tar.gz -C srclib/apr-util --strip-components 1 \
+    && rm apr-util-1.6.1.tar.gz
+RUN curl -L https://sourceforge.net/projects/pcre/files/pcre/8.39/pcre-8.39.tar.gz/download -o pcre-8.39.tar.gz \
+    && tar xfz pcre-8.39.tar.gz -C srclib/pcre --strip-components 1 \
+    && rm pcre-8.39.tar.gz
+RUN curl -L https://github.com/libexpat/libexpat/releases/download/R_2_4_7/expat-2.4.7.tar.gz -o expat-2.4.7.tar.gz \
+    && tar xfz expat-2.4.7.tar.gz -C srclib/expat --strip-components 1 \
+    && rm expat-2.4.7.tar.gz
+
+WORKDIR /polytracker/examples/http/httpd/httpd/srclib/pcre
+RUN polytracker build ./configure --disable-shared
+RUN polytracker build make
+
+WORKDIR /polytracker/examples/http/httpd/httpd/srclib/expat
+RUN polytracker build ./configure --disable-shared
+RUN polytracker build make
+
+# apr, apr-util are configured via httpd's configure script
+
+WORKDIR /polytracker/examples/http/httpd/httpd
+RUN polytracker build ./buildconf 
+RUN CFLAGS="-I$(pwd)/srclib/pcre -I$(pwd)/srclib/expat/lib" \
+    LDFLAGS="-L$(pwd)/srclib/pcre/.libs -L$(pwd)/srclib/expat/lib/.libs" \
+    polytracker build ./configure --disable-shared --with-mpm=prefork --with-pcre=srclib/pcre/pcre-config --with-included-apr \
+    --enable-mods-static='authz_core unixd'
+RUN CFLAGS="-I$(pwd)/srclib/pcre -I$(pwd)/srclib/expat/lib" \
+    LDFLAGS="-L$(pwd)/srclib/pcre/.libs -L$(pwd)/srclib/expat/lib/.libs" \ 
+    polytracker build make -j$((`nproc`+1))
+
+RUN polytracker instrument-targets --taint --ftrace httpd
+RUN mv httpd.instrumented httpd_track
+# overwrite binary to be installed with our polytracker-instrumented version 
+RUN cp httpd_track httpd  
+RUN polytracker build make install
+
+COPY harness_httpd.sh /polytracker/examples/http/httpd/
+COPY httpd.conf /usr/local/apache2/conf/
+
+# Note, the /workdir and /testcase directories are intended to be mounted at runtime
+VOLUME ["/workdir", "/testcase"]
+WORKDIR /workdir

examples/http/httpd/README.md

@@ -0,0 +1,29 @@
+# Polytracker demo: Apache httpd 
+
+## Quickstart
+```
+cd /path/to/polytracker/examples/http/httpd
+./example_httpd.sh foo.txt
+```
+where `foo.txt` contains the raw text of an HTTP request.
+
+## Notes on instrumentation
+In order to enable polytracker instrumentation, we statically compile httpd, its dependencies, and its modules.
+
+The default build includes the following statically compiled modules:
+```
+$ ./httpd -l
+Compiled in modules:
+  core.c
+  mod_authz_core.c
+  mod_so.c
+  http_core.c
+  prefork.c
+  mod_unixd.c
+```
+
+In order to enable additional modules, modify the Dockerfile to include additional `--enable-MODULE=static`
+or `--enable-modules-static=MODULE-LIST` directives during the final `./configure` command. 
+(see the [httpd configruation documenation](https://httpd.apache.org/docs/2.4/programs/configure.html) for further details).
+You may also need to modify the `httpd.conf` file in this directory (which is copied to `/usr/local/apache2/conf/httpd.conf` in the container), and potentially add module configuration files to 
+the `/usr/local/apache2/conf/extra` directory.

examples/http/httpd/example_httpd.sh

@@ -0,0 +1,35 @@
+#!/usr/bin/env bash
+
+if [[ -z "$1" ]]; then
+	echo "Error: no arguments supplied"
+	echo "Usage: ./example_httpd.sh /path/to/raw_http_request"
+	exit 1
+fi
+
+if [[ "$(docker images -q trailofbits/polytracker 2>/dev/null)" == "" ]]; then
+	docker build -t trailofbits/polytracker -f ../../Dockerfile ../../
+fi
+if [[ "$(docker images -q trailofbits/polytracker-demo-http-httpd 2>/dev/null)" == "" ]]; then
+	docker build -t trailofbits/polytracker-demo-http-httpd .
+fi
+
+HOST_PATH=$(realpath "$1")
+BASENAME=$(basename "$HOST_PATH")
+HOST_DIR=$(dirname "$HOST_PATH")
+
+# NOTE: cannot pass --read-only because httpd needs to be able to write to /usr/local/apache2/logs/error_log
+
+# mount the file if it's not already in /workdir
+SCRIPT_DIR=$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" &>/dev/null && pwd)
+if [[ "$HOST_DIR" == "$SCRIPT_DIR" ]]; then
+	docker run -ti --rm -e POLYPATH="$1" -e POLYDB="$1.tdag" \
+		--mount type=bind,source="$(pwd)",target=/workdir trailofbits/polytracker-demo-http-httpd:latest \
+		/polytracker/examples/http/httpd/harness_httpd.sh "$1"
+else
+	CONTAINER_PATH=/testcase/"$BASENAME"
+	docker run -ti --rm -e POLYPATH="$CONTAINER_PATH" -e POLYDB=/workdir/"$BASENAME".tdag \
+		--mount type=bind,source="$(pwd)",target=/workdir \
+		--mount type=bind,source="$HOST_PATH",target="$CONTAINER_PATH" \
+		trailofbits/polytracker-demo-http-httpd:latest \
+		/polytracker/examples/http/httpd/harness_httpd.sh "$CONTAINER_PATH"
+fi

examples/http/httpd/harness_httpd.sh

@@ -0,0 +1,20 @@
+#!/usr/bin/env bash
+
+set -e
+
+APACHE_ROOT=/usr/local/apache2
+$APACHE_ROOT/bin/apachectl -X &
+# needed for server initialization in single-worker mode
+sleep 10
+
+# send request (from text file - first command line arg) to instrumented httpd
+nc localhost 80 <"$1"
+
+APACHE_PID=$(cat /usr/local/apache2/logs/httpd.pid)
+kill "$APACHE_PID"
+wait
+
+# Oddly, these cause issues with TDAG production and does not include socket fds among TDAG sources
+# but only when run from the same terminal
+# $APACHE_ROOT/bin/apachectl stop
+# $APACHE_ROOT/bin/apachectl graceful-stop