Webinars/Demos   See All »

  • QGen Pre-release Demo

    QGen is a qualifiable and customizable code generator producing Ada (SPARK-compliant) and C (MISRA C-compliant) from Simulink and Stateflow models. It is particularly suited for usage in regulated industries by organizations who develop high-integrity real-time applications with Simulink/Stateflow and who want to decrease their V&V costs on generated source code.
  • Introducing CodePeer 2.3

    CodePeer 2.3 is the most advanced static analysis tool available for Ada – now integrating Ada 2012's contract-based programming capabilities. CodePeer detects errors before they grow into expensive problems. Serving as an efficient and accurate code reviewer, CodePeer identifies constructs that are likely to lead to run-time errors such as buffer overflows. And it flags legal but suspect code, typical of logic errors. Going well beyond the capabilities of typical static analysis tools, CodePeer also produces a detailed analysis of each subprogram, including pre- and post-conditions. Such an analysis makes it easier to find potential bugs and vulnerabilities early: if the implicit specification deduced by CodePeer does not match the component’s requirements, a reviewer is alerted immediately to a likely logic error. During system development, CodePeer can help prevent errors from being introduced, and it can also be used as part of a systematic code review process to dramatically increase the efficiency of human review. Furthermore, CodePeer can be used retrospectively on existing code, to detect and remove latent bugs.

This Week's Ada Gem   See All »

Gem #161 : So long and thanks for all the memories!

In this final Gem we look back over some highlights of the series, including the topics covered and your favorite Gems. We also look to the future with the creation of a new blog. Continue Reading on Ada Answers »

Jamie Ayre
AdaCore

Video Playlists   See All »