CodeSonar
CodeSonar, geproduceerd door GrammaTech, is bron- en binaire code analyse software kritische gebreken die systemen resultaat crashen onverwachte operaties bedreigen veiligheid en meer vindt.
- Maakt gebruik van geavanceerde algoritmen om volledige programma's van miljoen regels code te analyseren
- Voldoet aan coderingsnormen
- Biedt efficiency tools die samenwerking in teamverband, kwaliteit metrics, visualisatie van het platform te verbeteren
- Vermindert ontwikkelingskosten door het identificeren van defecten eerder in het proces
- Biedt aangepaste controles en statistieken
- schaalbare
- Identificeert moeilijk te spoorstaafgebreken die wonen in diepe delen codestructuren
- De krachtige interface stelt ontwikkelaars in staat om gemakkelijk te navigeren door middel van code, te vergelijken elementen, en problemen te identificeren
- Biedt ingebouwde ondersteuning voor JPL
- Bevat sterke genereren van rapporten functies, waaronder text-only-uitgang en een geavanceerde statische analyse engine
- Vertrouwd om een aantal van de meest gevoelige softwaretoepassingen inspecteren in gebruik
- Omdat statische code analyse wordt uitgevoerd, kan deze software niet in staat zijn om defecten gevonden door een dynamische analyse te identificeren
- Het gereedschap is afhankelijk testen steigers, en het kan niet gebreken die geen deel uitmaken van de steiger merken
- Het genereert een grote hoeveelheid gegevens die middelen verbruikt en beïnvloedt de prestaties van de hardware
CodeSonar is een toonaangevende code analyse-instrument. Het is populair onder grote onderzoekinstituten, overheden en commerciële bedrijven om belangrijke software-applicaties te valideren. Zo heeft CodeSonar gebruikt om software voor de NASA ruimtemissies, implanteerbare medische hulpmiddelen, kritische militaire toepassingen, en nog veel meer te inspecteren. CodeSonar aanspraken op meer gebreken dan enig ander gereedschap als gevolg van GrammaTech de recente ontwikkelingen in concurrency en bedorven dataflow-analyse. Wanneer geplaatst head-to-head met concurrerende software in benchmarking tests CodeSonar het beste presteert in resource management, het identificeren van statisch geheugen, en de analyse van concurrency. CodeSonar is effectief in het analyseren van hele programma's afgezien van incrementele updates. Het gebruikt eerst referentieanalyse het hele programma controleren, en dan voert een parallelle en tussentijdse inspectie dagelijkse veranderingen valideren. CodeSonar identificeert fataal kritisch en onschadelijk gebreken, die allemaal verschillende mate van impact op een softwaresysteem. Over het geheel genomen is deze tool ontwikkeld voor het valideren van grootschalige applicatie-ontwikkeling inspanningen. De analyse motor kan consumeren van grote hoeveelheden van de middelen, dus het is aan te bevelen dat de analyses van high-performance machines zijn voltooid. Afgezien van zijn hogere niveau van de consumptie, het is een betrouwbare en toonaangevende kwaliteit van de software tool.