Синтаксический анализ, анализ потоков данных и путей выполнения программ. Межпроцедурный и межмодульный анализ. Статистическая фильтрация предупреждений.
Ошибки часто складываются из сочетания нескольких факторов. Предупреждения нашего анализатора содержат трассы, то есть списки точек в программе, повлиявших на появление ошибки.
Исследуйте трассы предупреждений и исправляйте ошибки быстро, не покидая IDE.
Для контроля стабильности программы недостаточно единовременного анализа. Интеграция в процесс разработки позволяет находить новые ошибки по мере добавления и снижает стоимость их исправления.
Вы можете задавать поведение функций из сторонних библиотек в виде резюме или упрощенных реализаций на C#.
От очевидных опечаток до потенциальных обращений к нулевому указателю, пришедшему из другой функции.