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
- C Dialect and Translation Assumptions for Xen
- 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
- Exclude file list for xen scripts
- Xen static analysis
- Properties list for Xen