PurifyPlus - PurifyPlus

PurifyPlus je debugger paměti program používaný software vývojáři k detekci chyb přístupu k paměti v programech, zejména v programech napsaných v C nebo C ++. Původně to napsal Reed Hastings z Čistý software.^[1] Pure Software se později spojil s Atria Software a vytvořil Pure Atria Software, který později získal Rational Software, který zase získal IBM a poté se zbavil Systémy UNICOM, Inc. 31. prosince 2014. Je funkčně podobný ostatním ladicím programům paměti, jako je například Pojistit ++, Valgrind a BoundsChecker.

Přehled

PurifyPlus umožňuje dynamické ověřování, proces, při kterém program zjišťuje chyby, ke kterým dochází při jeho spuštění, podobně jako a debugger. Statické ověření nebo statická analýza kódu naopak zahrnuje detekci chyb v zdrojový kód aniž byste jej někdy kompilovali nebo spouštěli, pouhým objevováním logických nesrovnalostí. The kontrola typu podle a C překladač je příklad statického ověření.

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

Mezi chyby, které PurifyPlus zjistí, patří čtení a zápis hranic pole, pokus o přístup k nepřidělené paměti, uvolnění nepřidělené paměti (obvykle kvůli uvolnění stejné paměti podruhé), stejně jako úniky paměti (přidělená paměť bez odkazu na ukazatel). Většina z těchto chyb není fatální (alespoň ne v místě chyby) a často, když je spuštěn program, neexistuje způsob, jak je detekovat, kromě pozorování, že něco se mýlí kvůli nesprávnému chování programu. PurifyPlus proto pomáhá detekovat tyto chyby a sdělit programátorovi přesně, kde k nim dojde. Protože PurifyPlus funguje vybavením všech kód objektu, detekuje chyby, které se vyskytnou uvnitř třetí strany nebo operační systém knihovny. Tyto chyby jsou často způsobeny tím, že programátor předává nesprávné argumenty do volání knihovny, nebo nedorozuměním ohledně protokolů pro uvolnění datové struktury používané knihovnami. Často se jedná o nejobtížnější chyby, které lze najít a opravit.

Rozdíly od tradičních debuggerů

Schopnost detekovat nezávažné chyby je hlavním rozdílem mezi PurifyPlus a podobnými programy od obvyklých debuggery. Naproti tomu debuggery obecně umožňují programátorovi rychle najít zdroje fatálních chyb, například selhání programu v důsledku dereferencování nuly ukazatel, ale nepomáhají detekovat nefatální chyby paměti. Debuggery jsou užitečné pro jiné věci, pro které PurifyPlus není určen, například pro krokování kódu po řádku nebo prozkoumání paměti programu ručně v určitém okamžiku provedení. Jinými slovy, tyto nástroje se mohou pro zkušeného vývojáře navzájem doplňovat.

PurifyPlus zahrnuje také další funkce, například vysoký výkon sledovací body, které jsou obecně používány při použití debuggeru na něčí kód.

Stojí za zmínku, že používání PurifyPlus má největší smysl v programovacích jazycích, které ponechávají správu paměti na programátorovi. Proto v Jáva, Lisp nebo Visual Basic například automatická správa paměti snižuje výskyt jakýchkoli úniky paměti. Tyto jazyky však stále mohou mít ú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 odhalení 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 chyb sériového běhu“ skupiny Iowa State University High Performance Computing Group