CodePeer Tutorial

• 1. Introduction
• 2. Running CodePeer
• 3. Understanding Warnings
  • 3.1. Run-time Errors
  • 3.2. Logic Errors
  • 3.3. False Positive
• 4. Understanding Annotations
  • 4.1. Basic Annotations
  • 4.2. More Complex Annotations
• 5. Helping CodePeer
• 6. Re-Running CodePeer
• 7. Quick Mode
• 8. Epilogue
• 9. GNU Free Documentation License
  • 9.1. PREAMBLE
  • 9.2. APPLICABILITY AND DEFINITIONS
  • 9.3. VERBATIM COPYING
  • 9.4. COPYING IN QUANTITY
  • 9.5. MODIFICATIONS
  • 9.6. COMBINING DOCUMENTS
  • 9.7. COLLECTIONS OF DOCUMENTS
  • 9.8. AGGREGATION WITH INDEPENDENT WORKS
  • 9.9. TRANSLATION
  • 9.10. TERMINATION
  • 9.11. FUTURE REVISIONS OF THIS LICENSE
  • 9.12. ADDENDUM: How to use this License for your documents

Indices and tables

• Index
• Module Index
• Search Page

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 the Invariant Sections being ‘GNU Free Documentation License’, with the Front-Cover Texts being ‘CodePeer Tutorial’, and with no Back-Cover Texts. A copy of the license is included in the section entitled ‘GNU Free Documentation License’.