Automated techniques and tools for program analysis: Survey

Dealing with program analysis for software development and the understanding of source code of software exhibit many research possibilities. The field of program analysis scrutinizes the approaches and techniques to analyze the properties of program including its analysis, flow, program development, algorithm, reverse engineering and other invisible features. The goal is to improve our understanding of inherently invisible and intangible software, particularly when dealing with large information spaces that characterize domains like software maintenance, reverse engineering, and collaborative development. The use of analytical methods to inspect and review source code to detect bugs has been a standard development practice. This process can be accomplished both manually and in an automated fashion. With automation, software tools provide assistance with the code review and inspection process. Program analysis includes Static and Dynamic program analysis. Static analysis techniques range from routine to more complex semantic analysis based structure.