Unicorn Developer
The developer, the debugger, the unicorn. I know all about static analysis and how to find bugs and errors in C, C++, C#, and Java code.
Спасибо за положительный отзыв!
Операторы new/delete вовсе не обязательно сводятся к вызову функций malloc/free даже для простых типов. Например, для маленьких и больших объектов могут использоваться разные пулы памяти.
P.S. Подробнее про эту тематику у нас есть статья "Почему в С++ массивы нужно удалять через delete[]" - https://pvs-studio.ru/ru/blog/posts/cpp/0973/
Кстати, а не хотите попробовать самостоятельно проверить и сделать мир чуть лучше? Нас не хватает на всё :)
Пока этап завышенных ожиданий от новой технологии. Не всё так радужно. Пара интересных докладов: https://youtu.be/Ho2KDy-yI7U и https://youtu.be/hzYAgPvWdew
Заказывайте проекты на проверку :)
Интерес в том, что все знают про статический анализ, но мы продолжаем находить ошибки :)
Учтем ваше замечание! Спасибо!
Мы рады вас радовать))
Время PVS-Studio: Приключения капитана Блада: потонет ли Арабелла? :)
https://pvs-studio.com/ru/blog/posts/cpp/1033/?utm_source=firefly&utm_medium=dtf
1. Анализатор не ругается если класс унаследован от FGCObject.
2. Пока анализатор никак не реагирует если в методе CollectReferencedObjects, конкретно этот UObject не перечисляется, на такой случай планируется новая диагностика.
3. Также новая диагностика будет обрабатывать случай, если объект-поле унаследованного от UObject забыли пометить как UPROPERTY.
Диагностическое правило было добавлено по просьбе клиента, который хотел находить случаи, когда в классе ненаследнике от UObject есть указатель на тип, наследуемый от UObject.