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