Статический анализ кода++ Анастасия Казакова

В одной из статей Мартин Фаулер писал, что софт более высокого качества обходится дешевле в создании (а не только в поддержке, как можно было бы подумать). Отчасти поэтому сообщество C тепло встретило C Core Guidelines, представленные в 2015 году. Хотя в них не всегда четко прослеживается грань между абстрактными советами в стиле «хорошо писать хорошо» и более конкретными предложениями, которые можно реализовать в статических анализаторах, наподобие «в таких ситуациях надо проверять вот это». Что же умеют современные статические анализаторы? Какие типичные боли C и стилистические неточности они отлавливают? Как разработчики предпочитают взаимодействовать с подобными инструментами? В докладе поговорим об этих вопросах и даже обсудим геймификацию в анализаторах кода.