NetKAT Encoded Topology Zoo

README.md

• https://goo.gl/9EoUNb
• http://www.cs.cornell.edu/~jnfoster/tmp/topozoo.tar.gz

dot.sh

for d in *.dot; do
    echo $d;
    cat $d \
        | sed 's/src_port=\([0-9]\+\)/label="\1"/' \
        | dot -Tpdf -o $(basename $d .dot).pdf;
done

fix_policy.py

import sys
import json

def fix_policy(pol):
  switch, ip = pol['pols'][0]['pred']['preds']
  switch['value'] += 1
  addr = ip['value']['addr'].split('.')
  addr[2] = str(int(addr[2]) + 1)
  addr[3] = str(int(addr[3]) + 1)
  ip['value']['addr'] = '.'.join(addr)

def fix_file(filename):
  with open(filename) as f:
    j = json.loads(f.read())

  for pol in j['pols']:
    fix_policy(pol)

  with open(filename, 'w') as f:
    print "Dumping file: %s" % filename
    json.dump(j, f)

if __name__ == "__main__":
  for arg in sys.argv[1:]:
    print "Fixing file: %s" % arg
    fix_file(arg)

fix_topology.py

"""
Due to a (mininet?) bug, topology files cannot have switches numbered 0. This
script goes through line by line and (hackily) increments all switch ids, IP
addresses, and MAC addresses. It also fixes a bug where MAC addresses weren't
being expressed in hex.
"""

import re
import sys

def main(filenames):
    if len(filenames) != 1:
        print "usage: python fix_topology.py <topo.dot>"
        sys.exit(-1)

    with open(filenames[0], "r") as f:
        for line in f:
            r = "(s|h)([0-9]+)"
            m = re.search(r, line)
            if m:
                new = lambda m: m.group(1) + str(int(m.group(2)) + 1)
                line = re.sub(r, new, line)
            if "id=" in line:
                r = "(.*id=)([0-9]+)(,.*)"
                m = re.search(r, line)
                new_id = str(int(m.group(2)) + 1)
                line = re.sub(r, r"\g<1>" + new_id + r"\g<3>", line)
            elif "mac=" in line:
                r = '(.*mac=")(.*)(",.*)'
                m = re.search(r, line)
                mac = [int(x) for x in m.group(2).split(":")]
                mac = mac[:-2] + [mac[-2] + 1] + [mac[-1] + 1]
                new_mac = ":".join("%02x" % x for x in mac)
                line = re.sub(r, r"\g<1>" + new_mac + r"\g<3>", line)
            elif "ip=" in line:
                r = '(.*ip=")(.*)(",.*)'
                m = re.search(r, line)
                ip = [int(x) for x in m.group(2).split(".")]
                ip = [ip[0], ip[1], ip[2] + 1, ip[3] + 1]
                new_ip = ".".join(str(x) for x in ip)
                line = re.sub(r, r"\g<1>" + new_ip + r"\g<3>", line)
            print line,

if __name__ == "__main__":
    main(sys.argv[1:])

topozoo.csv

topozoo.tgz