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