Program analysis is the process of automatically analyzing the behavior of computer programs. Two main approaches in program analysis are static program analysis and dynamic program analysis. We are working on Static program analysis – it analyzes computer software without actually executing programs built. Static program analysis has found many new and interesting applications in practically all aspects of software engineering over the last few years. Looking at this potential of program analysis use, TRDDC had embarked on developing a framework to support diverse needs of program analysis. The framework concept has provided the ability to its users to select the best available technique or strategy for solving an analysis problem in a given domain and environment.

PRISM – Scalable and Precise Static Program Analysis Framework

We have also developed tools, which are using this framework. These are 

ASSENT MISRA C
TCS Embedded Code Analyzer
Property Verification Tool