copyHeaderStringToCanonicalBuffer proof
==============

This directory contains a memory safety proof for copyHeaderStringToCanonicalBuffer.

To run the proof.
-------------

* Add `cbmc`, `goto-cc`, `goto-instrument`, `goto-analyzer`, and `cbmc-viewer`
  to your path.
* Run `make`.
* Open html/index.html in a web browser.