Kompyuter-Lint - PC-Lint

Kompyuter-lint tijorat dasturidir linting uchun Gimpel Software (ilgari Gimp Suit Software Ltd.) tomonidan ishlab chiqarilgan asbob C /C ++ tillar.

PC-lint - bu bajarish uchun buyruq qatori vositasi statik kodni tahlil qilish, manba kodida shubhali yoki aniq noto'g'ri muammolarni ko'rsatadigan. Kompyuter-lint ichiga birlashtirilishi mumkin IDElar tashqi vosita sifatida va ogohlantirish xabarlari formati IDE tanib olish va qayta ishlashga qodir bo'lgan shaklga moslashtirilishi mumkin. Microsoft Windows va OS / 2 operatsion tizimlarida ishlaydi deb reklama qilinadi. Alohida ko'p platformali versiya FlexeLint Unix va boshqa platformalar uchun ham katta narxga ega bo'lsa ham mavjud.

Kompyuter-lintdan C yoki C ++ manba kodlarini sifatini ta'minlash va kodlash kabi ko'rsatmalarga muvofiqligini tekshirish uchun foydalanish mumkin. MISRA C yoki MISRA C ++.[1] Bunga parallel dasturlarga xos bo'lgan muammolarni tekshirish ham kiradi POSIX zarralari.[2]

Postni qayta ishlash

PC-Lint chiqishi hisobotlarni yaratish va ogohlantirishlarni yanada qulayroq shaklda taqdim etish uchun qo'shimcha vositalar yordamida ishlatilishi mumkin.[3]

ALOA dvigateli dastlab Ralf Xolli tomonidan bepul chiqarilgan (taxminan.com ) va hozirda yashaydi GitHub, ko'p sonli chiziqlarni taqqoslab regressiya hisobotini taqdim etish.

Visual Lint IDE integratsiyasini ta'minlaydi, shuningdek PC-Lint xabarlarini va sozlash mumkin hisobotlar tuklar haqida ogohlantirishlar.

Lintikator PC-lint-ni Eclipse C / C ++ dasturini ishlab chiqishda tahrirlovchida jonli teskari aloqa qilish va PC-Lint uchun konfiguratsiya fayllari va bostirish belgilarini yaratish uchun birlashtiradi.

Shuningdek qarang

Adabiyotlar

  1. ^ MISRA muvofiqligini tekshirish, PC-lint / FlexeLint, Gimpel Software.
  2. ^ Andrey Karpov (2009 yil iyun). "Parallel Lint". Doktor Dobbning jurnali.
  3. ^ Jon Zyzyk (2003 yil fevral). "PC-Lint uchun hisobot ishlab chiqaruvchisi". Doktor Dobbning jurnali.

Tashqi havolalar