Я пытаюсь нарисовать системный график зависимости, используя график зависимости программы, сгенерированный плагином frama- c pdg. Для этого мне нужно связать узел ввода / вывода функции вызываемого абонента с узлом ввода / вывода функции вызывающего абонента. Между ними легко связать узел ввода и возврата.
Однако, есть некоторые другие выходные узлы, кроме узла возврата в pdg, сгенерированного frama- c. Похоже, они представляют «побочный эффект» функции.
Чтобы связать эти невозвратные выходные узлы, мне нужно выяснить, какие узлы (операторы) в функции вызываемого абонента вызывают побочный эффект. Потому что тогда я могу нарисовать ребро зависимости данных от выходного узла до тех, которые вызывают узлы, и, наконец, объединить два графика программных зависимостей функции вызывающей и вызываемой функций. Есть ли кто-нибудь, чтобы сделать это?