--- layout: fc_discuss_archives title: Message 62 from Frama-C-discuss on September 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Slicing in Frama-C



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!