Это может быть сделано перед компиляцией путем сравнения кода? Там какие-либо инструменты уже делают это?
Вам может показаться это интересным: Инструмент статического анализа для обнаружения разрывов ABI на C++
Вспоминаю, что у Purify была некоторая функциональность для проверки совместимости между сборками, взгляните сюда .
.