Аналіз потоку керування

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Версія для друку більше не підтримується і може мати помилки обробки. Будь ласка, оновіть свої закладки браузера, а також використовуйте натомість базову функцію друку у браузері.

Аналіз потоку керування (англ. control-flow analysis, CFA)  - це форма статичного аналізу, заснована на представленні унікальних шляхів (послідовностей подій) під час виконання через компонент або систему. Аналіз потоку керування оцінює цілісність структур потоку керування, шукаючи можливі аномалії потоку керування, такі як замкнуті цикли або логічно недосяжні етапи процесу.[1] Порядок виконання виявляється у вигляді графа потоку керування.

Примітки

  1. ↑ Hepner, Adam. control flow analysis. istqb-glossary.page (англ.). Процитовано 24 липня 2022.
Отримано з https://uk.wikipedia.org/w/index.php?title=Аналіз_потоку_керування&oldid=36640407