Научное сообщество практически незнакомо со статическим анализатором кода PVS-Studio. 30 ноября и 1 декабря состоится мероприятие «Технологии анализа, моделирования и трансформации программ» в рамках открытой конференции ИСП РАН им. В.П. Иванникова. Я уверен, что это одно из самых тематичных для нас мероприятий, где новая аудитория могла бы узнать о существовании и возможностях анализатора PVS-Studio. На мой взгляд, наиболее подходящим для этого мог стать доклад, касающийся поиска ошибок в операционной системе Tizen. К сожалению, доклад получил отрицательные отзывы рецензентов и не будет включен в программу конференции. Тем не менее, пользуясь случаем, подведу итоги наших исследований, касающихся кода Tizen.

![Андрей Карпов и Евгений Рыжков][1][Читать дальше →][2]

[1]: https://habrastorage.org/getpro/habr/post_images/6a4/d76/117/6a4d7611780d7cf36328beab877d3aa6.png
[2]: https://habrahabr.ru/post/342624/?utm_source=habrahabr&utm_medium=rss&utm_campaign=feed_posts#habracut