Dinakar Dhurjati1, Manuvir Das, and Yue Yang. SAS'06: The 13th International Static Analysis Symposium, Seoul, August 2006. Portable Document Format.