Slide 1Static Analysis for Security POSTECH Laboratory for UNIX Security (PLUS) Kwang Yul Seo [email protected] Slide 2 Static Analysis for Security Detecting security…