--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on October 2012 ---
Hi, On Sat, Sep 8, 2012 at 4:12 PM, Zhang Longqi <benhuan at 126.com> wrote: > I want know what's the meaning of a curve or arc in PDG. Which are data > dependence and which are control dependence and so on. > who can help me ,thank you very much. Just in case: the answer to a similar question was given directly on StackOverflow at http://stackoverflow.com/questions/12328228/the-meaning-of-kinds-of-curve-in-pdg . Also, an unfortunate bug was introduced in Oxygen for the display of control dependencies. If you compile Frama-C yourself, please apply the attached patch beforehand. HTH, -- Boris -------------- next part -------------- A non-text attachment was scrubbed... Name: patch-pdg Type: application/octet-stream Size: 1286 bytes Desc: not available URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20121005/ae186af1/attachment.obj>