Latest LQ Deal: Latest LQ Deals
Go Back > Forums > Linux Forums > Linux - Newbie
User Name
Linux - Newbie This Linux forum is for members that are new to Linux.
Just starting out and have a question? If it is not in the man pages or the how-to's this is the place!


  Search this Thread
Old 04-05-2020, 08:13 AM   #1
LQ Newbie
Registered: Apr 2020
Posts: 1

Rep: Reputation: Disabled
kernel safety analysis - system calls -dependent failures


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.



Thread Tools Search this Thread
Search this Thread:

Advanced Search

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is Off
HTML code is Off

Similar Threads
Thread Thread Starter Forum Replies Last Post
[SOLVED] Joomla Drupal Update failures and Install from URL failures JimJS Linux - Desktop 4 05-26-2014 05:40 PM
Safety of CTL+ALT+DEL to reboot a Linux system smeezekitty Linux - General 4 10-29-2013 02:16 PM
how does java calls the system calls which are written in c babu198649 Linux - General 3 12-05-2011 04:40 AM
[SOLVED] int size is compiler dependent or OS dependent tarunchawla Programming 4 11-30-2011 04:46 AM
a script calls another script which calls "bash" inside lordofring Linux - Software 10 03-18-2010 10:59 AM > Forums > Linux Forums > Linux - Newbie

All times are GMT -5. The time now is 11:34 PM.

Main Menu
Write for LQ is looking for people interested in writing Editorials, Articles, Reviews, and more. If you'd like to contribute content, let us know.
Main Menu
RSS1  Latest Threads
RSS1  LQ News
Twitter: @linuxquestions
Open Source Consulting | Domain Registration