Що означає термін "статичний аналіз коду"?

Статичний аналіз коду - це метод перевірки програми без її виконання, за якого інструмент аналізує вихідний код і знаходить потенційні помилки, баги, небезпечні конструкції, порушення стилю та інші проблеми на етапі розробки.

---

#Що саме робить статичний аналіз

Інструменти статичного аналізу:

• перевіряють синтаксис і структуру коду,
• виявляють невикористовувані змінні та імпорти,
• шукають потенційні баги (наприклад, звернення до неіснуючих змінних),
• відстежують використання небезпечних або небажаних конструкцій,
• перевіряють дотримання coding style (за заданими правилами),
• допомагають підтримувати чистоту й одноманітність коду.

---

#Ключова ідея

Код аналізується як текст і дерево синтаксису (AST). Висновок робиться за структурою програми, а не за її поведінкою під час виконання.

---

#Навіщо застосовується

Статичний аналіз:

• запобігає помилкам заздалегідь, ще до запуску застосунку,
• знижує вартість виправлення багів (їх легше зловити рано),
• робить код надійнішим, безпечнішим і зрозумілішим,
• допомагає командам підтримувати єдиний стиль і якість.

---

#Приклади інструментів

• для JS/TS - ESLint
• для Python - pylint
• для Java - Checkstyle, SpotBugs
• для безпеки - SonarQube, Bandit

---

#Підсумок

Статичний аналіз - це автоматична перевірка вихідного коду без його виконання, що дозволяє знаходити помилки, вразливості та порушення правил на ранньому етапі.

Таким чином, статичний аналіз - це профілактика багів і засіб підтримки високої якості коду в проєкті.