This makes me think...
Posted Jun 3, 2004 11:34 UTC (Thu) by bdixon
In reply to: This makes me think...
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.
to post comments)