PC-Lint - PC-Lint

PC vlákna je komerční software podšívka nástroj vyráběný společností Gimpel Software (dříve Gimp Suit Software Ltd.) pro C /C ++ jazyky.

PC-lint je nástroj příkazového řádku pro provádění statická analýza kódu, což naznačuje podezřelé nebo prosté nesprávné problémy ve zdrojovém kódu. PC-žmolky lze integrovat do IDE jako externí nástroj a formát varovných zpráv lze přizpůsobit formě, kterou je IDE schopen rozpoznat a zpracovat. Je inzerován jako běžící na Microsoft Windows a OS / 2. Samostatná multiplatformní verze s názvem FlexeLint je také k dispozici pro Unix a další platformy, i když za podstatně vyšší cenu.

PC-lint lze použít pro zajištění kvality zdrojového kódu C nebo C ++ a kontrolu shody kódu s pokyny pro kódování, jako je MISRA C nebo MISRA C ++.[1] Zahrnuje také kontroly problémů, které jsou jedinečné pro paralelní programy POSIX vlákna.[2]

Následné zpracování

Výstup PC-Lint lze použít pomocí dalších nástrojů ke generování zpráv a k prezentaci varování v přístupnější formě.[3]

Motor ALOA původně vydal zdarma Ralf Holly (přibližný.com ) a nyní sídlí v GitHub, poskytující regresní hlášení porovnávající více běhů vláken.

Visual Lint poskytuje integraci IDE a také pomáhá porozumět zprávám PC-Lint a přizpůsobitelné zprávy upozornění na prach.

Lintikátor integruje PC-lint do vývojového nástroje Eclipse C / C ++, aby poskytoval živou zpětnou vazbu v editoru a generoval konfigurační soubory a značky potlačení pro PC-Lint.

Viz také

Reference

  1. ^ Kontrola shody MISRA, PC-lint / FlexeLint, Gimpel Software.
  2. ^ Andrey Karpov (červen 2009). "Parallel Lint". Dr.Dobb's Journal.
  3. ^ Jon Zyzyck (únor 2003). "Generátor zpráv pro PC-Lint". Dr.Dobb's Journal.

externí odkazy