SQM 23/24: Static Analysis [software quality crash course] [eng sub]

• В этом видео обсуждается статический анализ кода, который позволяет выявить проблемы в коде без его запуска.  

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

• Статический анализ кода начался с программы "Линд" в 1977 году.  

• Сейчас существуют три поколения статических анализаторов, которые становятся все более мощными и сложными.  

• Статический анализ может помочь найти ошибки, связанные с интенсивностью комментариев, форматированием кода, комплектацией и размерами кода.  

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

• Статический анализ кода помогает выявить ошибки, которые могут быть пропущены при обычном просмотре кода.  

• Примеры кода, которые могут быть обнаружены статическим анализом: ачи был кот, деление на ноль, бесконечный цикл.  

• Статический анализатор может обнаружить бесконечный цикл и выдать предупреждение.  

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

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

• Статический анализатор не может быть строгим контролером, но он может быть полезным советчиком.  

• В языке Си можно иметь неинициализированные переменные, что может привести к проблемам.  

• Компилятор разрешает это, но это небезопасно и некрасиво.  

• Статический анализатор может помочь обнаружить ошибки, связанные с переполнением и ошибками в коде.  

• Он может подсказать, как исправить ошибки и избежать проблем в будущем.  

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

• Важно найти баланс между помощью и не вредить программистам.  

• Статический анализатор может найти ошибки, связанные с интедж ровер флоу, ю восемь и буфером оверфлоу.  

• Важно понимать, как использовать статический анализатор и как исправлять ошибки, которые он находит.  

• Статический анализатор может обнаружить ошибки, связанные с использованием глобальных переменных и рекурсией.  

• Пример: функция бар имеет свою собственную переменную икс, которая не используется другими функциями.  

• Стайл вайс - нарушение стилистики программирования, например, неправильное использование фигурных скобок.  

• Код с мэл - ошибки, которые выглядят не очень хорошо, но работают корректно, например, перевод типов данных.  

• Статические анализаторы могут обнаруживать ошибки, которые могут привести к рантайм-ошибкам, например, деление на ноль.  

• Важно понимать, что статические анализаторы не утверждают, а предполагают ошибки, и их результаты должны быть тщательно проверены.  

• Статические анализаторы могут быть детерминированными и давать ответы на вопросы о наличии ошибок.  

• Четыре ключевых показателя статического анализатора: труппозитив, фолс-позитив, тру-негатив и фолс-негатив.  

• Аккуратность или точность статического анализатора можно определить по соотношению этих показателей.  

• Фолс-позитивы могут быть проблемой, так как статические анализаторы часто сообщают о ложных ошибках.  

• Производители анализаторов могут заявлять о точности своих продуктов, но это трудно проверить.  

• Идея фильтрации сообщений от статических анализаторов для уменьшения количества ложных ошибок.  

• Возможный инструмент для фильтрации: машинное обучение или другой алгоритм.  

• Обсуждение метрик статического анализа кода, таких как дефект денсити, который коррелирует с количеством дефектов в продукте.  

• Примеры анализаторов, включая SpotBugs, Pmd, Claide, и Clippy.  

• Упоминается, что статический анализ может быть использован для предсказания количества дефектов в продукте.  

• Упоминается, что статический анализ может быть использован для улучшения качества кода и предотвращения ошибок.  

• Упоминается, что статический анализ может быть использован для предотвращения ошибок в продакшене, так как тестирование является более дорогой процедурой.  

• Упоминаются различные продукты для статического анализа, включая отечественные и зарубежные решения.  

• Упоминается, что многие продукты предоставляют студенческие версии для исследований и сравнения с опенсорс решениями.  

• Статические анализаторы могут выступать в роли арбитра, помогая определить, что является правильным кодом.  

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

• Линтеры помогают поддерживать консистенцию кодовой базы, но они слабее, чем статические анализаторы.  

• Линтеры поддерживают стилистику кода, в то время как статические анализаторы занимаются логическими ошибками и синтаксическими ошибками.  

• Сариф - это стандарт для форматирования вывода из статического анализа, который позволяет программистам работать с системами анализа и делать свои собственные системы анализа.  

• Обсуждение статьи о статическом анализе кода, который предлагает термин "код перфюмс".  

• Идея заключается в том, чтобы поощрять программистов за качественный код, а не наказывать за ошибки.  

• Авторы предлагают 25 "перфюмов", которые можно использовать для оценки качества кода.  

• Обсуждение отсутствия открытого статического анализатора для Java.  

• Коммерческие инструменты могут быть использованы для анализа кода, но они могут быть дорогими и сложными в использовании.  

• Рекомендация попробовать использовать коммерческие статические анализаторы для улучшения качества кода.  

• Обсуждение сложности использования таких инструментов и возможности использования их для дипломных работ.