2026-11-09 - GNATcheck
This page contains links to everything you will need for this training class.
Files
This is a PDF copy of the slides presented during the course.
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
Day |
Topic |
|---|---|
Day 1 |
Getting Started
Predefined Rules
Introduction to LKQL
|
Day 2 |
Intermediate LKQL
Advanced LKQL
|