On average, software engineers spend 20-25 percent of the development lifecycle on testing, and potentially much more when working on safety-critical systems. The worst part may be that your standard unit tests aren’t able to provide 100% code coverage.

AdaCore is one of the leaders in the Ada programming language. Ada has been around for a long time, and is time tested.

AdaCore announced the availability of its new GNAT Dynamic Analysis Suite - a bundle of analysis, testing, verification, and code coverage technologies to help Ada developers build safe, secure software as well as meet internal security and quality procedures. 

With time to market pressures constantly increasing, technology organizations are moving away from traditional waterfall development workflows and towards Agile/DevOps software development practices.

Static analysis tools are widely used in safety- and security-critical applications as a means of finding and remediating coding errors. In fact, they are the de facto software testing tool in these industries.

AdaCore announced the acquisition of Componolit GmbH, effective as of February 1, 2021

As part of the Linux Security Summit Europe last October, I participated in a panel around the question, “Would Abandoning the C Language Really Help?”. C, which is the main language used in the Linux kernel, is notorious for having an endless source of vulnerabilities. Just look at the long list of open bugs automatically reported by the fuzzing robot syzbot that are still waiting for a fix.