--- layout: fc_discuss_archives title: Message 55 from Frama-C-discuss on September 2009 ---
Nikos Anastopoulos a ?crit : > Thank you very much for your reply, Anne! You are welcome ! > 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 ? Anyway, hope I answered you questions. -- Anne Pacalet.