--- layout: fc_discuss_archives title: Message 62 from Frama-C-discuss on September 2009 ---
Anne Pacalet wrote: >> So, as far as I understand, the problem of backward slicing essentially >> reduces to the (graph) problem of pruning in the PDG all but the paths >> through which the "slice criterion node" is reachable. >> > > Yes, it is mostly that, so the smart part is mainly le PDG > (greatly helped by the value analysis) . > > >> Is this >> sufficient? Also, is the PDG able to capture the inter-procedural >> dependences? >> > > The PDG uses the results of the -deps option to manage function calls. > For inter-procedural slicing, there are some more processing > in the slicing module since we try to specialize the called functions > (in some mode : see -slicing-level in ./frama-c -slicing-help). > > Are you interested by the slicing from a user point of view ? > or maybe to use it in another plugin ? > I am interested mostly from a user point of view. > Anyway, hope I answered you questions. > Yes, your answers were really helpful. Thanks again!