Institute for Software Research
School of Computer Science, Carnegie Mellon University
Statically Typed String Sanitation Inside a Python
Nathan Fulton, Cyrus Omar, Jonathan Aldrich
This report contains supporting evidence for claims put forth and explained in the paper "Statically Typed String Sanitation Inside a Python" , including proofs of lemmas and theorems asserted in the paper, examples, additional discussion of the paper's technical content, and errata.