CodeSonar
CodeSonar, u produkciji GrammaTech je izvor i binarni kod analiza softver koji pronalazi kritične greške koje mogu srušiti sustave dovesti do neočekivanih operacija, ugrožavaju sigurnost i još mnogo toga.
- Koristi napredne algoritme za analizu cijele programe milijuna linija koda
- Sukladan s standarda kodiranja
- Pruža alate učinkovitosti koje poboljšavaju suradnju u timu, kvalitetne podatke, arhitektura vizualizacija
- Smanjuje troškove razvoja identificirajući nedostatke ranije u procesu
- Pruža prilagođene provjere i mjerenja
- Scalable
- nedostaci identificira teško staze koje se nalaze u dubokim dijelovima kod konstrukcija
- Snažan sučelje omogućuje programerima da lako navigirati kroz kod, usporedite elemenata i identificirati probleme
- Pruža podršku za JPL
- Sadrži snažne značajke izvješće generacije, uključujući i samo tekst izlaz i napredni statička analiza motora
- Pouzdani pregledati neke od najosjetljivijih softverske aplikacije u uporabi danas
- Od statička analiza koda obavlja, ovaj softver svibanj ne biti u mogućnosti identificirati nedostatke pronađene pomoću analize dinamičkog
- Alat je ovisna o ispitnim skele, a to ne mogu primijetiti nedostatke koji nisu dio skele
- To stvara velike količine podataka koji troši resurse i utječe na performanse hardvera
CodeSonar je vodeći alat kod analize. To je popularna među glavnim istraživačkim subjektima, vladama i komercijalnim poduzećima za provjeru važnih softverskih aplikacija. Na primjer, CodeSonar je korišten pregledati softver za NASA-svemirskim misijama, implantirani medicinski uređaji kritične vojne primjene, i još mnogo toga. CodeSonar tvrdnje pronaći više manjkavosti nego bilo koje druge alate zbog GrammaTech nedavnih napredaka u konkurenciji i zaražen analize Dataflow. Kada je postavljen head-to-head s konkurentskog softvera u benchmarking testove, CodeSonar funkcionira najbolje u upravljanju resursima, identificiranje statičku memoriju i analiza konkurentnosti. CodeSonar je učinkovit u analizi cijele programe osim pojedinačnih ažuriranja. To je prvi koristi osnovnu analizu pregledati cijeli program, a zatim se primjenjuje paralelu i inkrementalni proces inspekcije za potvrdu dnevne promjene. CodeSonar identificira fatalne, kritične i bezazlene nedostatke, od kojih svi imaju različite stupnjeve utjecaja na softverski sustav. Sve u svemu, ovaj alat je dizajniran za vrednovanje napora za razvoj aplikacija velikih. Njegova analiza motor može konzumirati velike količine resursa, pa se preporučuje da se analiza završio na strojevima visokih performansi. Osim svoje višu razinu potrošnje, to je pouzdan i vodeći kvaliteta softverski alat.