CodeSonar
CodeSonar, wyprodukowany przez GrammaTech, jest źródłem i kod binarny oprogramowanie do analizy stwierdzi, że krytyczne defekty, które mogą ulec awarii systemów, w wyniku nieoczekiwanych działań, zagrażających bezpieczeństwu i więcej.
- Wykorzystuje zaawansowane algorytmy do analizy całych programów milionów linii kodu
- Zgodność ze standardami kodowania
- Dostarcza narzędzi, które zwiększają efektywność pracy zespołowej, metryki jakości, Architektura wizualizacji
- Zmniejsza koszty rozwoju poprzez identyfikację wad wcześniej w procesie
- Zapewnia kontrole niestandardowe i metryki
- skalowalne
- Identyfikuje hard-tor wady, które znajdują się w głębokich częściach struktury kodu
- Wydajny interfejs pozwala programistom na łatwą nawigację za pomocą kodu, porównaj elementów i zidentyfikować problemy
- Zapewnia natywne wsparcie dla JPL
- Zawiera silne możliwości generowania raportów, w tym wyjście tekstowej i zaawansowanej analizy statycznej silnika
- Zaufany wglądu do niektórych z najbardziej wrażliwych aplikacji w użyciu
- Ponieważ analiza statyczna kodu jest wykonywane, oprogramowanie to może nie być w stanie zidentyfikować wad stwierdzonych przez analizy dynamicznej
- Narzędzie jest zależna od rusztowań testowych, a może nie zauważyć wady, które nie są częścią rusztowania
- To generuje dużą ilość danych, które zużywa zasobów i wpływa na wydajność sprzętu
CodeSonar jest wiodącym narzędziem do analizy kodu. Jest to popularne wśród głównych jednostek badawczych, rządów i przedsiębiorstw handlowych do sprawdzania ważnych aplikacji. Na przykład, CodeSonar został wykorzystany do kontroli oprogramowania dla misji kosmicznych NASA, wyrobów medycznych do implantacji, krytycznych zastosowaniach wojskowych i innych. Roszczenia CodeSonar aby znaleźć więcej wad niż jakiekolwiek inne narzędzia z powodu niedawnych osiągnięć GrammaTech w współbieżności i skażonej analizy przepływu danych. Po umieszczeniu head-to-head z konkurencyjnego oprogramowania w benchmarkingu testy, CodeSonar działa najlepiej w zarządzaniu zasobami pamięci statycznej, identyfikowanie i analiza współbieżności. CodeSonar jest skuteczny w analizie całych programów oprócz przyrostowych aktualizacji. To pierwszy wykorzystuje analizę bazowych do kontroli całego programu, a następnie stosuje się równolegle i przyrostowego procesu kontroli w celu sprawdzenia poprawności dziennych zmian. CodeSonar identyfikuje fatalne, krytyczne i nieszkodliwe wad, z których wszystkie mają różny stopień wpływu na system oprogramowania. Ogólnie rzecz biorąc, to narzędzie jest przeznaczone do sprawdzania dużych wysiłków na rzecz rozwoju aplikacji. Jego silnik analizy mogą spożywać dużej ilości zasobów, dlatego zaleca się, że analizy są wykonywane na maszynach o wysokiej wydajności. Niezależnie od jej wyższy poziom konsumpcji, jest to niezawodny i wiodącym narzędziem jakości oprogramowania.