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 your source code files, performs semantic analysis, and builds an abstract syntax tree to represent your program. From there, PC-lint Plus employs various mechanisms including Data Flow Analysis, Abstract Interpretation, Value Tracking, read-write analysis, Strong Type checking,function semantic validation, and many other technologies to provide a robust and holistic analysis of both individual files and an entire project.
