PC-lint Plus

PC-lint Plus is a static analysis tool that finds defects in software by analyzing the C and C++ source code.

Like a compiler, PC-lint Plus parses source code files, performs semantic analysis, and builds an abstract syntax tree. From there, PC-lint Plus employs various mechanisms such as Data Flow Analysis, Abstract Interpretation, and many other technologies to provide a concrete and complete analysis of both individual files and an entire project. PC-lint Plus then reports its findings using clear diagnostics. The diagnostic message format is fully customizable and includes precise location information and context necessary to quickly address defects. 

Advantage of PC-lint Plus