28. Mrz 2023
AdaCore stärkt mit RecordFlux die Sicherheit binärer Kommunikationsprotokolle
AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, veröffentlicht RecordFlux. Das neue Toolset ermöglicht die Implementierung hochsicherer binärer Kommunikationsprotokolle.
8. Feb 2023
AdaCore tritt der Rust Foundation bei
AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, gibt seinen Beitritt zur Rust Foundation als Silver Member bekannt. Die unabhängige und gemeinnützige Organisation fördert die Weiterentwicklung der Programmiersprache Rust und deren Ökosystem.
14. Dez 2022
AdaCore und Synopsys integrieren statische Analyse von Ada-Code in Coverity
AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für unternehmens- und sicherheitskritische Systeme, gibt die Zusammenarbeit mit der Synopsys Software Integrity Group bekannt, einem führenden Entwickler von Tools für Anwendungssicherheitstests. Durch die Partnerschaft werden die Nutzer von Synopsys Coverity innerhalb dieser Software für die statische Code-Analyse in Zukunft auch die GNAT Static Analysis Suite von AdaCore verwenden können.
15. Mrz 2022
AdaCore stärkt Sicherheitsfunktionen der Entwicklungsumgebung GNAT Pro Assurance
AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für vertrauenswürdige und sicherheitskritische Systeme, hat mit GNAT Pro Assurance 22 einen neuen Service eingeführt. Das neue Feature unterstützt Nutzer bei ihrer Strategie im Umgang mit Schwachstellen, die durch die Nutzung von Drittanbieter-Software entstehen. Mit der neuesten Version des Tools können sie eine detaillierte Liste bekannter Schwachstellen anfordern, die jeweils mit der Common-Vulnerability-Enumeration-(CVE)-Datenbank der MITRE Corporation verknüpft sind.
22. Feb 2022
AdaCore veröffentlicht GNAT Dynamic Analysis Suite
AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für unternehmens- und sicherheitskritische Systeme, gibt die Verfügbarkeit der neuen GNAT Dynamic Analysis Suite bekannt. Das Softwarepaket beinhaltet eine Reihe von Code-Coverage-, Analyse-, Verifizierungs- und Testing-Tools für die Programmiersprache Ada.