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
  • Terms & Definitions
• 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
  • Sizes of Integer types
• Measures taken towards the minimization of Run-time failures in Xen
  • Documentation for MISRA C:2012 Dir 4.1: overflow
  • Documentation for MISRA C:2012 Dir 4.1: unexpected wrapping
  • Documentation for MISRA C:2012 Dir 4.1: invalid shift
  • Documentation for MISRA C:2012 Dir 4.1: division/remainder by zero
  • Documentation for MISRA C:2012 Dir 4.1: unsequenced side effects
  • Documentation for MISRA C:2012 Dir 4.1: read from uninitialized automatic object
  • Documentation for MISRA C:2012 Dir 4.1: read from uninitialized allocated object
  • Documentation for MISRA C:2012 Dir 4.1: write to string literal or const object
  • Documentation for MISRA C:2012 Dir 4.1: non-volatile access to volatile object
  • Documentation for MISRA C:2012 Dir 4.1: access to dead allocated object
  • Documentation for MISRA C:2012 Dir 4.1: access to dead automatic object
  • Documentation for MISRA C:2012 Dir 4.1: access to dead thread object
  • Documentation for MISRA C:2012 Dir 4.1: access using null pointer
  • Documentation for MISRA C:2012 Dir 4.1: access using invalid pointer
  • Documentation for MISRA C:2012 Dir 4.1: access using out-of-bounds pointer
  • Documentation for MISRA C:2012 Dir 4.1: access using unaligned pointer
  • Documentation for MISRA C:2012 Dir 4.1: mistyped access to object
  • Documentation for MISRA C:2012 Dir 4.1: mistyped access to function
  • Documentation for MISRA C:2012 Dir 4.1: invalid pointer arithmetic
  • Documentation for MISRA C:2012 Dir 4.1: invalid pointer comparison
  • Documentation for MISRA C:2012 Dir 4.1: overlapping copy
  • Documentation for MISRA C:2012 Dir 4.1: invalid arguments to function
  • Documentation for MISRA C:2012 Dir 4.1: returned function error
  • Documentation for MISRA C:2012 Dir 4.1: tainted input
  • Documentation for MISRA C:2012 Dir 4.1: data race
  • Documentation for MISRA C:2012 Dir 4.1: invariant violation
  • Documentation for MISRA C:2012 Dir 4.1: communication error
• Documenting violations
  • Justification example
• Exclude file list for xen scripts
• Xen static analysis
  • Analyse Xen with Coverity or Eclair
  • Analyse Xen with Cppcheck
• Properties list for Xen