Static Analysis for Security POSTECH Laboratory for UNIX Security (PLUS) Kwang Yul Seo [email protected].