CodeSonar
CodeSonar, produkoval Grammy, je zdrojový kód a binárne analýza softvér, ktorý nájde kritické závady, ktoré môže spôsobiť zrútenie systému, výsledok neočakávaných operácií, ohrozujú bezpečnosť a ďalšie.
- Využíva pokročilé algoritmy pre analýzu celej programy miliónov riadkov kódu
- Vyhovuje štandardov kódovania
- Poskytuje nástroje, ktoré zvyšujú efektivitu tímovej spolupráce, meranie kvality, vizualizácie architektúry
- Znižuje náklady na vývoj pomocou identifikácie vád v skoršej fáze procesu
- Poskytuje vlastnej kontroly a metriky
- škálovateľné
- vady identifikuje hard-to-trati, ktoré sú umiestnené v hlbokých častiach kódových štruktúr
- Výkonný rozhranie umožňuje vývojárom ľahko prechádzať kódom, porovnávať prvky, a identifikovať problémy
- Poskytuje natívnu podporu pre JPL
- Obsahuje silné funkcie pre generovanie správ, vrátane textové iba výstup a pokročilé statické analýzy motorom o
- Dôveryhodný dnes prezrieť niektoré z najviac citlivých aplikácií v prevádzke
- Vzhľadom k tomu, statická analýza kódu sa vykonáva, tento softvér nemusí byť schopný identifikovať chyby zistené pomocou dynamickej analýzy
- Tento nástroj je závislá na skúšobnú lešenia, a to nemusí všimnúť vady, ktoré nie sú súčasťou lešenia
- To vytvára veľké množstvo dát, ktoré odčerpávajú zdroje a ovplyvňuje výkon hardvéru
CodeSonar je popredný nástroj pre analýzu kódu. Je populárny medzi hlavných výskumných subjektov, vlád a obchodných podnikov overiť dôležitých softvérových aplikácií. Napríklad CodeSonar bol použitý na kontrolu softvér pre NASA vesmírnej misie, implantovateľných zdravotníckych pomôcok, kritické vojenské aplikácie a ďalšie. Nároky CodeSonar nájsť viac defektov než akékoľvek iné nástroje v dôsledku Grammy nedávnych pokrok v súbežnosti a skazené analýze toku dát. Pri umiestnení head-to-head s konkurenčnými softvérom vo porovnávacie testy, CodeSonar najlepší výkon v oblasti riadenia zdrojov, identifikujúce statické pamäte a analýza súbežnosti. CodeSonar je účinný pri analýze celých programov okrem inkrementálne aktualizácie. Najprv sa používa základnú analýzu kontrolovať celý program, a potom sa aplikuje paralelne a inkrementálny proces kontroly pre overenie denné zmeny. CodeSonar identifikuje fatálne, kritické a neškodné vady, z ktorých všetky majú rôzne stupne vplyvu na softvérový systém. Celkovo tento nástroj je určený pre validáciu úsilie pre vývoj aplikácií vo veľkom meradle. Jeho analýza motor môže spotrebovať veľké množstvo prostriedkov, a preto sa odporúča, aby analýzy sú doplnené o vysoko výkonných strojov. Odhliadnuc od vyššej úrovne spotreby, je to spoľahlivý a predným kvality softvérový nástroj.