Properties (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Static analysis tool
|
| gptkbp:developedBy |
AdaCore
|
| gptkbp:features |
Static analysis
Code quality checks Style checks |
| gptkbp:firstPublished |
2000
|
| gptkbp:hasVersion |
2023.0
|
| https://www.w3.org/2000/01/rdf-schema#label |
GNATcheck
|
| gptkbp:language |
Ada
|
| gptkbp:license |
gptkb:GNU_General_Public_License
|
| gptkbp:platforms |
Cross-platform
|
| gptkbp:purpose |
Code analysis
|
| gptkbp:supports |
gptkb:Ada_95
gptkb:Ada_2012 Ada 2005 |
| gptkbp:website |
https://www.adacore.com/gnatcheck
|