automated vulnerability discovery