kernel safety analysis - system calls -dependent failures
by eliphazh from LinuxQuestions.org on (#51R12)
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
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