Я хочу составить список глобальных переменных/макросов, используемых функцией и выводимых функцией. Например, для:
void myfn(void) {
out1 = in + 1;
out2 = 2;
}
...инструмент отобразит входы как «вход», а выходы как «выход1» и «выход2».
Кто-нибудь знает о таком инструменте?
Наш набор инструментов для реинжиниринга программного обеспечения DMS – это настраиваемый инструмент для анализа программ с производственным качеством Внешний интерфейс C.
Он анализирует C, строит AST и таблицы символов, обеспечивает управление и анализ потока данных, строит глобальные графы вызовов и имеет точки для анализа. Его можно настроить для извлечения этой информации; на самом деле, мы поставили специализированный инструмент на основе DMS крупному производителю автомобилей, чтобы создать инструмент для извлечения почти такой же информации.
Если вы придерживаетесь только информации таблицы символов, вы можете извлечь «прямое чтение или запись», как в вашем примере. Если вы используете информацию графа вызовов, вы можете обнаружить операции чтения или записи в глобальные переменные, вызванные вызовами других функций. Если вы используете анализ точек, вы можете обнаруживать (консервативно) чтение или запись в глобальные переменные через косвенность.
Clang по крайней мере может это сделать, но это может быть не самый простой способ. Вам нужно будет взаимодействовать с C++ API.
