Consiste en la examinación sistemática del código fuente, de un programa o sistema informático, mediante la detección de errores y vulnerabilidades en el código de los programas con el fin de mejorar la calidad y seguridad de los mismos, reduciendo el esfuerzo en el mantenimiento del software y disminuyendo el costo total de propiedad (TCO).