Program that checks for security flaws