управляющий граф программы AC, чтобы найти наихудший возможный путь

Question

Существуют ли какие-либо инструменты, библиотеки или платформы для получения графика потока управления программы на C и поиска наихудшего возможного пути, по которому может идти программа?

Когда я читаю другие вопросы, связанные с потоком управленияГрафики, я наткнулся на несколько инструментов, которые могут генерировать график потока управления.Есть ли способ использовать их, чтобы найти худший из возможных путей?

Answer 1

Если на графике когда-нибудь будут циклы, то нет - нет надежного способа понять это, поскольку вопрос эквивалентен проблеме остановки . Краткая версия: для программы, заданной произвольной другой программой, невозможно даже определить, вернется ли она когда-либо. Вы могли бы определить потенциал бесконечных циклов, но единственный способ приблизиться к определенному - это запустить программу с исчерпывающим набором входных данных.

Answer 2

Возможно, вас заинтересует Время выполнения в худшем случае , которое, в случае успеха, в каком-то смысле должно было найти ваш худший путь потока управления.

Что касается библиотек для вычисления потока управления Сиграфики, см. нашу поддержку анализа потока для DMS для C и других языков,