Это то, что могут делать все отладчики, поэтому я думаю, что программа могла бы получить такой уровень самоанализа, если она скомпилирована с отладочной информацией и может каким-то образом анализировать свою собственную таблицу символов.
В этом проекте реализован анализ отладочной информации для генерации самоанализа класса для C ++.Я думаю, что тот же подход будет работать для ваших целей.
Кроме того, я сомневаюсь, что это будет возможно, если вы скомпилируете с оптимизацией, так как оптимизатор может изменить ваш код настолько, чтобы сопоставление отдельных переменных в исходном кодеячейки памяти не существуют.