Я собираюсь приступить к рефакторингу некоторых функций в моем коде. У меня есть хорошее количество модульных тестов, которые гарантируют, что я неничего не сломаю, но яЯ не уверен насчет покрытия, которое они мне дают. Есть ли инструменты, которые могут анализировать код и видеть, что функциональность остается той же?

Я планирую провести рефакторинг некоторого довольно изолированного кода, поэтому я нене нужно проверять всю программу, только те области, которые яЯ работаю над.

Для контекста, код I 'Я работаю в C / C ++, и я работаю в Linux с GCC и VIM.