linux - 是否有适用于 Linux 的 AppVerifier 或 Driver Verifier 之类的东西？

Question

我希望有人能给我指出类似于 Microsoft 工具的 Linux 软件 Application Verifier和 Driver Verifier . (它们分别是 Windows 应用程序和驱动程序的压力测试器。)

Linux 有这样的东西吗？

Answer 1

我对Application Verifier和Driver Verifier一点都不熟悉...

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

还有很多fuzzers ( zzuf 、 fusil 等)测试程序对无效输入的抵抗力。

GCC 本身有 -fstackprotector，它启用 SSP(stack-smashing protector，又名 ProPolice)； -fmudflap，检测其他一些错误的内存使用情况；和(与 glibc 结合)-D_FORTIFY_SOURCE=n，它对各种字符串和内存函数进行额外检查。

在Linux内核中，“Kernel hacking”菜单下有很多配置开关:

• CONFIG_DEBUG_SLAB、CONFIG_DEBUG_PAGEALLOC等，保证内存的分配、使用和释放是理智的
• CONFIG_DEBUG_OBJECTS，检查对象是否按顺序使用和释放
• kmemcheck , “内核的 Valgrind”
• CONFIG_PROVE_LOCKING , 分析所有可能的死锁
• CONFIG_DEBUG_PREEMPT、CONFIG_DEBUG_MUTEXES、CONFIG_DEBUG_SPINLOCK、CONFIG_DEBUG_SPINLOCK_SLEEP等，警告不当使用锁
• CONFIG_FAULT_INJECTION & co. , 这有可能导致内存分配和 I/O 失败