CodePeer — Advanced Static Analysis for Ada

CodePeer is AdaCore’s tool solution for your advanced static analysis needs. CodePeer is more than a simple linter, it is capable of finding potential safety and security vulnerabilities in legacy and actively developed code bases. We will demo CodePeer and its use inside the GNAT Programming Studio IDE and discuss its use in your everyday development workflows.

Hosted by Rob Tice. Rob joined AdaCore in 2016 and is now a Lead Technical Account Manager based in US. With a degree in Electrical Engineering from Rensselaer Polytechnic Institute, he has worked in the industrial automation and music technology industries as a hardware engineer and embedded software engineer where he specialized in the development of real-time, embedded applications. At AdaCore, Rob is a technical resource for the sales team, working with customers to understand and solve their technical challenges. He also conducts consulting, training, and mentorship activities for AdaCore’s customers.