Gimpel Software has announced version 9.00 of its FlexeLint for C/C++. FlexeLint is a static analyzer that will analyze a mixed suite of C and C++ programs and report on bugs, glitches and inconsistencies. According to Gimpel, FlexeLint aids in developing more secure, reliable, maintainable, and portable programs, speeds program development, and helps control costs by alerting the programmer to suspect code early in the cycle, when corrections can be made easily and economically.
Version 9.00 provides numerous enhancements, including the addition of static variable tracking. It also supports pre-compiled headers that can dramatically increase processing speed.
Other new features include a comprehensive multi-thread analysis, stack usage analysis, program information dump, enhanced message control and message portrayal (html output, optional integration with source code), MISRA C 2004 checking and MISRA C++ checking.
Version 9.00 has 146 new messages that serve to highlight dangling assignments, for clause irregularities, pre-determined predicates, unusual const qualification, irregular use of pointers and references and much more.
FlexeLint Version 9.00 is upward compatible with and includes the same rigorous checking as earlier versions of the product. These checks include pointer tracking, strong type checking, loss of precision, strange uses of Booleans, inter-function value tracking, optional multi-pass operation, analysis of calls to library functions and much more. Rules are available to specify user-defined function semantics.