6.2.12.12. Misra¶
Checks for Misra guidelines for the use of C/C++ in critical systems
Note
For legal reasons, this rule’s description is not part of the public documentation.
Axivion Suite 7.12.0
Navigation
- 1. Introduction
- 2. Project Configuration
- 3. Supported Languages
- 4. Analyses Guide
- 5. User Interface
- 6. Reference
- 6.1. Project Configuration Reference
- 6.2. Analysis Configuration Reference
- 6.2.1. Global Options
- 6.2.2. Common Options
- 6.2.3. Option Types
- 6.2.4. AnalysisControl
- 6.2.5. Architecture
- 6.2.6. CloneDetections
- 6.2.7. CycleDetection
- 6.2.8. DeadCodeDetection
- 6.2.9. ImportAnalysisResults
- 6.2.10. ImportExternalAnalysisOutput
- 6.2.11. Metrics
- 6.2.12. Stylechecks
- 6.2.12.1. AutosarC++
- 6.2.12.2. C#
- 6.2.12.3. CQM
- 6.2.12.4. CUDA
- 6.2.12.5. CWE
- 6.2.12.6. Cert
- 6.2.12.7. CodingStyle
- 6.2.12.8. CompilerErrata
- 6.2.12.9. FaultDetection
- 6.2.12.10. GeneralPurpose
- 6.2.12.11. Miscellaneous
- 6.2.12.12. Misra
- 6.2.12.13. Qt
- 6.2.12.14. Rust
- 6.2.12.15. SecureCoding
- 6.2.12.16. Options
- 6.3. Results Configuration Reference
- 6.4. Tool Reference
- 6.5. Language Schema
- 7. Customization API
- 8. HOWTOs
- 9. Legal