SharpChecker

Инструмент статического анализа для C#, разработанный в ИСП РАН.

Купить

Умный анализ

Синтаксический анализ, анализ потоков данных и путей выполнения программ. Межпроцедурный и межмодульный анализ. Статистическая фильтрация предупреждений.

Презентация

Трассы предупреждений

Ошибки часто складываются из сочетания нескольких факторов. Предупреждения нашего анализатора содержат трассы, то есть списки точек в программе, повлиявших на появление ошибки.

Интеграция с Visual Studio

Исследуйте трассы предупреждений и исправляйте ошибки быстро, не покидая IDE.

Краткое руководство

Сервер истории анализа

Для контроля стабильности программы недостаточно единовременного анализа. Интеграция в процесс разработки позволяет находить новые ошибки по мере добавления и снижает стоимость их исправления.

Моделирование библиотечных функций

Вы можете задавать поведение функций из сторонних библиотек в виде резюме или упрощенных реализаций на C#.

Различные типы ошибок

От очевидных опечаток до потенциальных обращений к нулевому указателю, пришедшему из другой функции.

Список предупреждений