--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on December 2008 ---
>> There is also an option that you may or may not have noticed >> for dependencies. It is called -deps and it gives dependencies >> with respect to the initial values of the variables at the beginning >> of the function. >I may be wrong be it seems -deps only gives direct dependencies, it doesn't >give indirect ones. (At least through the GUI, I still haven't tried to >directly interact as a plugin) What you see in the GUI are (roughly) the results of another computation, called PDG (for program dependency graph). The PDG is a sophisticated graph between statements (as nodes) with different kinds of edges (three different kinds, I think, for data, control and syntactic dependencies, but it may have evolved or I may misremember altogether). The dependencies as computed by the option -deps are more synthetic. They are expressed at the end of the function, the transitive dependencies are included, and control dependencies are included as well. Both exist, use the same basic building blocks, and are displayed differently because of their different natures. The PDG is the fabric that the right tailor can turn into either a sober jacket or extravagant haute couture. Dependencies are a pair of Levi's jeans. Parts at a time of the PDG are presented interactively in the GUI because it wouldn't possible to comprehend it if it was emitted in the logs anyway. The dependencies are displayed in the logs of the batch version of Frama-C, and are not presented in the GUI because we didn't have time to do it yet and because they wouldn't benefit as much from it than the PDG does. Pascal