Computer programs have grown so complex, some containing millions of lines of code, that defending them is difficult.