A Trusted Name in Static AnalysisGimpel Software has been the leading pioneer of static analysis software since the release of the award-winning PC-lint in 1985. Since that time, our static analysis products have been trusted by countless developers to find bugs in projects of all sizes and across virtually all industries. PC-lint Plus is Gimpel Software’s latest offering providing unparalleled analysis capabilities for C and C++.
Gimpel Software is a privately held company founded in 1984 by Dr. James F. Gimpel for the purpose of providing programming utilities for C programmers. Gimpel Software is best known for its innovations in the static checking of C/C++ source code through its award-winning 'lint' utilities -- PC-lint, FlexeLint and its most recent offering, PC-lint Plus which supports the latest C and C++ language versions.
CertificationPC-lint Plus has been certified by exida® for ISO 26262:2018 (ASIL D qualified) and IEC 61508:2010 (SIL 4 qualified).
Linticator is a plug-in for Eclipse CDT that automatically configures PC-lint Plus with your Eclipse CDT Project settings and displays your Lint messages in the Editor and the Problems View making them easy to spot and correct. For some messages, it will even provide quick-fixes that let you quickly correct or suppress a warning.
Riverblade's Visual Lint allows you to more effectively run PC-lint Plus from within Microsoft Visual Studio and even provides for automatic background linting of your code. LintProject will enhance your use of PC-lint Plus with Visual C++. LintProject can be run against a Visual C++ project or solution file (.dsp, .vcproj, .sln or .dsw), and will tell Lint which source files to analyse. It will write XML and HTML reports which link to your Lint output and indicate how many warnings were found within each implementation file, project and solution. These reports are automatically refreshed in real time so you can follow the progress of the analysis of your code.
VectorCAST/Lint utilizes the powerful FlexeLint source code analysis engine from Gimpel Software and has been extended to support the extensive list of embedded compiler environments currently integrated with the rest of the VectorCAST dynamic testing product line. VectorCAST/Lint launches the FlexeLint product to statically analyze one or more source code files. VectorCAST/Lint now supports MISRA C 2012 checking. The VectorCAST/Lint message browser makes it easy to review errors and warnings in the context of the source file where they occur. Additionally, the message browser displays detailed explanations of the concepts behind the analysis.
What is a “Gimpel”?Gimpel is the German name for the finch Pyrrhula pyrrhula, commonly called Dompfaff. Both males and females have a black head, beak, wings and tail; a grey back and a white rump. The male has a rose-red lower surface, however, the female is inconspicuously brown.
The Gimpel lives in the forests of Europe and builds its nest in a tree or bush. It eats the seeds of fleshy fruits and herbs, buds, and shoots and will leave the forest only when it cannot find food. Although its singing is generally monotone, in captivity, the Gimpel has a masterful ability to learn and imitate human music.
EmploymentGimpel Software is always looking for motivated, talented individuals with extensive knowledge of the C and C++ programming languages to make contributions to PC-lint Plus.
If you are interested in working for a small company in suburban Philadelphia that is on the cutting edge of static analysis, send your resume to "support" at gimpel.com and include "Resume" on the Subject line.
Please send resumes as either plain text or PDF file attachments.