Print restrictions in the SARIF report
The Ada compiler now includes restriction information in its SARIF (Static Analysis Results Interchange Format) output.
The Ada compiler now includes information about language restrictions in the SARIF reports it generates. This addition allows static analysis tools to better understand the constraints imposed on the Ada code, enabling more accurate and comprehensive analysis. New packages were created to map restrictions to diagnostics, and the SARIF emitter was updated to print rules for restrictions.
In Details
This commit adds restriction information to the SARIF output. New packages errid-restriction_repository.ads and modifications to erroutc-sarif_emitter.adb were made. This enhancement allows static analysis tools to leverage Ada's restriction mechanism. Search context: Ada compiler SARIF restrictions static analysis
For Context
SARIF (Static Analysis Results Interchange Format) is a standard format for reporting the results of static analysis tools. Ada allows the programmer to specify restrictions on the language features that can be used. This commit enhances the Ada compiler to now include these restrictions in the SARIF output, which helps static analysis tools better understand and analyze Ada code. Search context: Ada compiler SARIF restrictions static analysis