Мы используем куки, чтобы пользоваться сайтом
было удобно.
Вебинар: Использование PVS-Studio при разработке встраиваемых систем - 14.05
Мы разрабатываем статический анализатор кода для C, C++, C#, Java и уверены, что практики написания чистого и безопасного кода должны закладываться ещё в процессе обучения.
Поэтому для студентов и преподавателей IT-специальностей мы предоставляем Академическую лицензию бесплатно — для учебных и исследовательских задач.
Если вы студент или преподаватель, при запросе триала в форме выберите тип лицензии "Академическая лицензия" и отправьте запрос со студенческой почты (домен вуза). Мы выдадим вам временную лицензию на 1 месяц (при запросе с университетской почты).
Выполнять лабораторные работы, состоящие из одного файла, может оказаться удобно с помощью сайта Compiler Explorer (godbolt.org). Сайт в online режиме позволяет писать, компилировать и запускать программы на языках Ada, C, C++, D, Fortran, Go, Pascal, Rust и так далее. Особенно удобно, что можно сгенерировать ссылку на получившийся код и отправить его на проверку.
Если программа разрабатывается на языке C и C++, то дополнительно её можно сразу проверять с помощью PVS-Studio и знакомиться на практике с работой статического анализатора кода.
Предположим, что выполняется лабораторная работа, посвященная изучению циклов в языке C++, и нужно написать программу сортировки массива. Выполним эту задачу с ошибкой и посмотрим, как работает связка Compiler Explorer + PVS-Studio:
Перед вами лабораторная работа с ошибкой:
Кажется, что программа написана корректно, так как массив выглядит отсортированным правильно. Но это везение. На самом деле, происходит выход за границу массива, о чём предупреждает анализатор PVS-Studio. Взглянем на условие внутреннего цикла:
j < size + 1На самом деле должно быть:
j < sizeИсправим эту ошибку и можем отправить на проверку ссылку: правильная лабораторная работа.
Если ведётся совместная работа над открытым академическим проектом, то разработчики могут получить бесплатные лицензии. Более подробную информацию вы сможете найти в статье "Бесплатные варианты лицензирования PVS-Studio".
Все описанные здесь способы бесплатного использования PVS-Studio не являются способом попробовать инструмент для анализа коммерческого проекта. Это будет просто невозможно или, как минимум, неудобно.
Запросите триальный ключ, указав корпоративную почту. Это поможет нам понять, общались ли мы уже с кем-то из ваших коллег, является/была ли ваша компания клиентом и так далее. В случае необходимости мы проконсультируем вас по вопросам работы анализатора или предоставим Enterprise License, если вы захотите интегрировать PVS-Studio, например, с SonarQube.