diff --git a/analyzer/python/ikos/http.py b/analyzer/python/ikos/http.py
index 3b7d6117..c875258b 100644
--- a/analyzer/python/ikos/http.py
+++ b/analyzer/python/ikos/http.py
@@ -50,3 +50,12 @@
     from urlparse import parse_qs
     from urllib import urlencode
     from urllib2 import urlopen
+
+
+class HTTPServerIPv6(HTTPServer):
+    '''
+    HTTP server that listens in IPv6.
+
+    In systems with dual stack, this also listens in IPv4.
+    '''
+    address_family = socket.AF_INET6