@TechReport{ christodorescujha2003-safe-tr,
  author = 	 {Mihai Christodorescu and Somesh Jha},
  title = 	 {Static Analysis of Executables to Detect Malicious Patterns},
  institution =  {University of Wisconsin, Madison},
  year = 	 {2003},
  type = 	 {Technical Report},
  number =	 {1467},
  url = 	 {ftp://ftp.cs.wisc.edu/pub/tech-reports/reports/2003/tr1467.ps.Z},
  month = 	 feb
}