Detecting Vulnerabilities in Linux Distributions