PurifyPlus - PurifyPlus

PurifyPlus je program pro ladění paměti, který používají vývojáři softwaru k detekci chyb přístupu k paměti v programech, zejména těch napsaných v jazyce C nebo C ++ . Původně byl napsán Reedem Hastingsem z Pure Software . Pure Software se později spojil s Atria Software a vytvořil Pure Atria Software, který na oplátku později získala společnost Rational Software , kterou zase získala společnost IBM , a poté se 31. prosince 2014 odprodala společnosti UNICOM Systems , Inc. Je funkčně podobná na jiné ladicí programy paměti, například Insure ++ , Valgrind a BoundsChecker .

Přehled

PurifyPlus umožňuje dynamické ověření, což je proces, při kterém program zjišťuje chyby, ke kterým dochází při spuštění programu, podobně jako debugger . Statická verifikace nebo statická analýza kódu naopak zahrnuje detekci chyb ve zdrojovém kódu, aniž byste jej museli kompilovat nebo spouštět, a to pouze objevováním logických nesrovnalostí. Typ kontroly pomocí C kompilátor je příkladem statické ověření.

Když je program propojen s PurifyPlus, opravený ověřovací kód je automaticky vložen do spustitelného souboru analýzou a přidáním do objektového kódu , včetně knihoven. Tímto způsobem, pokud dojde k chybě paměti, program vytiskne přesné umístění chyby, příslušnou adresu paměti a další relevantní informace. PurifyPlus také detekuje úniky paměti . Ve výchozím nastavení je zpráva o úniku generována při ukončení programu, ale lze ji také generovat voláním PurifyPlus API pro detekci úniku z instrumentované aplikace.

Chyby, které PurifyPlus zjistí, zahrnují čtení a zápis na hranici pole, pokus o přístup k nepřidělené paměti, uvolnění nealokované paměti (obvykle kvůli uvolnění stejné paměti podruhé) a také úniky paměti (přidělená paměť bez odkazu na ukazatel). Většina z těchto chyb není smrtelná (alespoň ne v místě chyby) a často je při pouhém spuštění programu nelze zjistit, kromě pozorování, že je něco špatně kvůli nesprávnému chování programu. PurifyPlus proto pomáhá tím, že tyto chyby detekuje a řekne programátorovi, kde přesně se vyskytují. Protože PurifyPlus funguje tak, že instrumentuje veškerý kód objektu , detekuje chyby, které se vyskytují uvnitř knihoven jiných výrobců nebo operačních systémů . Tyto chyby jsou často způsobeny tím, že programátor předává nesprávným argumentům volání knihoven, nebo nedorozuměním ohledně protokolů pro uvolnění datových struktur používaných knihovnami. Toto jsou často nejobtížnější chyby k nalezení a opravě.

Rozdíly od tradičních debuggerů

Schopnost detekovat nefatální chyby je hlavním rozdílem mezi PurifyPlus a podobnými programy od obvyklých debuggerů . Naproti tomu debuggery obecně umožňují programátorovi rychle najít zdroje závažných chyb, jako je například selhání programu kvůli dereferencingu nulového ukazatele , ale nepomáhají detekovat chyby bez fatální paměti. Ladicí programy jsou užitečné pro další věci, pro které PurifyPlus není určen, například pro procházení kódu po řádcích nebo ruční zkoumání paměti programu v konkrétním okamžiku spuštění. Jinými slovy, tyto nástroje se mohou navzájem doplňovat pro zkušeného vývojáře.

PurifyPlus také obsahuje další funkce, jako jsou vysoce výkonné hlídací body , které se obecně používají při používání ladicího programu na něčím kódu.

Stojí za zmínku, že používání PurifyPlus dává největší smysl v programovacích jazycích, které správu paměti nechávají na programátorovi. Proto například v jazycích Java , Lisp nebo Visual Basic automatická správa paměti snižuje výskyt jakýchkoli nevracení paměti . Tyto jazyky však mohou mít stále úniky; zbytečné odkazy na objekty zabrání opětovnému přidělení paměti. IBM má produkt s názvem Rational Application Developer k odhalování těchto druhů chyb.

Podporované platformy

Viz také

• Debugger paměti
• Programovací nástroj
• Dynamická paměť
• Únik paměti

Reference

externí odkazy

• "Průzkum systémů pro detekci sériových chyb za běhu" od High Performance Computing Group The Iowa State University