CodePeer User’s Guide¶
Copyright (C) 2009-2017, AdaCore
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with no Invariant Sections, with no Front-Cover Texts, and with no Back-Cover Texts. A copy of the license is included in the section entitled ‘GNU Free Documentation License’.
- 1. Introduction
- 2. How to Run CodePeer
- 2.1. System Requirements
- 2.2. Basic Project File Set Up
- 2.3. Advanced Project File Set Up
- 2.3.1. Arbitrary Naming Scheme
- 2.3.2. Target Configuration File
- 2.3.3. Using the GNAT Target Runtime Directory
- 2.3.4. Configuration of System Package (system.ads)
- 2.3.5. Using Preprocessing
- 2.3.6. Ignoring Pragmas
- 2.3.7. Providing Stubs for Missing Generic Bodies
- 2.3.8. Detection of Floating Point Overflow
- 2.3.9. CodePeer Specific Project Settings
- 2.3.10. Ignoring Source File Timestamp Mismatch
- 2.3.11. Ignoring Exception Handlers
- 2.3.12. Handling Enumeration Representation Clauses
- 2.4. Running CodePeer
- 2.5. Running CodePeer Faster
- 2.6. Running CodePeer in Compiler Mode
- 2.7. CodePeer Baselines
- 2.8. Incremental Analysis via Persistent Annotations
- 2.9. Integrating External tools
- 2.10. Reducing the Number of False Alarms
- 2.11. Partial Analysis
- 2.12. Source Annotations
- 3. How to View CodePeer Output
- 3.1. Viewing CodePeer Output in GPS
- 3.2. Viewing CodePeer Output in GNATbench
- 3.3. HTML Output
- 3.3.1. Browser Requirements
- 3.3.2. Location and Format of Output
- 3.3.3. Running the CodePeer Web Server
- 3.3.4. Back and Forward Buttons
- 3.3.5. Main Window
- 3.3.6. Race Conditions Window
- 3.3.7. Message History Window
- 3.3.8. Message Status
- 3.3.9. Message Category Table
- 3.3.10. Source File Table
- 3.3.11. Navigating to the Per-File Message Status Window
- 3.3.12. Per-File Message Status Window/Editing Messages
- 3.3.13. Edit Message Window (Provide Message Review)
- 3.3.14. View Message Window (View Message Ranking)
- 3.3.15. Annotations Report
- 3.4. Text Output
- 3.5. Report File
- 3.6. CSV Output
- 4. How to Use CodePeer in a Team
- 5. Messages and Annotations
- 6. CodePeer Usage Scenarios
- 7. CodePeer by Example
- 8. Appendix
- 8.1. Command Line Invocation
- 8.2. Advanced Command Line Options
- 8.3. Return Codes
- 8.4. CodePeer_Bridge Tool
- 8.5. GPS Preferences
- 8.6. Format of
MessagePatterns.xml
File - 8.7. How does CodePeer Work?
- 8.8. What’s the Difference between CodePeer and SPARK?
- 8.9. Directories and Files Produced by CodePeer
- 8.10. CodePeer Messages and Compiler Warnings
- 8.11. Partitioning of Analysis
- 8.12. CodePeer Limitations and Heuristics
- 9. GNU Free Documentation License