CodeSonar
CodeSonar, produkoval GrammaTech, je zdrojový kód a binární analýza software, který najde kritické závady, které může způsobit zhroucení systému, výsledek neočekávaných operací, ohrožují bezpečnost a další.
- Využívá pokročilé algoritmy pro analýzu celé programy miliónů řádků kódu
- Vyhovuje standardů kódování
- Poskytuje nástroje, které zvyšují efektivitu týmové spolupráce, měření kvality, vizualizace architektury
- Snižuje náklady na vývoj pomocí identifikace vad v dřívější fázi procesu
- Poskytuje vlastní kontroly a metriky
- škálovatelné
- vady identifikuje hard-to-trati, které jsou umístěny v hlubokých částech kódových struktur
- Výkonný rozhraní umožňuje vývojářům snadno procházet kódem, porovnávat prvky, a identifikovat problémy
- Poskytuje nativní podporu pro JPL
- Obsahuje silné funkce pro generování zpráv, včetně textové pouze výstup a pokročilé statické analýzy motorem o
- Důvěryhodný dnes prohlédnout některé z nejvíce citlivých aplikací v provozu
- Vzhledem k tomu, statická analýza kódu se provádí, tento software nemusí být schopen identifikovat vady zjištěné pomocí dynamické analýzy
- Tento nástroj je závislá na zkušební lešení, a to nemusí všimnout vady, které nejsou součástí lešení
- To vytváří velké množství dat, která spotřebovává zdroje a ovlivňuje výkon hardwaru
CodeSonar je přední nástroj pro analýzu kódu. Je populární mezi hlavních výzkumných subjektů, vlád a obchodních podniků ověřit důležitých softwarových aplikací. Například CodeSonar byl použit ke kontrole software pro NASA vesmírné mise, implantabilních zdravotnických prostředků, kritické vojenské aplikace a další. Nároky CodeSonar najít více defektů než jakékoliv jiné nástroje v důsledku GrammaTech nedávných pokrok v souběžnosti a zkažené analýze toku dat. Při umístění head-to-head s konkurenčními softwarem ve srovnávací testy, CodeSonar nejlepší výkon v oblasti řízení zdrojů, identifikující statické paměti a analýza souběžnosti. CodeSonar je účinný při analýze celých programů kromě inkrementální aktualizace. Nejprve se používá základní analýzu kontrolovat celý program, a pak se aplikuje paralelně a inkrementální proces kontroly pro ověření denní změny. CodeSonar identifikuje fatální, kritické a neškodné vady, z nichž všechny mají různé stupně vlivu na softwarový systém. Celkově tento nástroj je určen pro validaci úsilí pro vývoj aplikací ve velkém měřítku. Jeho analýza motor může spotřebovat velké množství prostředků, a proto se doporučuje, aby analýzy jsou doplněny o vysoce výkonných strojů. Odhlédneme-li od vyšší úrovně spotřeby, je to spolehlivý a předním jakosti softwarový nástroj.