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