Анализ чувствительный к путям выполнения

Анализ cтатический программы, при котором могут быть определены ее свойства, проявляющиеся лишь на некоторых путях выполнения программы, и условия (или часть условий), при обращении которых в истину выполнение программы пойдет по указанному анализатором пути [ ГОСТ Р 71207-2024 ].