Средства и методы разработки

Ну это так, поиграться. Кому надо по процессам типа авионики или автомобилки, юзают известные в отрасли продукты, Polyspace, LDRA, AbsInt (> 15K EUR за лицензию, как тебе такое PVS?). А кто просто болеет за качество кода, юзают дешманский PC-Lint или халявный clang. По поводу встраивания в системы сборки — да, должно быть такое, конечно. Но только вместе с подключением к сборке на рабочем месте иначе сильно усложняется работа программера, так как без коммита не понять, че у тебя там и на каждый чих пулл-реквесты делать никто не хочет.