Program Analysis

This article talks about Program Analysis, which is detailed examination of every aspect of a program to ascertain its requirements and feasibility in view of the available resources. It is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. It is actually focuses on two major areas: program optimization and program correctness. It also can be performed without executing the program, during runtime or in a combination of both.