CodeSonar
CodeSonar, produceret af GrammaTech, er kilde og binære kode analyse software, der finder kritiske fejl, der kan gå ned systemer, resultere i uventede operationer, truer sikkerheden, og mere.
- Beskæftiger avancerede algoritmer til at analysere hele programmer på millioner af linjer kode
- Overholder kodningsstandarder
- Giver effektivitet værktøjer, der forbedrer teamsamarbejde, kvalitet målinger, arkitektur visualisering
- Reducerer udviklingsomkostningerne ved at identificere fejl tidligere i processen
- Giver brugerdefinerede kontroller og målinger
- Skalerbar
- Identificerer svære at sporet defekter, der bor i dybe dele af kodestrukturer
- Den kraftfulde interface giver udviklere for let at navigere gennem kode, sammenligne elementer, og identificere problemer
- Giver understøttelse af JPL
- Indeholder stærke rapport generation funktioner, herunder tekst-output og en avanceret statisk analyse motor
- Trusted at inspicere nogle af de mest følsomme programmer i brug i dag
- Da udføres statisk kode analyse kan denne software ikke være i stand til at identificere defekter fundet af en dynamisk analyse
- Værktøjet er afhængig af test stilladser, og det kan ikke mærke fejl, der ikke er en del af stilladset
- Den genererer en stor mængde data, der forbruger ressourcer og påvirker hardware ydeevne
CodeSonar er en førende kode analyse værktøj. Det er populært blandt de store forskningsenheder, regeringer og virksomheder til at validere vigtige programmer. For eksempel har CodeSonar blevet brugt til at inspicere software til NASA rummissioner, implantabelt medicinsk udstyr, kritiske militære applikationer og meget mere. CodeSonar krav for at finde flere fejl end andre værktøjer på grund af GrammaTech seneste fremskridt inden samtidighed og plettet dataflow analyse. Når placeret head-to-head med konkurrerende software i benchmarking tests, CodeSonar klarer sig bedst i ressourcestyring, identificere statisk hukommelse, og analyse af samtidighed. CodeSonar er effektivt til at analysere hele programmer bortset fra trinvise opdateringer. Det bruger først en baseline-analyse for at inspicere hele programmet, og derefter den anvender en parallel og trinvis inspektion proces at validere daglige ændringer. CodeSonar identificerer fatale, kritiske, og uskadelige defekter, som alle har forskellige grader af indflydelse til et softwaresystem. Samlet set er dette værktøj designet til validering storstilet program udviklingsindsats. Dens analyse motor kan forbruge store mængder af ressourcer, så det anbefales, at analyserne er afsluttet den højtydende maskiner. Bortset fra dets højere niveau af forbrug, er det en pålidelig og førende software kvalitet værktøj.