University of California, Berkeley: Paul Hilfinger's "FSA"

Study slides 6 and 7.

Click http://web.archive.org/web/20160428143438/http://inst.eecs.berkeley.edu/~cs164/sp11/lectures/lecture3.pdf link to open resource.