kernel safety analysis - system calls -dependent failures
 

Hi,

I am looking for information/help related to kernel safety analysis:

- the kernel compliance with MISRA and its interpretation, which rules are important and which can be ignored.

- tools that could help in static code analysis for dependent failures among kernel system calls because of shared global variables, or any other mechanisms that may be a potential (predominant) source of 'cross-talk' among syscalls.

thanks
BR
Eli