Каждый сгенерированный тест представляет собой путь, и мне интересно получить информацию о функциях, вызываемых вдоль каждого пути, и оттуда получить граф вызовов как объединение путей для всех тестов.
Это должно отобразить подмножество полного графа вызовов с учетом символических переменных, предположений и т. Д.
Кто-нибудь изучал это?(Возможно, это уже возможно, без изменения исходного кода KLEE.)
С уважением, Линдгрен