Source given by Prof. R. Sekar

http://seclab.cs.sunysb.edu/sekar/
http://seclab.cs.sunysb.edu/sekar/cse504/