| Feature | Description |
| LINT ANALYSIS OPTIONS | |
| Enable Warnings | Control the depth of analysis to be performed, ranging from fatal/severe/warnings to include informational and/or elective messages. |
| Enable Library Warnings | Perform full analysis of library files in addition to specified source files. |
| ANSI Compliance | Detect non-ANSI keywords (portability analysis). |
| MISRA, MISRA2 Compliance | Enable the explicit set of MISRA-C checks. |
| Target System | Analyze for a specific compiler, including Microsoft, Borland, gnu, or any of over 90 compilers/versions, including numerous embedded targets. |
| REPORT OPTIONS | |
| Make Prototypes | Generate prototypes for all C/C++ functions encountered in the project. |
| Autosave/load Reports | Automatically save and load reports when the project is saved or loaded. |
| Color | Font color in the reports. |
| External Editor | Select the external programming editor that will be invoked when clicking on a hyperlink. |
| Editor Location | Specify location of the editor, if other than its installation default. |
| MISCELLANEOUS OPTIONS | |
| Local INCLUDE path | Add local include file directories. |
| System INCLUDE path | Add system include file directories. |
| Define symbols | Define a preprocessor symbol. |
| Undefine symbols | Undefine a preprocessor symbol. |
| Enable/disable lint messages | Enable or disable specific Gimpel PC-lint analyses based on the message number. |
| Enable/disable verbosity/flag options | Enable or disable specific Gimpel PC-lint verbosity and flag options. |
| Help Menu | Each analysis and report option is described in the Contents and Index section. Equivalent command line parameters are also supplied, if applicable. A GUI quick start guide and the full PC-lint user manual are also available from the Help menu. |
| INNOVATIVE CODE ANALYSIS | |
| Security and anti-hacking analyses | Analyses to detect coding practices that leave code vulnerable, such as buffer overrun. |
| Powerful yet intuitive graphical interface | Fast and interactive environment overlays powerful Gimpel PC-lint command line engine and also controls four other innovative analyses, with hyperlinks using specified external programming editor. |
| Strong Type Checking | "Magic comments" to implement the kind of type-checking that Pascal has and that C and C++ do not. Necessary flexibility using a type hierarchy scheme has been implemented. 12 modes of checking with numerous submodes are available (e.g., check assignmen |
| Value Tracking | Type of dataflow analysis where information is retained about automatic variables (and about data members of the this class for a member function) across statements in a fashion similar to what is retained about the state of initialization. |
| Checks on Weak Definials | Macro definitions, TYPEDEFs, declarations, STRUCT/UNION/ENUM definitions and members, and templates are checked for redundancy and/or whether they are unused. Information is provided as to whether they may be safely removed or tagged STATIC. |
| Possibly Uninitialized | Type of dataflow analysis to determine whether variables are initialized for all branches of conditional constructs and forward GOTOs. Data members of C++ classes are also inspected. |
| Function Mimicry | Type of dataflow analysis using "magic comments" to allow user-created functions to match the argument lists of certain standard functions (e.g., fopen or printf). |
| User-defined Function Semantics Checking | Type of dataflow analysis using "magic comments" to create user-defined semantics for thorough checking of user-created functions. |