Существуют ли для линукса аналоги виндовым Application Verifier и Driver Verifier? Для тех, кто никогда не сталкивался — это приблуды, позволяющие выявить скрытые проблемы в работающем коде.
Одним из самых замечательных свойств и того и другого является то, что при их помощи можно имитировать нехватку системных ресурсов для приложения (случайным образом система отказывает в выделении памяти, открытии хендлов и т.д.), а в случае с Application Verifier ещё и нехватку привилегий пользователя.
Я знаю про использование в линуксовом ядре статического анализатора sparse, а с тестированием юзерлевельных апликух вообще не очень всё понятно.