CodePeer

GPTKB entity

Statements (22)
Predicate Object
gptkbp:instanceOf static analysis tool
gptkbp:analyzes Ada code
gptkbp:developedBy gptkb:AdaCore
https://www.w3.org/2000/01/rdf-schema#label CodePeer
gptkbp:integratesWith gptkb:GNAT_Pro
gptkb:GNAT_Studio
gptkbp:platform gptkb:Windows
gptkb:macOS
gptkb:Linux
gptkbp:provides automatic documentation
detailed code review reports
gptkbp:purpose detects run-time and logic errors
improves code quality
gptkbp:supports gptkb:SPARK_Ada
gptkb:MISRA_C
gptkbp:usedIn gptkb:military
aerospace industry
railway industry
safety-critical software development
gptkbp:website https://www.adacore.com/codepeer
gptkbp:bfsParent gptkb:AdaCore
gptkbp:bfsLayer 6