MISRA C coding guidelines

MISRA C rules and directive to be used as coding guidelines when writing Xen hypervisor code and related documents.

• MISRA C rules for Xen
• MISRA C deviations for Xen
  • Deviations related to MISRA C:2012 Directives:
  • Deviations related to MISRA C:2012 Rules:
  • Other deviations:
• C Dialect and Translation Assumptions for Xen
  • Applicable C Language Standard
  • Reference Documentation
  • C Language Extensions
  • Translation Limits
  • Implementation-Defined Behaviors
• Documenting violations
  • Justification example
• Exclude file list for xen-analysis script
• Xen static analysis
  • Analyse Xen with Coverity or Eclair
  • Analyse Xen with Cppcheck