7. Epilogue
This terminates our tour of GNAT SAS inside the GNAT Programming Studio. We hope this tutorial gave you a good overview of the general capabilities available with GNAT SAS. A non-exhaustive list of the features not mentioned in this document includes:
Running from the command-line
HTML report
Sharing GNAT SAS results in a team
Management of manual reviews
Capabilities of Infer, GNATcheck, and GNAT Warnings analysis engines
Identification of race conditions
For more information, please look at the GNAT SAS User’s Guide, as well as the menu which gives access to many small examples with interesting messages.