我需要一个静态分析工具的Linux设备驱动程序,我写的ARM为基础的董事会。我正在考虑以下几个工具:
是一种计算机软件工具,已经在Linux上使用,旨在查找Linux内核中可能存在的编码错误。
有两个活动项目,旨在提高可加载内核模块的质量。
- `Linux Driver Verification` (LDV) - a comprehensive toolset for static source code verification of Linux device drivers.
- `KEDR Framework` - an extensible framework for
请您解释一下我在linux内核源代码中找到的这段代码。我在linux和minix内核中看到了很多这样的代码,但似乎找不到它能做什么(即使C编译器支持这种函数定义)。
/* IRQs are disabled and uidhash_lock is held upon function entry.
* IRQ state (as stored in flags) is restored and uidhash_lock released
* upon function exit.
*/
static void free_user(struct user_struct *up, unsig
我在RHEL7.x上运行SonarQube 7.1的社区版。当我运行sonar-scanner -X时,我在后端看到如下输出:
hello.py indexed with language 'py'
hello.java indexed with language 'java'
hello.cpp indexed with language 'null'
hello.c indexed with language 'null'
我期望看到“用语言cpp建立索引”和“用c语言建立索引”。
当我转到web UI时,可以看到项目目录中的
当我跑的时候
[bin]$ perf mem record
I get
failed: event 'cpu/mem-stores/P' not supported
bin]$ uname -a
Linux 3.10.0-693.21.1.el7.x86_64 #1 SMP Wed Mar 7 19:03:37 UTC 2018 x86_64 x86_64 x86_64 GNU/Linux
bin]$ perf --version
perf version 3.10.0-693.21.1.el7.x86_64.debug
有没有办法让我找出为什么会出现这个错误?它是否受到p