Мы используем PC-Lint для проверки наших исходников на соответствие MISRA-2004. Поскольку это проект, связанный с безопасностью, и мы движемся к получению сертификата от TUV, нам нужно доказать нашу уверенность в этом инструменте (они не принимают что-то вроде «Я использовал его много раз»).
Наша цель состоит в том, чтобы иметь полный набор отрицательных тестов, проверяющих инструмент для каждого правила набора MISRA-2004, нарушая его и вызывая ошибку или предупреждение инструментом.
Кто-нибудь уже сделал это, и вы готовы поделиться своим результатом/C-кодом?