Sug'urtalash ++ - Insure++

Sug'urtalash ++
Parasoft Logo 2017.png
Tuzuvchi (lar)Parasoft
Dastlabki chiqarilish1993; 27 yil oldin (1993)
Barqaror chiqish
7.5.2 / 30.10.2018 (2018-10-30)
Operatsion tizimO'zaro faoliyat platforma, Linux, Solaris, Windows
Mavjud:Ingliz tili
TuriProfiler / Xotira tuzatuvchisi
LitsenziyaMulkiy tijorat dasturlari
Veb-saytwww.parasoft.com/ mahsulotlar/ sug'urta

Sug'urtalash ++ a xotira tuzatuvchisi kompyuter dasturi tomonidan ishlatilgan dasturiy ta'minot yozilgan dasturlarda turli xil xatolarni aniqlash uchun ishlab chiquvchilar C va C ++. U tomonidan qilingan Parasoft, va funktsional jihatdan boshqa xotira tuzatuvchilariga o'xshaydi, masalan Tozalash, Valgrind va Doktor xotirasi.[1]

Umumiy nuqtai

Sug'urta ++ avtomatik ravishda bo'shatilgan xotiraga (erkin foydalanishdan keyingi holatlar) xatolar, qator chegaralarini buzish, ajratilmagan xotirani bo'shatish (bu ko'pincha dasturchi bir xil xotirani ikki marta bo'shatganda yoki global yoki stack xotirani bo'shatganda sodir bo'ladi) avtomatik ravishda topishi mumkin va boshqalar.[2]

Purify va Valgrinddan farqli o'laroq, Insure ++ qo'shimchalarini qo'shadi asbobsozlik manba kodi darajasida,[3][4][tushuntirish kerak ] bu boshqa vositalar o'tkazib yuboradigan xatolarni aniqlashga imkon beradi.[5] Xususan, sug'urta ++ aniqlay oladi bufer toshib ketadi avtomatik massivlarda va quyidagi misolda bo'lgani kabi tasodifan bitta joriy xotira mintaqasidan boshqasiga "sakrab o'tuvchi" ko'rsatgichlarni o'z ichiga olgan toshmalarda:

# shu jumladan <stdlib.h>int asosiy() {    char *p = malloc(1024); / * birinchi dinamik ravishda ajratilgan blok * /    char *q = malloc(1024); / * ikkinchi blok * /    p += 1200; / * Bu vaqtda "p" ikkinchi blokga ishora qilishi mumkin.                   Biroq, haqiqiy xatti-harakatlar to'g'risida yolg'on taxminlar xatolarga olib keladi. * /    *p = "a";  / * yaroqsiz yozuv (birinchi blok oxiridan o'tgan) * / }

Manba darajasidagi asboblar unga nafaqat qochqin sodir bo'lganligini, balki qaerda bo'lganligini aniqlashga imkon beradi.[1] Ba'zi vositalar faqat xotira ajratilgan joy haqida ma'lumot beradi, sug'urta ++, shuningdek, haqiqiy qochqinning qachon / qaerda sodir bo'lishi haqida stack izini beradi.

Bundan tashqari, sug'urta ++ ishlab chiqaradi Lineer kodlar ketma-ketligi va sakrash Kodni qamrab olish barcha sinov qilingan kodlar uchun ko'rsatkichlar.

Shuningdek qarang

Adabiyotlar

  1. ^ a b "Ish vaqtidagi ketma-ketlikdagi xatolarni aniqlash tizimlari bo'yicha tadqiqotlar" (PDF). Ayova shtati universiteti yuqori samaradorlik bo'yicha hisoblash guruhi. Olingan 20 sentyabr 2010.
  2. ^ Mettsger, Robert. Fikrlash orqali disk raskadrovka: ko'p tarmoqli yondashuv. p. 490. ISBN  1555583075.
  3. ^ "Parasoft Insure ++ Parasoft veb-saytida". Olingan 29 yanvar, 2014.
  4. ^ Reddi, Martin. C ++ uchun API dizayni. p. 239.
  5. ^ Lier, Matias. Yuqori samarali hisoblash uchun vositalar. p. 147. ISBN  3642112900.

Tashqi havolalar