Комментарии 4
Теперь пользователи могут выполнять статический анализ кода, написанного на C#, с учётом всех нововведений и функций .NET 9.
Может ли новый C# анализатор PVS-Studio выявлять проблемы, вызванные критическим изменением «Floating point-to-integer conversions are saturating»?
Нет, в данный момент в C# анализаторе нет диагностического правила, которое выявляло бы возможные проблемы из-за изменения в поведении. При быстром взгляде, кажется, что это хорошая диагностика для группы Customers' Specific. Мы рассмотрим эту идею подробнее для оценивания возможности добавления в группу General. Вы можете написать нам в поддержку, чтобы мы могли общаться с вами напрямую.
Лично для меня это критическое изменение уже не является проблемой. Просто зная страсть сотрудников PVS-Studio к исследованию кода популярных open source-проектов, я подумал, что эта проблема уже попала в ваше поле зрения. В качестве примера ошибок, которые вызывает данное изменение, рекомендую разработчикам C# анализатора обратить внимание на ошибки в двух open source-библиотеках: YantraJS и Jurassic.
Капец у вас бот навязчивый.
PVS-Studio 7.34: поддержка Apple Silicon ARM64, проектов для .NET 9, taint-анализа в Java анализаторе