Analysis Prevents Manufacturer from Launching Problematic Program