Slide 1 Vitaly Shmatikov CS 380S UNIX Security: setuid and chroot Static Security Analysis with MOPS.