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