Help Net Security newsletters: Latest news, cybersecurity jobs, open source – subscribe here!

Please turn on your JavaScript for this page to function normally.
Software
AdaCore GNAT Dynamic Analysis Suite helps customers build critical software systems

AdaCore released its new GNAT Dynamic Analysis Suite – a bundle of analysis, testing, verification, and code coverage technologies to help Ada developers build safe, …

AdaCore acquires Componolit to expand its market share in Germany

AdaCore announces the acquisition of Componolit, effective as of February 1, 2021.The acquisition of Componolit will provide AdaCore with a further foothold to expand its …

AdaCore launches new edition of GNAT Pro to support Wind River Helix Virtualization Platform

AdaCore launched a new edition of its premier GNAT Pro Ada, C and C++ development toolsuites in support of the Wind River Helix Virtualization Platform. Offered in separate …

Code Dx Enterprise now supports AdaCore’s CodePeer advanced static analysis tool

Code Dx, provider of an award-winning application security management solution that automates and accelerates the discovery, prioritization, and risk management of software …

AdaCore enhances security-critical firmware with NVIDIA

AdaCore, a trusted provider of software development and verification tools, today announced it is working with NVIDIA to implement Ada and SPARK programming languages for …

Don't miss

Cybersecurity news