Поиск по путям графа потока управления
Много раз у меня были проблемы с печатью в функции fooи я хочу посмотреть на все случаи Print в коде, который доступен в графике потока управления из функции foo, Или во всем коде в путях между foo а также bar (как я подтвердил предположение верно, прежде чем я позвоню fooи ложь после того, как я достиг barвот я и хочу узнать, что между ними происходит).
Есть ли инструмент, который позволяет мне сделать это легко. Я не собираюсь компилировать весь мой код на C с помощью CIL и писать модуль OCaml для поиска в CFG. Я хочу что-то, что работает с минимальными хлопотами.
Eclipse CDT должен быть в состоянии сделать это (вы можете рассчитать CFG с show function hiererchy), но я не нашел там ничего подобного.
Сейчас я нацеливаюсь на C/C++, но буду рад услышать о подобных инструментах? Я не уверен, что у CQL есть способ выразить это.