This makes me think...

Posted Jun 3, 2004 11:34 UTC (Thu) by bdixon (guest, #1055)
In reply to: This makes me think... by etrusco
Parent article: Finding kernel problems automatically

Yes... It is called MISRA (Motor Industry Software Reliability Association) C and it amounts to many rules asking you to do this and not do that. MISRA C compliance can be checked using static analyzers. For example, rule 33 says that the right hand operand of && or || shall not contain side effects.

Some of the MISRA rules, however, may not be compatible with systems programming.