Finding Security Violations by Using Precise Source- level Analysis by V.Benjamin Livshits and Monica Lam {livshits, lam}@cs.stanford.edu SUIF Group CSL,
Ch07 Programming for Security Professionals