На преддыдущей работе делали продукт на основе свободной ОСи и
кучки разных свободных программ (своё тоже было - но я его не
ковырял). проверяли аналогом PVS (далее - проверятор). В одной из
программ была утечка памяти - от 8 МБайт/с (это если не нагружен
сервак) и выше. Ошибке было 2 года, найти её ни авторы, ни
заинтересованные люди не могли. Проверятор нашёл под 2000 критических уязвимостей - вот я исправил их все - и утечка ушла.
Так что про пользу сами судите.
А про качество...
Эти ~2000 ошибок проверятор разделил на 5 категорий - сверкритические, критические, важные,неважные и возможные (что-то так).
И уже в каждой категории отсортировал по алфавиту с учётом пути и имени файла. Ошибка, вызывающая утечку памяти, была в третьем от конца файле в категории возможных ошибок :)
Ну и из хохм
Через 4 месяца дошла очередь залить это обратно в апстрим - оказалось, что буквально перед моим коммитом они этот файл с этой ошибкой переписали почти полностью - вообще поменяли работу. Утечка, правда, тоже ушла - буз проверятора решили вопрос решать кардинально :)
symbions (17.04.2025 00:09, просмотров: 89) ответил vesago на Спасибо! А в целом, штука полезная? Имею ввиду, в IAR и так при
компиляции выдает какие проблемы. Имею ввиду не суровые косяки, а
ворнинги. Я их правлю. Что мне может дать дополнительный тулз?