LinuxQuestions.org
Latest LQ Deal: Latest LQ Deals
Go Back   LinuxQuestions.org > Forums > Linux Forums > Linux - Newbie
User Name
Password
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!

Notices


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

Rep: Reputation: Disabled
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
 
  


Reply


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

LinuxQuestions.org > Forums > Linux Forums > Linux - Newbie

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

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