是否有类似于Linux的AppVerifier或驱动程序验证程序？_Linux_Testing

是否有类似于Linux的AppVerifier或驱动程序验证程序？

linux testing

是否有类似于Linux的AppVerifier或驱动程序验证程序？,linux,testing,Linux,Testing,我希望有人能给我介绍一下类似于微软工具和软件的Linux软件。（他们分别是Windows应用程序和驱动程序的压力测试人员。） Linux上有这样的东西吗？我对应用程序验证程序和驱动程序验证程序一点都不熟悉对于应用程序来说，作为检查泄漏、释放后使用、双重释放、缓冲区溢出、使用统一化数据、不安全的并发数据访问等的工具非常有用还有许多（，等等）测试程序对无效输入的适应性 GCC本身有-fstackprotector，它可以启用SSP（stack smashing protector，又名ProPo

我希望有人能给我介绍一下类似于微软工具和软件的Linux软件。（他们分别是Windows应用程序和驱动程序的压力测试人员。）

Linux上有这样的东西吗？

我对应用程序验证程序和驱动程序验证程序一点都不熟悉

对于应用程序来说，作为检查泄漏、释放后使用、双重释放、缓冲区溢出、使用统一化数据、不安全的并发数据访问等的工具非常有用

还有许多（，等等）测试程序对无效输入的适应性

GCC本身有

-fstackprotector

，它可以启用SSP（stack smashing protector，又名ProPolice）

-fmudflap

，用于检测其他一些不良内存使用情况；和（与

glibc

）

-D_-FORTIFY_-SOURCE=

n结合使用，对各种字符串和内存函数进行额外检查

在Linux内核中，“内核黑客”菜单下有许多配置开关：

```
CONFIG\u DEBUG\u SLAB
```
，
```
CONFIG\u DEBUG\u PAGEALLOC
```
等，确保内存被合理分配、使用和释放
```
CONFIG_DEBUG_OBJECTS
```
，用于检查对象是否按顺序使用和释放
，“内核的Valgrind”
，分析所有可能的死锁

CONFIG\u DEBUG\u PREEMPT

，

CONFIG\u DEBUG\u mutex

，

CONFIG\u DEBUG\u SPINLOCK

，

CONFIG\u DEBUG\u SPINLOCK\u SLEEP

等，对不正确使用锁定发出警告

，这可能会导致内存分配和I/O失败