Program analysis,

Definition of Program analysis:

1. Detailed examination of every aspect of a program to ascertain its requirements and feasibility in view of the available resources.