Statische analysesoftware

Centraal staat een nieuwe, op componenten gebaseerde plug-in-architectuur, die alle broncode-parsers van het generieke raamwerk inkapselt en ontkoppelt. De parsers blijven ongewijzigd ten opzichte van de eerdere versies, zodat de resultaten van de statische analyse niet worden beïnvloed en dat in dezelfde bewezen, consistente en betrouwbare output wordt voorzien. De vernieuwingen op een rijtje: een grafische gebruikersinterface met geïntegreerde broncode-editor voor de hele productlijn; een commandoregel-interface voor de hele productlijn; volledige integratie met Microsoft Visual Studio en Eclipse; nieuw cross-platform, cross-interface, meertalig projectformaat en nieuwe project-engine, waardoor gemengde broncode (C en C++) projecten mogelijk zijn; overdraagbaar projectformaat; volledige controle over alle projectinstellingen vanuit één cross-platform-gebruikersinterface. Er is nu één enkel installatieprogramma dat voorziet in alle gebruikersinterfaces, out-of-the-box compatibiliteit voor alle ondersteunde compilers, een reeks functies die eenvoudige integratie met de meeste gebouwautomatiseringssystemen en IDE’s mogelijk maakt, en de mogelijkheid om resultaten te uploaden naar QA•Verify Quality Management Systems. De introductie van de herziene software zal met een reeks regionale workshops worden begeleid.