2026-11-09 - GNATcheck
========================

This page contains links to everything you will need for this training class.

Files
-------

* `Slides <https://public-training.adacore.com/2026/2026-11-09-frank/slides.pdf>`_

This is a PDF copy of the slides presented during the course.

* `Labs <https://public-training.adacore.com/2026/2026-11-09-frank/labs.tar.gz>`_

This contains the prompts and answers for each of the class labs.

Toolchain
-----------

To properly run the labs in this class, you will need to install the following tools

  * GNAT compiler
  * GNATcheck (which is part of the GNAT Static Analysis Suite)
  * GNAT Studio IDE

If these are currently not installed, please login to your GNATtracker account and
download the latest releases of these tools

Schedule
----------

.. include:: schedule.rst

Documentation
---------------

* `Ada Reference Manual <https://ada-rapporteur-group.github.io/ARM/Ada_2022/RM-TOC.html>`_ 
* `GNATcheck Reference Manual <https://docs.adacore.com/live/wave/lkql/html/gnatcheck_rm/gnatcheck_rm.html>`_