PC-Lint
| Deweloperzy | Gimp Suit Software Ltd., później Gimpel Software |
|---|---|
| System operacyjny | Microsoft Windows i OS/2 |
| Typ | statyczna analiza kodu C / C ++ |
| Strona internetowa |
|
PC-lint to komercyjne narzędzie do lintingu oprogramowania produkowane przez Gimpel Software (dawniej Gimp Suit Software Ltd.) dla języków C / C++ .
PC-lint to narzędzie wiersza poleceń do przeprowadzania statycznej analizy kodu , wskazujące podejrzane lub po prostu błędne problemy w kodzie źródłowym. PC-lint można zintegrować z IDE jako zewnętrzne narzędzie, a format komunikatów ostrzegawczych można dostosować do formy, którą IDE jest w stanie rozpoznać i przetworzyć. Jest reklamowany jako działający w systemach Microsoft Windows i OS/2. Oddzielna wieloplatformowa wersja o nazwie FlexeLint jest również dostępna dla systemu Unix i innych platform, aczkolwiek za znacznie wyższą cenę.
PC-lint może być używany do kontroli jakości kodu źródłowego C lub C++ i sprawdzania kodu pod kątem zgodności z wytycznymi kodowania, takimi jak MISRA C lub MISRA C++. Obejmuje również sprawdzanie problemów charakterystycznych dla programów równoległych zbudowanych na wątkach POSIX .
Przetwarzanie końcowe
Dane wyjściowe programu PC-Lint mogą być wykorzystywane przez dodatkowe narzędzia do generowania raportów i prezentowania ostrzeżeń w bardziej przystępnej formie.
Silnik ALOA został pierwotnie udostępniony bezpłatnie przez Ralfa Holly'ego, a teraz znajduje się w serwisie GitHub , udostępniając raporty regresji porównujące wiele przebiegów kłaczków.
Visual Lint zapewnia integrację IDE, a także pomaga zrozumieć komunikaty PC-Lint i konfigurowalne raporty ostrzeżeń o kłaczkach.
Linticator integruje PC-lint z narzędziami programistycznymi Eclipse C/C++, aby dostarczać informacje zwrotne na żywo w edytorze oraz generować pliki konfiguracyjne i znaczniki pomijania dla PC-Lint.
Zobacz też
Linki zewnętrzne
- Strona firmowa - Gimpel Software
- Komercyjna integracja IDE Visual Lint
- Produkt regresji open source ALOA do porównywania przebiegów kłaczków
- Wprowadzenie do prezentacji PC-lint — Ralf Holly, wersja 1.20, 9 lutego 2014 r.