Pojistit ++ - Insure++

Pojistit ++
Logo Parasoft 2017.png
VývojářiParasoft
První vydání1993; Před 27 lety (1993)
Stabilní uvolnění
7.5.2 / 30. října 2018 (2018-10-30)
Operační systémCross-platform, Linux, Solaris, Okna
K dispozici vAngličtina
TypProfiler / Debugger paměti
LicenceProprietární komerční software
webová stránkawww.parasoft.com/produkty/pojistit

Pojistit ++ je debugger paměti počítačový program, který používá software vývojáři k detekci různých chyb v programech napsaných v C a C ++. Vyrábí to Parasoft, a je funkčně podobný ostatním ladicím programům paměti, například Očistit, Valgrind a Paměť Dr..[1]

Přehled

Insure ++ dokáže automaticky najít chybné přístupy k uvolněné paměti (situace po použití), porušení hranic pole, uvolnění nepřidělené paměti (což se často stává, když programátor uvolní stejnou paměť dvakrát, nebo když uvolní globální nebo zásobníkovou paměť) a mnoho dalších.[2]

Na rozdíl od Purify a Valgrind vloží Insure ++ své instrumentace na úrovni zdrojového kódu,[3][4][je zapotřebí objasnění ] což mu umožňuje detekovat chyby, které ostatním nástrojům chybí.[5] Zjišťovat to může zejména Insure ++ přetečení vyrovnávací paměti v automatických polích a přetečení, která zahrnují ukazatele, které náhodně "skočí" z jedné oblasti platné paměti do druhé, jako v následujícím příkladu:

#zahrnout <stdlib.h>int hlavní() {    char *p = malloc(1024); / * první dynamicky přidělený blok * /    char *q = malloc(1024); / * druhý blok * /    p += 1200; / * V tomto okamžiku bude „p“ pravděpodobně ukazovat do druhého bloku.                   Falešné předpoklady o skutečném chování však vedou k chybám. * /    *p = 'A';  / * neplatný zápis (za konec prvního bloku) * / }

Přístrojové vybavení na úrovni zdroje umožňuje nejen identifikovat, že došlo k úniku, ale také to, kde k němu došlo.[1] Některé nástroje pouze poskytují informace o tom, kde byla alokována paměť, Insure ++ také poskytuje trasování zásobníku, když / kde došlo k skutečnému úniku.

Insure ++ bude navíc vyrábět Sekvence lineárního kódu a skok Pokrytí kódu metriky pro celý testovaný kód.

Viz také

Reference

  1. ^ A b „Průzkum systémů pro detekci chyb sériového běhu“ (PDF). Iowa State University High Performance Computing Group. Citováno 20. září 2010.
  2. ^ Metzger, Robert. Ladění pomocí myšlení: multidisciplinární přístup. str. 490. ISBN  1555583075.
  3. ^ „Parasoft Insure ++ na webu Parasoft“. Citováno 29. ledna 2014.
  4. ^ Reddy, Martin. Návrh rozhraní API pro C ++. str. 239.
  5. ^ Lier, Matthias. Nástroje pro vysoce výkonné výpočty. str. 147. ISBN  3642112900.

externí odkazy